Tenure Track position for a Technologist in the field of Formal Methods for Systems and Softwar[...]
Descrizione dell'offerta
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
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
Informazioni aggiuntive
Opportunità: Tenure Track position for a Technologist in the field of Formal Methods for Systems and Softwar[...] a Trento, Trentino-Alto Adige
Sei alla ricerca di una posizione come Tenure Track position for a Technologist in the field of Formal Methods for Systems and Softwar[...] presso Altro a Trento? Di seguito trovi tutti i dettagli di questa offerta di lavoro.
Retribuzione indicativa: 90.000€ – 110.000€ EUR
Tipo di contratto rilevato: Tempo indeterminato
Lavorare a Trento
Questa città offre un mercato del lavoro attivo con opportunità in diversi settori dell'economia locale e nazionale.
Settore: Ingegneria e tecnologia
Candidatura e Ritorno (in fondo)
Ricevi annunci simili
Inserisci la tua email: ti avvisiamo quando escono nuovi annunci corrispondenti.
✅ Controlla la tua email e clicca il link per confermare l'alert.
Nessun account necessario. Disiscrizione con un clic dall'email.