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.
Mostra le tue capacità professionali all'azienda, compila il form e lascia un tocco personale nella lettera di presentazione, aiuterà il recruiter nella scelta del candidato.