-
, fabrication materials and orbital environments. Using a small number of representative test cases, we will trial Machine Learning-based predictive methods to estimate material condition and indicative reuse
-
individually, make a real difference. The role We are looking to recruit two Senior Research Associates at the University of Surrey for a new project on formal verification, seL4 security and AI-assisted theorem
-
, intellectual-property generation and formal project delivery. The successful candidate will work closely with researchers at Surrey and InterDigital and will help develop research findings into practical
-
control protocols for intrinsically protected quantum hardware. About you Applicants should have a PhD in theoretical physics, quantum physics, or a closely related discipline, together with expertise in
-
. Informal enquiries about the role are welcome. Please contact Prof Paul Hodkinson at [email protected]. About you You will have: A PhD in sociology, media and communications, psychology, gender
-
fellows and PhD students at the other University project partners. The contract will be for 3 years. The project would ideally suit candidates with an Engineering background with strong mathematical