Railway MBSD Developer – Formal Methods

A leading research foundation in Trento seeks a software developer specializing in formal methods and model-based design for railway systems. The role involves developing software that adheres to regulations and supporting industrial projects. Ideal candidates possess strong programming skills, a degree in Computer Science or IT Engineering, and proficiency...

A Developer position in the field of Formal Methods and Model Based DesignJoin to apply for the A Developer position in the field of Formal Methods and Model Based Design role at Fondazione Bruno Kessler – FBK.The FBK Center for Digital Industry focuses its research on digital technologies for various industry domains such as aerospace, railway,...

A Developer position in the field of Formal Methods and Model Based Design Join to apply for the A Developer position in the field of Formal Methods and Model Based Design role at Fondazione Bruno Kessler – FBK. The FBK Center for Digital Industry focuses its research on digital technologies for various industry domains such as aerospace, railway,...

The FBKCenter for Digital Industryfocuses 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...

A software developer position is available to design, verify, and deploy interlocking systems for the railways domain using model-based design research.

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...