1 formal-methods PhD positions at Aristotle University of Thessaloniki

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-methods positions

PhD Position DC1 - Aristotle University of Thessaloniki, Greece - Multi-hazard assessment for industrial facilities in Europe (REUNATECH Project)

Aristotle University of Thessaloniki | Greece | about 2 months ago

effects, compound hazards, and systemic interdependencies, adapting to evolving EU design codes. More specific goals are to: re-view existing hazard methods and codes for single and multiple hazards (e.g

Searches related to formal methods

Enter an email to receive alerts for formal-methods positions