-
Experience Experience developing research software using appropriate languages and environements (Python, Julia, Matlab) Knowledge of optimisation problem formulations and solution methods Experience of risk
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions