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
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.
Job Description
The Formal Methods for System and Software Research Unit is looking for a software developer to be primarily assigned to tasks in the scope of a project in the field of the design, verification and deployment of systems for the railways domain. The FM Unit supports railways 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

A Developer position in the field of Formal Methods and Model Based Design

Responsabile del personale in cantiere

Persona o coppia per cura casa e giardino

Ricevi nuove offerte di lavoro

Collaboratore

BadanteTrieste