3 formal-method-phd positions at Fondazione Bruno Kessler

PhD Candidate - Symbolic Model Checking techniques for embedded systems

Fondazione Bruno Kessler | Italy | 3 days ago

within a Research Infrastructure? No Offer Description Techniques based on formal methods for the verification and validation of embedded and safety-critical systems are becoming increasingly important

Tenure track position for a Researcher in the field of Automated Planning and Scheduling at the Digital Industry Center, FBK

Fondazione Bruno Kessler | Italy | 3 days ago

Planning in combination with Formal Methods Information regarding the Research Unit is available at https://pso.fbk.eu/ . Job Description The purpose of FBK’s Tenure Track program is to offer high-level

A Researcher in the Field of Deep Learning for Weather and Climate Applications

Fondazione Bruno Kessler | Italy | about 2 months ago

for technical-scientific domains that do not correspond exactly to this call. Job Description FBK is looking for candidates to fill one position in Deep Learning methods applied to projects within the DSIP unit