2 evolution "https:" "https:" "https:" positions at Fondazione Bruno Kessler in Italy

A Research position in the field of formal methods

Fondazione Bruno Kessler | Italy | 6 days ago

techniques with target publications in conferences such CAV, TACAS, FM, and RV; Software development of FM Unit’s tools (https://fm.fbk.eu/category/tools.html ); Participation in research and development

Tenure-Track Role in Cyber Security for Resource-Efficient Orchestration of AI-Based Security. This position is partially funded by the Piano Nazionale di Ripresa e Resilienza (PNRR) initiative

Fondazione Bruno Kessler | Italy | 3 months ago

production are available at http:/www.fbk.eu/research-centers . In particular, the FBK Cyber Security Centre (CS) develops digital technology and cyber security to foster collaboration between the various