1 formal-method-phd positions at Queen's University Belfast

Sort by

Refine Your Search

  • Queen's University Belfast | Belfast, Northern Ireland | United Kingdom | about 18 hours ago

    experience in one or more of the following areas: hybrid systems and/or discrete event systems; systems and control; reachability analysis and/or set-based methods; formal methods; optimisation and

Enter an email to receive alerts for formal-method-phd positions