#NOVAID-B210 - Competition for granting 1 research scholarship for PhD student

14 May 2024
Job Information

Organisation/Company

NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT

Department

NOVA Laboratory for Computer Science and Informatics, Departamento de Informática / Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Research Field

Computer science » Other

Researcher Profile

First Stage Researcher (R1)

Country

Portugal

Application Deadline

28 May 2024 - 23:59 (Europe/Lisbon)

Type of Contract

Other

Job Status

Full-time

Hours Per Week

35

Offer Starting Date

15 May 2024

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Reference Number

#NOVAID-B210 - UIDP/04516/2020/BIM/15

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

Work plan:
• Development of a logic-based programming language with explicit timing information, for the specification and verification of hardware systems.
• Development of several extensions to the language to enable the faithful modelling of realistic hardware components.
• Implementation of a verification tool based on the previously described language.
• Development of case studies.

Workplace: The work will be developed at NOVA Laboratory for Computer Science and Informatics, Departamento de Informática / Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, under the supervision of Professor Bernardo Toninho.

Fellowship duration: The scholarship will last for 3 months, and may eventually be renewed.

Application deadline and form of application submission:
The competition is open from 15/05/2024 to 28/05/2024.

Documentation to be provided when applying: Applications must be formalized by sending the following documents: Curriculum Vitae, letter of motivation, copy of qualifications certificate*, proof of enrolment in doctoral program**.

How to submit applications: Applications should be sent by e-mail to Professor Bernardo Toninho at [email protected] and cc [email protected] , quoting the reference UIDP/04516/2020/BIM/15.
*In the case of academic degrees awarded by foreign higher education institutions, and in order to guarantee the application of the principle of equal treatment for candidates who hold foreign and national academic degrees, it is mandatory to recognize these degrees and convert the respective final classification to the Portuguese classification scale.
** In the event that, at the time of application, candidates are not enrolled in a doctoral course, they must submit a declaration on their honour that they are eligible to enrol in that same training offer and specific academic year, and at the contractualization stage they will be required to submit proof of enrolment.
Documentation to be provided at the contractualization stage: Proof of enrolment in the doctoral program.

Applicable legislation and regulations:
Law No. 40/2004, of August 18, amended and republished by Decree-Law No. 202/2012 of August 27 (Statute of the Scientific Research Fellow) and amended by Decree-Law No. 233/2012 of October 29, by Law No. 12 /2013 of 29 January, by Decree-Law No. 89/2013, of 9 July and Decree-Law No. 123/2019, of 28 August; Regulation of Research Grants of NOVA.id.FCT – Association for Innovation and Development of FCT; Regulation of Research Grants of the Foundation for Science and Technology, I.P. in force (https://www.fct.pt/apoios/bolsas/regulamento.phtml.pt );

Requirements

Research Field

Computer science » Other

Education Level

Master Degree or equivalent

Skills/Qualifications

Recipients profile/category
Mandatory requirements: Masters degree in computer science and engineering or related field. The candidate must be enrolled in a doctoral program in an area related to the scientific area.
Preferred factors:
• Experience in the development of logic-based type systems
• Experience in the use and development of languages for the specification and validation of hardware componente design.
• Experience in the development of modal logics.

Research Field

Computer science » Other

Internal Application form(s) needed
NOVAID- B210.pdf
English
(142.36 KB - PDF)
Download
Additional Information
Benefits

Monthly maintenance allowance amount: The amount of the monthly maintenance allowance corresponds to €1.259.64 euros. based on the table of values for grants awarded directly by FCT, I.P. in Portugal, with payment made monthly by bank transfer.

Eligibility criteria

Selection criteria:
A rating will be made, on a scale from 0 to 20, taking into account the weighting of the following selection methods:
- Curricular evaluation (50%)
- Relevant experience to the execution of the project (50%)
The scholarship may not be awarded if the applications are not suitable.

Selection process

Composition of the Selection Jury:
President: Professor Bernardo Parente Coutinho Fernandes Toninho
Effective members: Professor João Ricardo Viegas da Costa Seco, Professor Carla Maria Gonçalves Ferreira.
Substitute members: Professor Mário José Parreira Pereira, Professor António Maria Lobo César Alarcão Ravara.

Form of advertising/notification of results:
The evaluation results proposed by the juri will be notified, up to 90 days after the deadline for the submission of applications, by email, of the results proposed by the jury, with access to the minutes and the final ranking list.
After notification, candidates will have 10 working days to comment on the draft decision (prior hearing of interested parties, under the terms of the Code of Administrative Procedure). The final decision will be taken after the expiry of the prior hearing period, again notified to all candidates by e-mail. Of this final decision the candidates can file a complaint within 15 working days (to the e-mail address used for the notification), or a hierarchical appeal, within 30 working days, addressed to NOVA.ID.FCT's Board through the address [email protected] .

Additional comments

Drafts:
The drafts of: i) fellowship contract, ii) final report to be presented by the fellowship holder, iii) final report to be presented by the scientific advisor, and; iv) declaration on honor, can all be found on NOVA.id.FCT website.

Website for additional job details

https://www.novaidfct.pt/wp-content/uploads/2024/02/NOVAID- B210.pdf

Work Location(s)

Number of offers available

1

Company/Institute

NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT

Country

Portugal

State/Province

Caparica

City

Caparica

Postal Code

2829-516 Caparica

Street

Campus da Caparica

Geofield

Where to apply

E-mail

[email protected]

Contact

State/Province

Caparica

City

Caparica

Website

http://www.novaid.fct.unl.pt/

Street

Campus de Caparica

Postal Code

2829-516 Caparica

E-Mail

[email protected]

STATUS: EXPIRED