FBK is looking for several candidates to work on strategic projects carried out in collaboration with Rete Ferroviaria Italiana. Automatic Train Operation (ATO) is an ongoing project, started in 2018, conducted in accordance...
Read MoreA 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...
Read MoreA 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...
Read MoreA 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...
Read MoreThe 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...
Read MoreThe 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 MoreThe open research positions are in the field formal verification of complex control systems. The expected activities include: the development of formal verification techniques and their integration in model-based design...
Read MoreThe 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 and...
Read MoreA PhD position is available on the topic of Safety analysis for space and avionics systems and software, in collaboration with the PhD in Security, Risk and Vulnerability of the University of Genova. For more information, visit...
Read MoreThe open research position is in the field formal verification of complex control systems. The expected activities include the development of formal verification techniques and their integration in model-based design...
Read More