Research position field of formal methods

Organisation/Company Fondazione Bruno Kessler Research Field Other Researcher Profile Recognised Researcher (R2) Positions PhD Positions Country Italy Final date to receive applications 7 Jan 2026 - 23:55 (Europe/Rome) Type of Contract Temporary Job Status Full-time Hours Per Week 38 Offer Starting Date 2 Mar 2026 Is the job funded through the EU Research Framework Programme? Other EU programme Is the Job related to staff position within a Research Infrastructure?

No

The position is opened by the Formal Methods for System and Software Research Unit (FM Unit) of the Digital Industry Center of FBK. The Unit carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems.

The FM Unit of Digital Industry Center is looking for a researcher in the field of formal methods. The successful candidate will work in one or more of the following topics:

• Formal verification or runtime verification techniques for continuous dynamics and hybrid systems;
• Development of formal verification techniques and their integration in model-based design environments;
• Model checking of embedded and cyber-physical software;
• Runtime verification of cyber-physical and autonomous systems;
• Target applications may include autonomous systems, collision avoidance, mission and plan monitoring, for safety-critical industrial systems in aerospace, automotive, railway, or production environments.

The main activities will include:

• Research and development of formal verification and runtime monitoring techniques with target publications in conferences such CAV, TACAS, FM, and RV;
• Participation in research and development projects with interaction with the industrial partners;
• Documentation for project deliverables, dissemination, and training support.

The successful candidate is expected to work in collaboration with other researchers, programmers, and students. Moreover, the candidate is expected to interact with industrial partners and partners of research projects.

• Software development skills (preferably in C, Python, Matlab, C++, Java);
• Ability to carry out an independent research program;
• Oral and written proficiency in English;
• Ability to work in a collaborative environment and deliver in research and/or industrial projects;
• Accuracy, proactivity and goal orientation.

In depth previous experience in at least one of the following areas is required:

• Model Checking or other formal verification techniques;
• Satisfiability and constraint solving;
• First-order logic and SMT solvers;
• Verification of embedded software;
• Temporal Logics and Property Specification Languages.