Jobs and Studentships

Two new software development positions

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...

Read More

Other opportunities

We are currently seeking post-doc researchers in the following areas: formal methods, model checking, temporal logics, model-based safety analysis, contract-based design, model-based diagnosis and diagnosability, runtime...

Read More