-
evaluation of the project’s core technical components in expert-in-the-loop agentic AI for manufacturing. Develop process-centric AI methods and software tools for BPMN modelling, Petri/CPN formalisation
-
investigation of boundary-layer behaviour, near-wall flow structures and drag-reduction performance on solid models. Set up, operate and optimise wind tunnel experiments and associated diagnostics, including
Searches related to model checking
Enter an email to receive alerts for model-checking positions