Open Postdoc 2026 Positions

Research Position in Formal Methods @ FBK Digital Industry Centre

The Formal Methods for System and Software Research Unit (FM) at the FBK Center for Digital Industry is seeking a researcher to work on strategic initiatives funded by the European Space Agency (ESA) and industrial partners. The unit conducts basic and applied research, tool development, and technology transfer in the field of formal methods and model-based design for complex embedded systems.

Key Research Topics

The successful candidate will work on one or more of the following areas:

• Formal & Runtime Verification: Advanced verification techniques for autonomous and safety-critical systems, including the runtime verification of AI components.
• Runtime Monitoring: Development of monitoring techniques (such as the runtime verification of 3D objects movement) and their integration into model-based design environments.
• Digital Model Alignment: Alignment of digital models across their entire lifecycle and operational phases.
• Model Checking: Model checking of software, hardware, embedded, and cyber-physical systems.

🚨 APPLICATION DEADLINE

Applications must be submitted online via jobs.fbk.eu no later than June 19th, 2026.