1 structures "https:" "https:" "https:" "https:" "https:" "https:" "Birmingham Newman University" uni jobs at Fondazione Bruno Kessler

A Research position in the field of formal methods

Fondazione Bruno Kessler | Italy | 27 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