A Research position in the field of formal methods

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 Uni
t (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.

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 tool
  
  );
• 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 proje
cts.

Job Requirements

The ideal candidate shouldhave:

• 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

Workplace
: Povo, Trento (Italy)

Application

Interested candidates are requested to submit their application by completing the online form (

). 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).

New application deadline: 28/01/2026