New Software Developer Position for ACC3

Fondazione Bruno Kessler (FBK) is a private research institution devoted to excellence in research in numerous disciplines and designated to the role of keeping the Autonomous Province of Trento in the mainstream of European and international research. Each research area is assigned to a specific research center, of which there are twelve totals. Information regarding the research centers, their activities and production is available at http://www.fbk.eu/research-centers.

Workplace

The FBK Center for Digital Industry 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 Italian Railways Network (RFI).

The position is opened by the Formal Methods for System and Software Research Unit (FM Unit) of the Digital Industry Center of FBK. The FM Unit consists of about 35 people, including researchers, post-docs, PhD students, master students, and programmers. The 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.

FBK actively seeks diversity and inclusion in the workplace and is also committed to promoting gender equality. To promote the inclusion of disabled staff as per law 68/99, the Foundation is available and interested in evaluating the applications received for technical-scientific domains that do not correspond exactly to this call.

Job Description

FBK opens a software developer position in the field of the design, verification and deployment of interlocking systems for the railways domain. The FM Unit supports domain experts with the development of methodologies and tools to design, model, implement, simulate, test, configure, deploy and maintain software systems that control trains and devices operations from sidetrack and from onboard to operate according to the national and international regulations.

The successful candidate is expected to contribute to the model-based design research line and to the development of such support tools. The candidate will participate in the activities of various industrial projects such as, for example, the ACC project funded by Rete Ferroviaria Italiana.

The successful candidate will contribute to the following tasks:

• Software design and implementation of new features in the existing tools
• Testing of new and existing features within the CI infrastructure

Job requirements

The ideal candidate shall have:

• Bachelor degree (or equivalent experience) in Computer Science or IT Engineering.
• Good programming skills in Java, Python, C++.
• Hands-on experience with git and software development and debugging environments.
• Oral and written proficiency in English
• Ability to work both independently and in a team environment.
• Strong relational and communication skills.
• Good organizational and problem-solving skills.

Furthermore, the following elements will be positively evaluated:

• Experience in programming plugins for Eclipse.
• Experience with GEF and/or JavaFX.
• Experience with ECore models.
• Open-source projects which the candidate has authored or contributed to.
• Background knowledge and/or previous experience in the following areas:
  • Software engineering
  • Satisfiability and constraint solving
  • Model Checking or other formal verification techniques
  • First-order logic and SMT solvers
  • Formal analysis of hybrid systems
  • Runtime verification and diagnosis
  • Formal safety assessment

Application

See the Application Page for further information and for applying to this call.