After a long preparation phase, we are proud to announce that a new project with RFI has started: ACC3-OPERA which will bring a huge contribution to the ACC projects series.
-
New project with RFI: ACC3-OPERA
-
PhD positions in collaboration with the University of Trento on formal-methods-related topics (2nd call)
-
New Software Developer Position for ACC3
-
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