-
process and interpret simulation data, develop the implementation of optimisation techniques and modelling approaches, and help identify the most receptive forcing modes in turbulent channel flow. Working
-
(model-based) systems engineering, whilst applying systems analysis techniques based on formal methods, AI, and optimisation and will be expected to submit publications to top-tier conferences and journals
Searches related to model checking
Enter an email to receive alerts for model-checking positions