Formal Methods Technologist: Research Tools & Impact

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/786of7

Bruno Kessler Foundation in Italys Digital Industry Center invites applications for a Tenure Track Technologist in Formal Methods. You will advance methodologies and tools for formal methods and model-based engineering, supporting validation in research and industry.

The role emphasizes collaboration with national and international partners, proposal development, project execution, and technology transfer to strengthen safety-critical and autonomous systems.

#J-18808-Ljbffr

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/786of7