Tenure-Track Technologist, Formal Methods

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/7dhy2g

Bruno Kessler Foundation (FBK) in Italy invites applications for a Tenure Track position in the Formal Methods and Model-Based Engineering field within the FM Unit of the Digital Industry Center. The role focuses on developing methodologies, tools and verification techniques for complex autonomous systems, with strong emphasis on research and technology transfer.
The successful candidate will contribute to national and international projects, collaborate with partners, and progress toward a

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/7dhy2g