The Formal Methods for Systems and Software Design (or simply FM) unit is part of the Digital Industry center at Fondazione Bruno Kessler (FBK).
The activities of the FM unit focus on the research of novel and efficient formal methods for the verification, validation, and safety assurance of systems and software in various application domains including space, avionics, automotive, railways, energy, semiconductors, and manufacturing.
Pictured: . Image courtesy of .
-
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 …
-
New project with RFI: ACC3-OPERA
-
VAIPOSA Kick Off Meeting
-
Distinguished artifact award at TACAS conference
-
Two PhD positions available in collaboration with the University of Trento on formal-methods-related topics
Twp PhD positions are available at FBK, in collaboration with the University of Trento. The deadline for application is May 15th. Symbolic Model Checking techniques for embedded systems (1 grant) Abstract: Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important …
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
-
New Software Developer Position for ACC3
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
Open Postdoc 2026 Positions
-
Two PhD positions available in collaboration with the University of Trento on formal-methods-related topics
-
New project with RFI: ACC3-OPERA
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
-
New Software Developer Position for ACC3