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 .
-
VAIPOSA Kick Off Meeting
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
-
Open PhD Positions
-
ExploDTwin Kick Off Meeting
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
A new PhD position is opened, in collaboration with the University of Trento (PhD program on Space Science and Technology - SST), on the topic of Model-based system-software engineering and formal methods for space systems. Space systems have reached an unprecedented degree of complexity. The design process has to guarantee not …
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
New Software Developer Position in the Field of Formal Methods
-
New Software Developer Position
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
VAIPOSA Kick Off Meeting
-
New Software Developer Position in the Field of Formal Methods
-
Distinguished artifact award at TACAS conference