| CARVIEW |
Who we are
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 .
News and Events
-
New project with RFI: ACC3-OPERA
by Roberto Cavada | Dec 16, 2025 | News and Events
After a long preparation phase, we are proud to announce that a new project with RFI has started: ACC3-OPERA which will bring a huge contribution to the ACC projects series.
-
VAIPOSA Kick Off Meeting
by Alberto Griggio | Sep 23, 2024 | News and Events
-
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
Jobs and Studentships
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
by Marco Bozzano | Jul 23, 2025 | Jobs and Studentships
Three PhD positions are available at FBK, in collaboration with the University of Trento. The deadline for application is August 22nd. 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 for ACC3
by Roberto Cavada | Jul 16, 2025 | Jobs and Studentships
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
by Marco Bozzano | Jun 17, 2025 | Jobs and Studentships
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
by Marco Bozzano | Apr 16, 2025 | Jobs and Studentships
Recent Posts
-
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
-
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