Research position in the field of formal methods

FBK opens a research position in the field of formal methods, to work in one or more of the following topics:

  • SMT-based model checking and temporal logics
  • Hybrid systems model checking
  • Model-based safety analysis
  • Runtime verification and diagnosis
  • System-level formal verification of autonomous systems

The candidate is expected to contribute to these research lines and to the development of FBK tools such as nuXmv, OCRA, xSAP, mathsat, Kratos, COMPASS.

Workplace Description 

FBK (Fondazione Bruno Kessler) is a private no-profit research institute located in Trento, Italy. It conducts research activities in Information Technology, Artificial Intelligence, Microelectronics and Humanities.

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 Embedded Systems Research Unit (ES Unit) of the Digital Industry Center of FBK. The ES Unit consists of about 40 people, including researchers, post-docs, PhD students, Master Students, and programmers. 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 in promoting gender equality.  

Job Requirements 
The ideal candidate should have:

  • PhD in computer science, mathematics or electronic engineering or equivalent 3 years post-master research experience;
  • Software development skills (preferably in C, Python, Matlab, C++, Java);
  • Ability to carry out an independent research program;
  • Ability to work in a collaborative environment and deliver in research and/or industrial projects;
  • Accuracy, proactivity and goal orientation;
  • Oral and written proficiency in English.

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

  • Model Checking or other formal verification techniques
  • First-order logic and SMT solvers
  • Formal analysis of hybrid systems
  • Runtime verification
  • Formal safety assessment and diagnosis
  • Temporal Logics and Property Specification Languages


Type of contract: fixed term contract

Working hours: full time 

Start date: December 2022

Duration: 36 months 

Gross annual salary: about 39.530 € 

Workplace: Povo, Trento (Italy).

Benefits: flexi-time, company subsidized cafeteria or meal vouchers, internal car park, welcome office support for visa formalities, accommodation etc., supplementary pension and health fund, training courses, public transport, sports facilities, language courses fees. Further details at


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

Application deadline: 3rd November 2022
New Application deadline: 13th November 2022
New Application deadline
: 30th November 2022

Please read our Recruitment Regulations before completing your application.

For further information, please contact the Human Resources Services at
Business units
Centro Digital Industry; Centro Digital Industry/ES
Science and Technology Hub - Trento
Cookie policy
We use technical cookies, that are always enabled and necessary for the website to work correctly, and analytic and profiling cookies, including third party ones, to allow us to measure the usage and performance of the web site and send advertising, including targeted advertising. To accept all cookies, click «Accept». To manage or disable cookies click on «Manage». To refuse all cookies and close the banner click on «x»; in this case you can continue to navigate the site and only technical cookies will be used. If you would like to learn more, please read our Cookie Policy