Tenure-Track Technologist: Formal Methods for Systems

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

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.
Se le sue competenze, la sua esperienza e le sue qualifiche corrispondono a quelle descritte in questa panoramica, non ritardi l'invio della sua candidatura.
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 xysqume candidate will contribute to methodology development, tool creation, and technology transfer, while

#J-18808-Ljbffr

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