The First Call for Admissions to the PhD Program in Information Engineering and Computer Science at will close soon! The FM unit has 3 open positions (topics C2, C3, C4).
Deadline for applications: May 7, 2024 at 4 pm (CEST)
-
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