The activities will be scoped within an industrial, technology transfer, or research project, and will focus on one or more of the following topics:
- development of software at support of the design, verification, validation, and deployment of embedded software;
- development of control software and specification of related models;
- modelling, development, and extension of software, under Linux, Windows, RTOS or bare metal environments;
- debugging and testing of software;
- documentation of requirements and software according to the different national and international standards adopted in the specific projects.
Application Page
-
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