FEUP

tendersglobal.net

23 Jan 2024
Job Information

Organisation/Company: FEUP
Department: Human Resources Division
Research Field: Engineering » Other
Researcher Profile: First Stage Researcher (R1)
Country: Portugal
Application Deadline: 6 Feb 2024 – 23:59 (Europe/Lisbon)
Type of Contract: Other
Job Status: Other
Is the job funded through the EU Research Framework Programme?: European Union / Next Generation EU
Reference Number: FEUP-BII-LLM4SV
Is the Job related to staff position within a Research Infrastructure?: No

Offer Description

1 Research Initiation Grant (M/F)

Call open for applications for a Research Initiation Grant within the framework of project “Development of a Visual Studio Code Plug-in for Automated Software Verification with Dafny powered by Large Language Models”, financed by Faculty of Engineering of the University of Porto, under the following conditions:

Scientific Area: Computer Engineering

Admission requirements:

Be a student enrolled in a higher technical professional course, a bachelor’s degree, in an integrated master’s degree or in a master, in the area of Informatics Engineering, a requirement to be duly proven at the time of signing the contract.

Be a holder of academic degree (bachelor’s degree) enrolled in a non-academic degree course integrated in the educational project of a higher education institution, developed in association or cooperation with one or more R&D units, a requirement to be duly proven at the time of signing the contract.

If the degree has been awarded by a foreign higher education institution, it must comply with the provisions of the Decree-Law no. 66/2018, of august 16th, and any formalities established there must be fulfilled until the time of signing the contract.

Note: The Research Initiation Grant cannot be awarded to those who have already benefited from a research scholarship awarded under the terms of the EBI, according to no. 3 of article 9º of the Research Grants from University of Porto – Regulation No. 184/2021, of 03 March.

Activity Outline: Analysis of the state of the art. Interactive exploration of LLMs and refinement of prompts for generating missing invariants in a set of Dafny programs provided. Development of a plug-in for VSCode. Experimental evaluation. Writing a scientific paper.

Legislation and regulations: Law Nº. 40/2004, of 18th August, in its current wording (Statutes of Scientific Research Fellow) and Regulation of Research Grants of University of Porto, in force.

Work place: The work will be developed at the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto (FEUP), under the scientific supervision of Professor João Carlos Pascoal de Faria.

Grant duration: Duration of 5 months, with the predicted starting date in February, 2024, on an exclusive basis, eventually renewable but never exceeding the project duration.

If the contracting procedures do not allow the scholarship to have the minimum duration of 1 consecutive month, in accordance with paragraph 2 of article 9 of the Regulation of Research Grants of University of Porto, the grant will not be awarded.

Stipend: The grant stipend amounts to 541,12€ according to the table of values of the Regulation of Research Grants of University of Porto.

The payment will be made by bank transfer.

Selection procedure:

Curricular evaluation which will focus on the merit of the candidate and the following criteria will be valued:

1. Academic training in the area of Informatics Engineering or similar – 5 points; related areas – 3 points; other areas – 0 points.

2. Knowledge of Formal Verification with Dafny – up to 3 points; no knowledge – 0 points;

3. Knowledge of Plug-In Development for Visual Studio Code – up to 3 points; no knowledge – 0 points;

4. Knowledge of exploiting Large Language Models (LLMs) – up to 3 points; no knowledge – 0 points;

The two best ranked candidates, according to the above criteria, will be called for an interview. This will have an additional score of up to 6 points.

If the minimum score of 14 points is not reached by any of the candidates, the scholarship may not be awarded.

Selection Jury:

President: Professor João Carlos Pascoal de Faria

Effective member: Professor Rui Filipe Lima Maranhão de Abreu

Effective member: Professor Ana Cristina Ramada Paiva

Supplementary member: Professor Filipe Alexandre Pais de Figueiredo Correia

Supplementary member: Professor Nuno Honório Rodrigues Flores

Advertisement of final decision: The results of the evaluation will be released to the candidates

by email to the email address indicated in the application process.

Deadline for applications and form of presentation of the applications:

The call is open from 24/01/2024 to 06/02/2024 (until 23h59m, GMT time).

Applications must be formalized by email to [email protected] and to [email protected] , clearly stating the reference FEUP-BII-LLM4SV and including the following pdf documents: Motivation letter, Copy of certificates evidencing academic degree detailed Curriculum Vitae, Declaration on honor that the candidate fulfills the requirement contained in the no. 3 of article 9 of the Regulation for Research Grants of the University of Porto (model below) and other documents considered relevant by the applicant.

Declaration on honour

I, (identification of the scholarship holder), holder of the Citizen Card / Visa / Residence Permit no. valid until _____, declare under honour, to be in the conditions of no. 3 of article 9º of the Research Grants from University of Porto – Regulation No. 184/2021, of 03 March.

Oporto, __/__/__

Signature

_________________

(scholarship holder)

Requirements
Skills/Qualifications