-
Job Description Position Details School of Computer Science Location: University of Birmingham, Edgbaston, Birmingham UK Full time starting salary is normally in the range £36,636 to £46,049 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
-
for the development and day-to-day management of the system which will initially use face recognition technology. As such, the candidate will be expected to have excellent software engineering/computational skills as
-
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
-
for the development and day-to-day management of the system which will initially use face recognition technology. As such, the candidate will be expected to have excellent software engineering/computational skills as
-
developing a novel approach to proving refinement propositions using a combination of LLMs and state-of-the-art theorem provers. Developments in this area have the potential to advance software verification
-
About Us Join a vibrant world-leading Software Systems research group at the Department of Informatics, King’s College London. We are an international, diverse, and inclusive group of about 40
-
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
-
the essential criteria for the post, which includes: Have or be about to obtain a PhD in computer science, engineering, mathematics or physical sciences area. Recent high quality research experience in
-
well as software engineering activities, the postholder will also be expected to contribute to the formulation and submission of research publications and research proposals as well as to help manage and direct