Open Positions for Post-docs and Software Developers to work on the Strategic Program for Railways research in collaboration with Rete Ferroviaria Italiana


              


FBK (Fondazione Bruno Kessler) is a private no-profit research institute located in Trento, Italy. It conducts research activities in Information Technology, Artificial Intelligence, Microelectronics and Humanities. The Center for Digital Industry is proudly involved in a long-standing relationship with Rete Ferroviaria Italiana, aiming at the application of the most advanced computer science techniques to the development of safety-critical software and systems.
FBK is looking for several candidates to join the teams of the following, strategic projects.

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 [1]. The vehicle can also be driven remotely, under the supervision of the ERTMS/ETCS systems for high-speed lines. The ultimate long-term goals of the project are the reduction of time and costs of maintenance of the railway lines, the innovation of the maintenance process by increasing the effectiveness of preventive actions, and the availability of ATO systems for commercial trains, with resulting reduction in energy consumption, higher perceived comfort, and shorter travel times.
FBK contributes to the project with the use of model-based rigorous technologies for the design phase, including formalization of requirements and scenarios, verification and validation of the architecture and logics of the SW, automatic code generation, extensive anticipatory testing, HW-in-the-loop testing (either in laboratory or on the field). FBK also contributes with the development, testing and integration of ERTMS/ETCS application modules.

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. The current results lead to the definition of methods and tools for the formal specification of the interlocking procedures, their translation into executable and verifiable code, the definition of the testing scenarios, a verification and validation environment based on simulation, testing and formal verification, and a formal environment for the management of legacy electromechanical solutions [2,3,4]. The project aims at the improvement of the accompanying toolset (with the adoption of deductive techniques to improve the quality of the controlled natural language used in the requirements specifications, strengthening of the design process, development of new features for supporting the coverage of requirements coming from the national provisions, improvement of the quality and performance of the generated code), the qualification of the code generation toolchain, and the definition of advanced techniques for formal verification based on compositional reasoning. The project requires involves the use of SysML, generation of SIL4 MISRA-C code, integration with RFI SIL4 execution environment running on dedicated embedded platform targets.

High-integrity Software Development and Testing. The project aims at the verification and validation of railway signalling system according to the standards for the System Integrity Level 4 (SIL4) certification. Unit and functional tests of the railway signalling system will be designed both through manual specification and through the automated generation of test cases [3,4]. These tests will be executed on specific system components and on the integrated system using certified testing tools. The main activities include the definition of the testing process according to the relevant standards, the definition of a set of relevant test cases maximizing the coverage according to multiple criteria, the design and implementation of (search-based, genetic, concolic) algorithms for automated generation of test cases, the execution of the defined test cases, and the design and preparation of test results reports.

References

[1] Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli et al. Formal Design and Validation of an Automatic Train Operation Control System. In Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022.

[2] Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Andrea Ferrando, Lorenzo Pilati, Giuseppe Scaglione, Alberto Tacchella, Marco Zamboni: NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. TACAS (1) 2022: 125-142

[3] Arturo Amendola, Anna Becchi, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Giuseppe Scaglione, Angelo Susi, Alberto Tacchella, Matteo Tessi: A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. ISoLA (3) 2020: 240-254

[4] Alessandro Arenella, Mirco Franzago, Giuseppe Scaglione, Matteo Tessi, Roberto Cavada, Alessandro Cimatti, Angelo Susi, Vittorio Cortellessa, Francesco Basciani, Davide Cingolani, Alfonso Pierantonio, Arturo Amendola.  Model-Driven Design and Validation of CBI Applications. World Congress on Railway Research (WCRR) 2022. Birmingham, UK, June 6–10, 2022.

Open positions

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.

Workplace Description

The FBK Center for Digital Industry, led by Alessandro Cimatti, focuses its research on digital technologies for the various domains in industry (e.g., aerospace, railway, automotive, energy, agriculture, manufacturing, etc.) by creating applications for critical systems, adaptive and autonomous systems, advanced perception, diagnostics and prediction systems. It is involved in multiple European research projects and collaborates with numerous institutions and multinational companies on strategic projects with a high innovation content – including the European Space Agency (ESA) and the Boeing company.
The strategic research program on Railways is based on multidisciplinary teams comprising researchers, post-docs, programmers, PhD, and master students from the Embedded Systems research unit (ES Unit) and the Software Engineering research unit (SE Unit).
The ES Unit carries out basic and applied research, tool development and technology transfer in the field of formal methods and model-based design for complex embedded systems.
The SE unit aims to investigate two strategic areas of software development, for which the available technologies are unsatisfactory: Requirements Engineering and Code analysis and Testing.

FBK actively seeks diversity and inclusion in the workplace and is also committed to promoting gender equality.


Profile A

Open Positions for Researchers

FBK is opening one position for researchers.

Job Description

The responsibility of the appointed candidates will focus on one or more of the following topics:

  • Model-based design, verification and validation, and testing of software 
  • Elicitation, traceability, and formal analysis of requirements
  • Testing design, unit testing, integration testing on host and HW-in-the-loop
  • Component design and modelling using the Scade language
  • Testing, verification and validation of Scade components
  • Analysis and tailoring of existing railway standards

Main Tasks

The activity will begin by learning the content of the previous projects related to the target activities. Domain-specific terminology, specifications, models and other artefacts, toolsets and execution environment will be analysed and experimented. After this preparatory phase, the activities will be focused on the formal design, modeling, verification and validation of the target system and components. The appointed candidates will be responsible to design and tailor the existing technologies and methodologies for model-based design to the target applications. Moreover, the candidates will need to acquire knowledge about, and based the development on, relevant railway standards.

Job requirements

The ideal candidate should have:

  • PhD in Computer Science, Mathematics or Electronic Engineering or related field, or equivalent 3-years research experience
  • Good programming skills in Java, C++, or C
  • Experience with requirements elicitation and traceability
  • Experience in model-based design
  • Experience with model-based design tools and languages, e.g., Scade, Matlab/Simulink, and/or Modelica
  • Background knowledge and/or previous experience in one or more of the following areas: 
- Software engineering
- Mathematical logic
- Automated theorem proving, SAT or SMT solving
- Formal verification and model checking 
- Satisfiability and constraint solving
  • Ability to work in a collaborative environment and deliver in research and/or industrial projects
  • Accuracy, flexibility, proactivity, and goal orientation attitude
  • Oral and written proficiency in English

Other professional skills nice-to-have: 

  • Good programming skills in Python, Javascript, Ada or other languages  
  • Experience in programming plugins for Eclipse
  • Experience with ECore models
  • Experience with software testing methodologies and testing HIL
  • Experience with issue trackers and versioning control systems
  • Open-source projects which the candidate has authored or contributed to
     

Employment

Type of contract: Fixed term contract

Working hours: preferably full-time, optionally part-time depending on candidate’s needs

Start date: preferably in the first months of 2023

Duration: 2 years (with the possibility to extend the contract depending on funding)

Gross annual salary (full time): about 39.500 € 

Workplace: Povo, Trento (Italy).

Benefits: flexitime, company subsidised cafeteria or meal vouchers, internal car park, welcome office support for visa formalities and for research in accommodation, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees, counselling and psychological support service. More info at https://www.fbk.eu/en/work-with-us/.


Profile B 

Open Positions for Senior Software Developers

FBK is opening one position for senior software developers.

Job Description

The responsibility of the appointed candidates will focus on one or more of the following topics:

  • Design, implementation, debugging and testing of software 
  • Elicitation, traceability, and formal analysis of requirements
  • Specification of test cases
  • Unit testing, integration testing on host and HW-in-the-loop
  • Design of simulation and logging environments
  • Component design and modelling using the Scade language
  • Testing, verification and validation of Scade components

Main Tasks

The activity will begin by learning the content of the previous projects related to the target activities. Domain-specific terminology, specifications, models and other artefacts, toolsets and execution environment will be analysed and experimented. After this preparatory phase, the activities will be focused on the requirements specification, design, implementation, and testing of software modules to implement the required functionalities. Other activities will be oriented in the preparation of the required documentation, such as functional specifications, software specifications and user manuals. The development process will be supported by relevant industrial standards. Moreover, development will be carried out using Issue Tracking and Versioning Control Systems, in a Continuous Integration environment.

Job requirements

The ideal candidate should have:

  • Master’s degree in Computer Science, Mathematics or Electronic Engineering or related field
  • Good programming skills in Java, C++, or C
  • Experience with requirements elicitation and traceability
  • Experience in model-based design
  • Hands-on experience with standard software development and debugging environments under Unix/Linux and/or MS Windows (TM)
  • Ability to work in a collaborative environment and deliver in research and/or industrial projects
  • Accuracy, flexibility, proactivity, and goal orientation attitude
  • Oral and written proficiency in English

Other professional skills nice-to-have: 

  • Good programming skills in Python, Javascript, Ada or other languages  
  • Experience in programming plugins for Eclipse
  • Experience with ECore models
  • Experience with model-based design tools and languages, e.g., Scade, Matlab/Simulink, and/or Modelica
  • Experience with software testing methodologies and testing HIL
  • Experience with issue trackers and versioning control systems
  • Open-source projects which the candidate has authored or contributed to
  • Background knowledge and/or previous experience in the following areas: 
    • Software engineering
    • Mathematical logic 
    • Formal verification and model checking 
    • Satisfiability and constraint solving
       
Employment

Type of contract: Fixed term contract

Working hours: preferably full-time, optionally part-time depending on candidate’s needs

Start date: preferably in the first months of 2023

Duration: 1 year (with the possibility to extend the contract depending on funding)

Gross annual salary (full time): about 34.500 € 

Workplace: Povo, Trento (Italy).

Benefits: flexitime, company subsidised cafeteria or meal vouchers, internal car park, welcome office support for visa formalities and for research in accommodation, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees, counselling and psychological support service. More info at https://www.fbk.eu/en/work-with-us/.


Profile C 

Open Positions for Junior Software Developers

FBK is opening three positions for junior software developers.

Job Description

The responsibility of the appointed candidates will focus on one or more of the following topics:

  • Design, implementation, debugging and testing of software 
  • Specification of test cases
  • Unit testing, integration testing on host and HW-in-the-loop
  • Design of simulation and logging environments

Main Tasks

The activity will begin by learning the content of the previous projects related to the target activities. Domain-specific terminology, specifications, models and other artefacts, toolsets and execution environment will be analysed and experimented. After this preparatory phase, the activities will be focused on the design, implementation, and testing of software modules to implement the required functionalities. Other activities will be oriented in the preparation of the required documentation, such as functional specifications, software specifications and user manuals. The development process will be supported by relevant industrial standards. Moreover, development will be carried out using Issue Tracking and Versioning Control Systems, in a Continuous Integration environment.

Job requirements

The ideal candidate should have:

  • Completed the first year of Bachelor studies in Computer Science, Mathematics or Electronic Engineering or related field
  • Good programming skills in Java, C++, or C
  • Hands-on experience with standard software development and debugging environments under Unix/Linux and/or MS Windows (TM)
  • Ability to work in a collaborative environment and deliver in research and/or industrial projects
  • Accuracy, flexibility, proactivity, and goal orientation attitude
  • Oral and written proficiency in English

Other professional skills nice-to-have: 

  • Good programming skills in Python, Javascript, Ada or other languages  
  • Experience in programming plugins for Eclipse
  • Experience with ECore models
  • Experience with model-based design tools and languages, e.g., Scade, Matlab/Simulink, and/or Modelica
  • Experience with software testing methodologies and testing HIL
  • Experience with issue trackers and versioning control systems
  • Open-source projects which the candidate has authored or contributed to
  • Background knowledge and/or previous experience in the following areas: 
    • Software engineering
    • Mathematical logic 
    • Formal verification and model checking 
    • Satisfiability and constraint solving
       

Employment

Type of contract: Fixed term contract

Working hours: preferably full-time, optionally part-time depending on candidate’s needs

Start date: preferably in the first month of 2023

Duration: 1 year (with the possibility to extend the contract depending on funding)

Gross annual salary (full time): about 26.500 € 

Workplace: Povo, Trento (Italy).

Benefits: flexitime, company subsidised cafeteria or meal vouchers, internal car park, welcome office support for visa formalities and for research in accommodation, social security (SANIFONDS), family-work balance, free training courses, support on bank account opening, discount on public transport, sport, language course fees, counselling and psychological support service. More info at https://www.fbk.eu/en/work-with-us/.

Application

Interested candidates are requested to submit their application by completing the online form (https://jobs.fbk.eu/). Please make sure that your application includes the following attachments (in pdf format):

  • Detailed CV.
  • Motivation letter.

Applications to more than one profile by the same candidate are allowed by selecting the profile of interest listed in the application form.

Application deadline: 11th March, 2023

This selection procedure waives the Foundation's regulations on recruitment processes, to which reference is made herein, as follows:

  • The Selection Committee evaluates applications and compiles a shortlist of the candidates admitted to the interview on a monthly basis (11/01/23, 11/02/23, 11/03/23). Successful candidates can be hired at the end of each one of these assessment periods.
  • For reasons of professional transparency, the name of the successful candidates and the names of suitable candidates will be published on the FBK website at the end of each three slots of the assessment.
  • Non-selected applicants will be notified of their exclusion at the end of each three slots of the assessment. 

Please note that FBK may contact shortlisted candidates within a period of 12 months, for the selection processes of similar vacancies.

For further information, please contact the Human Resources Services at jobs@fbk.eu


 
Business units
Centro Digital Industry; Centro Digital Industry/ES; Centro Digital Industry/SE
Locations
Science and Technology Hub - Trento
Cookie policy
x
We use technical cookies, that are always enabled and necessary for the website to work correctly, and analytic and profiling cookies, including third party ones, to allow us to measure the usage and performance of the web site and send advertising, including targeted advertising. To accept all cookies, click «Accept». To manage or disable cookies click on «Manage». To refuse all cookies and close the banner click on «x»; in this case you can continue to navigate the site and only technical cookies will be used. If you would like to learn more, please read our Cookie Policy