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 of travelling on the railway line at high speed in full autonomy
Computer Based Interlocking systems is an ongoing project aiming at the development of the next generation of interlocking systems in accordance with European standardization projects such as Eulynks and Europe Rail.
High-integrity Software Development and Testing aims at the verification and validation of railway signalling system according to the standards for the System Integrity Level 4 (SIL4)certification.
Within this program, FBK is seeking candidates for the following positions:
- Researchers with competences in Model-based engineering, Requirements, testing, formal verification, model checking
- Software developers with competences in software design, implementation, debugging and testing, elicitation and formal analysis of requirements
- Junior software developers must have competences in software design, implementation, debugging and testing.
Bachelor and master students are encouraged to apply also for part-time positions.
The team at FBK will be composed of about 3-5 people daily cooperating with RFI and other domain experts which will provide feedback and requirements to achieve the planned goals.