Jobs and Studentships
-
New Software Developer Position in the Field of Formal Methods
FBK is opening a software developer position in the Formal Methods Unit. The activities will be scoped within one or more of the several industrial, technology transfer, or research project the FM unit is involved in, and will focus on one or more of the following topics: Development of software …
-
New Software Developer Position
FBK is opening a software developer position in the Formal Methods Unit. The activities will be scoped within one or more of the several industrial, technology transfer, or research project the FM unit is involved in, and will focus on one or more of the following topics: Development of software …
-
New Research position in the field of model-based system-software engineering and formal methods for space systems
FBK is opening a new research position in the field of model-based system-software engineering and formal methods for space systems, to work in one or more of the following topics: Development of formal verification techniques and their integration in model-based design environments Formal methods to support the design, mission preparation …
-
New Researcher position in the field of formal verification of complex control systems
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 design environments model checking of control systems and their interaction with hybrid models of the …
-
New researcher position in the field of model-based design for autonomous systems (Deadline extended to May 11)
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 checking of autonomous control systems Model-based safety analysis of autonomous systems Compositional reasoning for verification and …
-
New Software Developer position in the field of model-based design for autonomous systems
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 analysis of requirements, testing specification, testing (unit testing, integration testing) on host and in …
-
Open Positions for Post-docs and Software Developers to work on the Strategic Program for Railways research in collaboration with Rete Ferroviaria Italiana
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 with the European projects Shift2Rail and Europe Rail, and aiming at controlling an experimental railway vehicle capable …
-
New junior SW developer position
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 designing, implementing, testing and performing maintenance of software. The activity will begin by learning …
-
New senior SW developer position
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 designing, implementing, testing and performing maintenance of software, and on performing elicitation and formal …
-
PhD Grant on Model-Based Safety Assessment for Hybrid Systems
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 (MBSA) is a growing research area in the design of complex safety-critical systems. Starting from requirements and …
-
A research position in the field of planning and scheduling for digital industry and robotics
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 or Satisfiability Modulo theories and their integration in real-world systems including robotic applications and flexible manufacturing environments …
-
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 deployment of embedded software; development of control software and specification of related models; modelling, development …
-
Two research positions in the field of formal verification of complex control systems
The 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 environments model checking of control systems and their interaction with hybrid models of the physical plants contract-based compositional reasoning model-based …
-
Research position in the field of planning and scheduling for digital industry and robotics
The 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 Satisfiability Modulo theories and their integration in real-world systems including robotic applications and flexible manufacturing environments; monitoring …
-
PhD position on Safety analysis for space and avionics systems and software
A 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 the PhD Program web page. Abstract: Space and avionics systems are reaching an …
-
Researcher on Formal Verification of Complex Control Systems
The 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 environments; model checking of control systems and their interaction with hybrid models of the physical plants; contract-based compositional reasoning; model-based …
-
Researcher on Formal Verification of Complex Safety Critical Systems
Post-doc position to work in the European ECSEL project VALU3S on Model checking of hybrid systems Model checking of control software Model-based safety analysis of autonomous systems Integration of model checking, testing, and runtime verification Application of formal methods to industrial case studies (avionic or agriculture domains) Application Page
-
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 verification, automated test case generation model-based system engineering, architecture description languages (sysml, aadl, etc), integration of model-based design and formal methods, model-based code generation …