Formal Methods Technologist: Research Tools & Impact

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/79abwq

Bruno Kessler Foundation in Italy's 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-*****-Ljbffr

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/79abwq