Sort by
Refine Your Search
-
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
-
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
-
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
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
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
-
disruptive aircraft configurations involves combining advanced engineering practices, including computing power, sensing, AI/ML, and system-level engineering. Comprehensive verification and validation
-
(Enrolment open from mid-September) Supervisors: Dr Saptarsi Ghosh Prof David Ritchie Dr Dan Lamb Aligned programme of study: PhD in Electronic and Electrical Engineering OR PhD in Materials Engineering Mode
-
algorithms are used that allow a computer to process large data-sets and learn patterns and behaviours, thus allowing them to respond when the same patterns are seen in new data. This include 'supervised