Tenure-Track Technologist: Formal Methods For Systems

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

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
#J-*****-Ljbffr

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