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

New Software Developer Position in the Field of Formal Methods

by Marco Bozzano | May 23, 2024 | Jobs and Studentships

FBK is opening a software developer position in the Formal Methods Unit. The activities will be scoped within one or more of the several industrial, technology transfer, or research project the FM unit is involved in, and will focus on one or more of the following topics: Development of software …
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
New Researcher position in the field of formal verification of complex control systems

by Marco Bozzano | May 31, 2023 | Jobs and Studentships