Design and development of methodologies and tools to support the engineering and
Italian Ministry of Education, University and Research, Italy, NY, United States
Organisation/Company Università degli Studi di Camerino Department Scuola di Scienze e Tecnologie - sezione di Informatica Research Field Computer science » Informatics Researcher Profile Recognised Researcher (R2) Leading Researcher (R4) First Stage Researcher (R1) Established Researcher (R3) Application Deadline 21 May 2026 - 13:00 (UTC) Country Italy Type of Contract Temporary Job Status Full-time Hours Per Week full-time Offer Starting Date 1 Jan 1970 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No
Offer Description
The person will be required to carry out research and teaching activities in the relevant SSD, participating in the activities planned by the project. Attention must be given to research activities to define, design, and develop innovative methodologies and tools to support the engineering and implementation of reliable and transparent AI tools. These methodologies and tools will be based on formal methods capable of supporting the specification and verification of expected properties in all phases of AI system development, including during execution. The developed tools will be applied in multiple disciplinary areas, considering digital, cyber-physical, and physical/biological application contexts. The person will be required to collaborate in the supervision of bachelor's and doctoral theses, be able to carry out teaching activities in Italian and English, support Third Mission activities, and the organizational activities of the School.
#J-18808-Ljbffr
Offer Description
The person will be required to carry out research and teaching activities in the relevant SSD, participating in the activities planned by the project. Attention must be given to research activities to define, design, and develop innovative methodologies and tools to support the engineering and implementation of reliable and transparent AI tools. These methodologies and tools will be based on formal methods capable of supporting the specification and verification of expected properties in all phases of AI system development, including during execution. The developed tools will be applied in multiple disciplinary areas, considering digital, cyber-physical, and physical/biological application contexts. The person will be required to collaborate in the supervision of bachelor's and doctoral theses, be able to carry out teaching activities in Italian and English, support Third Mission activities, and the organizational activities of the School.
#J-18808-Ljbffr