2 environment positions at Fondazione Bruno Kessler in Italy

A Research position in the field of formal methods

Fondazione Bruno Kessler | Italy | about 1 month 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

FBK is looking for a Researcher in the field of Secure Software Engineering for the Cybersecurity Center. This position is partially funded by the National Recovery and Resilience Plan (PNRR)

Fondazione Bruno Kessler | Italy | 21 days ago

, energy, and processing resources while adapting to the different computational environments and capabilities.  Second, the project emphasises the creation of security, privacy-enhancing, and trust-aware