Tenure Track position for a Technologist in the field of Formal Methods for Systems and Software Design at Bruno Kessler Foundation, Centre for Digital Industry.

Join FBK’s Tenure Track program as a Technologist in the Formal Methods Unit of the Digital Industry Center. You will advance methodologies and tools for formal methods and model-based engineering, supporting their validation in research and industry. You will collaborate with national and international partners, contribute to project proposals and execution, and drive technology transfer. This role combines research, tool development, and collaboration to strengthen safety-critical and autonomous systems. The opportunity offers a structured path to a permanent, senior position and impactful work in a dynamic scientific environment.

- flexi-time
- company subsidised cafeteria or meal vouchers
- internal car park
- accommodation
- supplementary pension and health fund
- Develop methodologies, languages and tools for Formal Methods and model-based engineering
- Validate and apply these technologies in research and industrial contexts
- Support technology transfer and adoption by industrial partners




- Contribute to national and international research and innovation projects, including proposal preparation and project execution
- Collaborate with national and international partners on research projects
- Work closely with FM unit members and external partners
- Master’s degree in computer science
- Experience in applying Formal Methods, software verification, model checking, and model-based engineering
- Expertise in designing and applying methodologies and tools for specification, verification and validation of complex systems
- Knowledge of formal specification languages and related verification technologies
- Experience in software development and tool implementation for research or industrial applications
- Experience in participation in research projects and collaboration with international partners
- Strong proficiency in English (written and spoken)

Join FBK’s Tenure Track program as a Technologist in the Formal Methods Unit of the Digital Industry Center. You will advance methodologies … #J-18808-Ljbffr

📌 Tenure Track position for a Technologist in the field of Formal Methods for Systems and Softwar[...] (Trento)
🏢 Experteer Italy
📍 Trento