Formal Methods for Systems and Software Design Unit

News and Events

VAIPOSA Kick Off Meeting

by Alberto Griggio | Sep 23, 2024 | News and Events

The kick off meeting of the ESA-funded VAIPOSA project took place successfully online on September 17, 2024. VAIPOSA webpage
Distinguished artifact award at TACAS conference

by Alberto Griggio | May 02, 2024 | News and Events
Open PhD Positions

by Alberto Griggio | May 02, 2024 | News and Events
ExploDTwin Kick Off Meeting

by Stefano Tonetta | Mar 02, 2024 | News and Events

PhD positions in collaboration with the University of Trento on formal-methods-related topics

by Marco Bozzano | Apr 16, 2025 | Jobs and Studentships

Three PhD positions are available at FBK, in collaboration with the University of Trento. The deadline for application is May 12th. C3 - Certifying model checking (1 grant) Abstract: In the field of formal verification, certifying proofs serve as compelling evidence to demonstrate the correctness of a model within a deductive …
New Software Developer Position in the Field of Formal Methods

by Marco Bozzano | May 23, 2024 | Jobs and Studentships
New Software Developer Position

by Marco Bozzano | Dec 21, 2023 | Jobs and Studentships
New Research position in the field of model-based system-software engineering and formal methods for space systems

by Marco Bozzano | Oct 25, 2023 | Jobs and Studentships