-
-profile and reputable conferences and journals), prepare detailed research reports where appropriate (e.g. as formal project deliverables), and communicate our results to non-academic or non-verification
-
are looking for a strong researcher able to conduct research around formal methods for autonomous robotic systems, with a background of excellent research outputs across formal requirements and formal
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
-
methods, software engineering, and artificial intelligence whilst within the role. Skills, Experience & Qualification needed (these can be taken from the person specification) You will have a PhD in formal
-
complement our existing strengths in cryptography and formal verification. This post will support the growing cohort of students across all undergraduate Computer Science programmes and students in the highly
-
Computer Science). Outstanding candidates who do not have a PhD but wish to pursue one on the topic of this project will also be considered. x Knowledge and experience in software developments or formal
-
that the solutions provided are correct. It will involve a mix of algorithm engineering and formal methods, alongside more traditional software engineering activities. This project involves developing software which
-
verification activities, and supporting programme and course reviews through assistance in data analysis and root cause analysis. What's in it for you? This is an exciting role within a fast-paced team with a
-
, certification, and the verification of university awards, as well as supporting university examinations and the management of assessment outcomes. Your work will directly contribute to an outstanding student