We constantly look for excellent candidates to join the HyCoDeV Team. Highly-qualified and self-motivated candidates are encouraged to apply as soon as possible.

Automated Synthesis of Stochastic Cyber-Physical Systems: A Robust Approach

Multiple PhD and postdoc 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 positions are for you!

The topics could range from establishing theoretical foundations of (stochastic) dynamical systems to application of techniques to autonomous vehicles and energy systems. The positions will bridge the gap between formal methods and data-driven analysis while providing certification on satisfying the (safety) 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: We constantly look for excellent candidates to join this project. Highly-qualified and self-motivated candidates are encouraged to apply as soon as possible.

For further inquiries, contact Prof Sadegh Soudjani with your full application materials by clicking the 'apply' button.

Data-Driven Abstractions for Safety-Critical Systems

PhD Position

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, click the button below and select the project Data-Driven Abstractions for Safety-Critical Systems.

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 by clicking the 'apply' button.

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.

For further inquiries, contact Prof Sadegh Soudjani with your full application materials by clicking the 'apply' button.

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.