-
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
-
PhD Grant on Model-based system-software engineering and formal methods for space systems
A new PhD position is opened, in collaboration with the University of Trento (PhD program on Space Science and Technology - SST), on the topic of Model-based system-software engineering and formal methods for space systems. Space systems have reached an unprecedented degree of complexity. The design process has to guarantee not …
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics
-
New Software Developer Position in the Field of Formal Methods
-
New Software Developer Position
-
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