Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
and will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Ivan Rungger, National Physics
-
Computational verification of high-speed multi-material flows, where physical experimentation is highly limited, is seen as critical by the defence Sector (source: the UK Atomic Weapons
-
will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Theodoros Kapourniotis, National
-
Modern cyber-physical systems (CPS), such as UAVs, next-generation fighter aircraft, and command-and-control (C2) platforms, integrate digital computation with physical processes to make mission
-
Liverpool where, in the School of Computer Science and Informatics, we have an active group of PhD students, postdocs, and academics working at the intersection of Machine Learning, Verification and
-
into areas such as AI-driven verification, predictive maintenance, and compliance assurance, aiming to enhance system reliability and safety. Situated within the esteemed IVHM Centre and supported by
-
clearance level. The Engineering Doctorate Researcher will follow the EngD in Model-Based Systems Engineering Programme. They will be based at NPL. Entry requirements: A minimum of an upper-class honours
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
Computational verification of high-speed multi-material flows, where physical experimentation is highly limited, is seen as critical by the Defence Sector (source: the UK Atomic Weapons
-
clearance level. The Engineering Doctorate Researcher will follow the EngD in Model-Based Systems Engineering Programme. They will be based at NPL. Entry requirements: A minimum of an upper-class honours