FBK is a private research institution devoted to excellence in research in numerous disciplines and designated to the role of keeping the Autonomous Province of Trento in the mainstream of European and international research. Each research area is assigned to a specific research center, of which there are twelve total. Information regarding the research centers, their activities and production is available at http://www.fbk.eu/research-centers .

Workplace

The FBK Center for Digital Industry focuses its research on digital technologies for the various domains in industry (e.g., aerospace, railway, automotive, energy, agriculture, manufacturing, etc.) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics and prediction systems. It is involved in multiple European research projects and collaborates with numerous institutions and multinational companies on strategic projects with a high innovation content – including the European Space Agency (ESA) and the Italian Railways Network (RFI).

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.

FBK actively seeks diversity and inclusion in the workplace and is also committed to promoting gender equality. To promote the inclusion of disabled staff as per law 68/99, the Foundation is available and interested in evaluating the applications received for technical-scientific domains that do not correspond exactly to this call.

Job Description

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;
• Software development of FM Unit’s tools ( https://fm.fbk.eu/category/tools.html );
• 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.

Job Requirements

The ideal candidate should have:

• PhD in computer science or mathematics (or 3 years of research experience in fields related to this call);
• 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;
• Runtime verification;
• Temporal Logics and Property Specification Languages.

Employment

Type of contract : Fixed term contract
Working hours: Full-time
Start date : February 2026
Duration : 24 months with the possibility of extending the contract depending on funding
Gross annual salary : 44.528,13 plus objectives achievements bonus
Benefits :flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees. More info at https://www.fbk.eu/en/work-with-us/
Workplace : Povo, Trento (Italy)

Application

Interested candidates are requested to submit their application by completing the online form ( https://jobs.fbk.eu/ ). Please make sure that your application contains the following attachments (in pdf format):

• Detailed CV
• Motivational letter
• 3 professional references (e-mails and/or phone numbers).

Application deadline: 07/01/2026

Please read our Recruitment Regulations before completing your application. For further information or technical issues regarding the application, please contact the People Innovation for Research Department at jobs@fbk.eu