-
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
-
New Software Developer Position in the Field of Formal Methods
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
-
New Research position in the field of model-based system-software engineering and formal methods for space systems
-
New Researcher position in the field of formal verification of complex control systems