-
combine engineering design principles with stake-holder engagement tools to support decision-making under uncertainty. Using methods like agent-based modelling, quantitative resilience and risk analysis
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions