Formal Methods Technologist: Research Tools & Impact

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/77zvn2

Bruno Kessler Foundation in Italy's Digital Industry Center invites applications for a Tenure Track Technologist in Formal Methods.
Continui a leggere per scoprire di cosa avrà bisogno per avere successo in questa posizione, incluse competenze, qualifiche ed esperienza.
You will advance methodologies and tools for formal methods and model-based engineering, supporting validation in research and industry. xysqume

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/77zvn2