Available Positions

PhD Position

Formal Verification and Synthesis of Cyber-Physical Systems

Multiple PhD positions at Newcastle University, UK

You have a background in Control Engineering, Computer Science, Mathematics or related areas and want to work on cutting-edge research paving the way for designing modern autonomous systems that operate in safety-critical applications? Then these PhD positions are for you!

The PhD topics could range from establishing theoretical foundations of (stochastic) dynamical systems to application of techniques to robotics and energy systems. The positions will bridge the gap between formal methods and data-driven analysis while providing certification on satisfying the (safety) requirements. By the end of this project, we have developed the first data-driven mechanism that can be applied to large-scale systems while providing probabilistic guarantees (confidence values) on the satisfaction of the requirements. We will develop case studies in collaboration with Siemens on autonomous vehicles, Netherlands Aerospace Agency, or the Smart Grid Lab.

We are looking for candidates with background in control theory, system identification, multi-agent systems, stochastic systems, formal methods, or related areas.

Deadline for sending your application: 10 Feb 2023.

For further inquiries, contact Prof Sadegh Soudjani with your full application materials via “sadegh.soudjani@ncl.ac.uk”.

Two Postdoctoral Positions

Formal Verification and Synthesis for Multi-Agent Systems

These two positions are part of the SymAware project, which is a €4m project awarded by the European Innovation Council (EIC) to perform cutting-edge research and to achieve breakthroughs in the strategic area of awareness. SymAware will address the fundamental need for a new conceptual framework for situational awareness in multi-agent systems that is compatible with the internal models and specifications of robot agents and that enables the safe simultaneous operation of collaborating autonomous agents and humans.

The framework of SymAware will provide the logical characterisation and integrative formal reasoning of interdependent awareness dimensions, including knowledge, spatiotemporal, risk and social dimensions. The project will help understand and improve the safety of unmanned aircraft traffic management and autonomous vehicles.

These positions will be filled as soon as strong candidates are found, apply soon!

Collaborate with us

We are always interested to hear from people with similar research interests to our own who may wish to collaborate. To contact us fill in the form on the right-hand side.

Available Positions

PhD Position

Data-Driven Abstractions for Safety-Critical Systems

The primary objective of this project is to develop an industrial case study for REF2028 in the area of safety-critical systems with a particular focus on energy distribution systems in collaboration with Smart Grid Lab at Newcastle and Siemens in Germany. This project will provide a new approach to ensuring the safe operation of safety-critical systems (e.g., blackout-free, minimum-cost energy supply) using data gathered from the system. This project will bridge the gap between formal abstraction-based methods and data-driven analysis while providing certification on satisfying the (safety) requirements.

The significant novelty of our project is that we provide the first approach that can guarantee the runtime safety of autonomous systems in safety-critical applications. By the end of this project, we have developed the first data-driven mechanism that can be applied to large-scale smart energy distribution systems while providing probabilistic guarantees (confidence values) on the satisfaction of the requirements. We will develop a REF impact case study in collaboration with Siemens using the experiments performed in the Smart Grid Lab (facilitated by the PI’s EPSRC New Investigator Award, CodeCPS).

To apply use the following form by selecting the project Data-Driven Abstractions for Safety-Critical Systems. This position will be filled as soon as strong candidates are found, apply soon!

Two Postdoctoral Positions

Formal Verification and Synthesis for Multi-Agent Systems

These two positions are part of the SymAware project, which is a €4m project awarded by the European Innovation Council (EIC) to perform cutting-edge research and to achieve breakthroughs in the strategic area of awareness. SymAware will address the fundamental need for a new conceptual framework for situational awareness in multi-agent systems that is compatible with the internal models and specifications of robot agents and that enables the safe simultaneous operation of collaborating autonomous agents and humans.

The framework of SymAware will provide the logical characterisation and integrative formal reasoning of interdependent awareness dimensions, including knowledge, spatiotemporal, risk and social dimensions. The project will help understand and improve the safety of unmanned aircraft traffic management and autonomous vehicles.

These positions will be filled as soon as strong candidates are found, apply soon!

Collaborate with us

We are always interested to hear from people with similar research interests to our own who may wish to collaborate. To contact us fill in the form below.