Jobs and Studentships

FBK opens a software developer position. 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...

FBK opens a research position in the field of formal verification of complex control systems, to work in one or more of the following topics: development of formal verification techniques and their integration in model-based...

FBK is opening a new position for a researcher to work on the topic of model-based design for autonomous systems. Research topics include: Model-based design, verification and validation, and testing of autonomous systems Model...

FBK is opening a new position for a software developer to work on the topic of model-based design for autonomous systems, to design, implement, test and perform maintenance of software, and to perform elicitation and formal...

A new position for a junior software developer has been opened.The activities will be part of industrial projects made in collaboration with an important national player in the railway domain. The activities will focus on...

A new position for a senior software developer has been opened.The activities will be part of industrial projects made in collaboration with an important national player in the railway domain. The activities will focus on...

A new PhD position is opened, in collaboration with the University of Genova (PhD program on Security, Risk and Vulnerability), on the topic of Model-Based Safety Assessment for Hybrid Systems. Model-based safety assessment...

The open research position is in the field of automated planning and scheduling. The expected activities include the development of novel temporal planning and/or scheduling techniques based on heuristic search, machine learning...

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