CALL FOR RESEARCH FELLOWSHIP - VALU3S – 848079
University of Coimbra opens a call for 1 (one) research fellowship, in the framework of the R&D project “VALU3S - Verification and Validation of Automated Systems' Safety and Security” (references: ECSEL/0017/2019 and 876852-ECSEL-RIA-VALU3S), financed by Fundação para a Ciência e a Tecnologia, I.P./MCTES through national funds (PIDDAC) and funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852. The JU receives support from the European Union's Horizon 2020 research and innovation programme and Sweden, Italy, Spain, Portugal, Czech Republic, Germany, Austria, Ireland, France and Turkey, in the following conditions:
Scientific area: Informatics Engineering or similar.
Skills/Qualifications/Admission requirements: Master's Degree in Informatics Engineering or similar enrolled in a PhD Course in Informatics Engineering.
Although the recipients must be enrolled in a cycle of studies leading to the attribution of an academic degree, at the time of application it is not necessary for the candidate to have made such an enrollment, and proof of enrollment must be presented until the fellowship is contractualized. Candidates are only required to meet the requirements to enroll in the training offer. If there are candidates already enrolled (including attending a course), they compete on an equal footing with those who are not enrolled.
Work plan/ Objectives:
Title: Verifiable machine learning for critical applications
The goal of this project is to develop missing theory and practical tools for verifying machine learning models. Artificial intelligence is being applied in several domains in which the correctness of software systems is crucial, because of the safety risks for users. Examples of such domains include autonomous vehicles and health care.
Machine learning is the area of artificial intelligence that mainly deals with example-based supervised learning algorithms. The learned result is difficult to verify, because the specification is a set of examples and mistakes can be made in new cases that are not in that set. For this reason, statistical analysis, measuring for example accuracy, is the standard practice. That practice is insufficient for critical applications and several recent guidelines call for better verification techniques.
Accordingly, the aim of this project is to develop novel techniques and tools for ensuring that machine-learned models operate within safety constraints and can be certified to do so. The novel techniques shall based upon principles of correct-by-construction software, architectural patterns for software safety and applied formal methods.
The proposed techniques and tools shall be evaluated on scientific challenges representative of critical applications.
Regime: The attribution of the fellowship does not generate or entitle a relation of a legal-labour nature, and the fellowship is undertaken in an exclusive dedication regime. The fellowship holder is awarded the Fellowship Statute of the UC, in its current wording, according to the Research Fellowship Holder Statute , and according to the Regulation for Research Fellowships of the Fundação para a Ciência e a Tecnologia, I.P., both in their current wording.
Location: DEI - FCTUC at the University of Coimbra.
Duration: 5 (five) months as long as it does not exceed the project deadline (30th april 2023 or the date of an eventual extension that may be obtained).
Renewal: Possibility of renewal as long as it doesn't exceed the project deadline.
Scientific orientation: Professor Raul André Brajczewski Barbosa.
Financial conditions: The amount of the fellowship is € 1.144,64 corresponding to the monthly compensation stipulated in the FCT table (https: // www. fct.pt/apoios/bolsas/valores.phtml.en), plus tuition fees (€2.750), supported by own resources and personal accidents insurance. The payment will be made by bank transfer. This amount will not be increased during the entire period of the fellowship duration.
Selection methods: CV Analysis (60%) and Interview (40%).
In the CV Analysis (60%), the following criteria will be considered:
- Academic performance in courses related to the work plan, such as Artificial Intelligence, Machine Learning, Software Quality, Formal Methods, and Compilers (100%).
In the interview (40%), the following criteria will be considered:
- Knowledge and profile suitable for the functions to be developed (50%);
- Motivation (50%)..
Jury responsible for selection: Professor Henrique Santos do Carmo Madeira, Professor Mário Alberto da Costa Zenha Rela, Professor Raul André Brajczewski Barbosa and Professor Carlos Nuno Bizarro e Silva Laranjeiro.
Formalization of application:
Applications must be formalized by sending the following documents:
1. Motivation Letter;
3. Master's Degree certificate
4. Master's Degree Academic Transcript
5. Other important documents
6. Proof of enrolment in a PhD program (optional in this phase);
7. Below mentioned declaration, which will be submitted through specific field of the application on the apply.uc.pt platform.
Declaration on the honor of the candidate(s) with the indication of the fellowship(s) of the typology to which the contest was held and the respective duration(s).
Applicants with academic degrees obtained abroad will be required to present a Certificate of Recognition in accordance with applicable law. This document is mandatory only in the contractualization phase.
Applications submission: Applications must be submitted in https: // apply.uc.pt .
Submission of applications: Between 21/11/2022 and 05/12/2022.
Submission deadline date: 05/12/2022.
Additional information: The evaluation results will be announced within 90 working days after the end of the applications submission deadline, by notifying the applicants via email. After the announcement of the results, candidates are considered automatically notified to, if they wish to do so, comment on the results on a preliminary hearing period within 10 days after that date. After this, the selected candidates will have to declare in writing their acceptance. Unless a justification worthy of consideration is presented, if the declaration is not submitted within the referred period, it is considered that the candidate waivers the fellowship. In case of resignation or withdrawal of the selected candidate, the next candidate with the highest evaluation score will be notified immediately.
Once the selection process is completed, the fellowship contract will be drawn up in accordance with the draft contract provided by the FCT.
After the contracted period, the fellowship holder and supervisor must prepare the final report in accordance with the respective assessment criteria that were established.
Pursuant to subparagraph h) of Article 9 of the Portuguese Constitution, the University of Coimbra, as employer, actively promotes a policy of equal opportunities between men and women in access to employment and professional development, and acts to prevent each and every kind of discrimination.
Therefore, no one can be privileged, benefited, harmed or deprived of any right or immune from any duty on account of, in particular, ancestry, age, sexual orientation, gender, marital status, family, economic situation, education, origin or social condition, genetic heritage, reduced work capacity, disability, chronic illness, nationality, ethnic or racial origin, territory of origin, language, religion, political or ideological beliefs and trade union membership.
Selection reserve list: N/aWeb site for additional job details
https: // apply.uc.pt/IT137-22-235Contact Information