Tenure-Track Technologist: Formal Methods for Systems

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

Fondazione Bruno Kessler (FBK) in Trento, Italy, seeks a dynamic technologist for the FM Unit of the Digital Industry Center on a Tenure Track path toward a permanent T4 contract. The role focuses on Formal Methods, model-based engineering, verification and validation for complex, safety-critical autonomous systems, in collaboration with national and international partners.
The successful candidate will contribute to methodology development, tool creation, and technology transfer, while

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