2 embedded-system "https:" "https:" "https:" "https:" "UCL" uni jobs at Fondazione Bruno Kessler

A Research position in the field of formal methods

Fondazione Bruno Kessler | Italy | 3 months ago

or runtime verification techniques for continuous dynamics and hybrid systems; Development of formal verification techniques and their integration in model-based design environments; Model checking of embedded

A research position at the European Centre for Theoretical Studies in Nuclear Physics and Related Areas (ECT*)

Fondazione Bruno Kessler | Italy | about 2 months ago

21 Jan 2026 Job Information Organisation/Company Fondazione Bruno Kessler Department Unità People Innovation Research Field Physics » Other Mathematics » Other Researcher Profile Recognised