The ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal Methods in Computer-Aided Design, FMCAD’22. The conference will be held in Trento from October 18th to October 21st 2022. More information at https://fmcad.org/FMCAD22/
-
ExploDTwin Kick Off Meeting
-
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
-
New researcher position in the field of model-based design for autonomous systems (Deadline extended to May 11)