-
pipelines. Experience with the ESO DFS software stack, such as EDPS, EsoRex, CPL, etc A Masters (MSc) / Diploma Degree in computer science, astronomy, physics, or equivalent professional expertise. Solid
-
in the project's area of interest: designing and developing proof assistant technology with AI support. Create and adapt any necessary software to do the above. Publish in high-quality outlets (high
-
requirements, the management of student data within the Syllabus Plus timetabling software and the publication of timetables to students and staff. The Assistant Timetable Manager is also responsible
-
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
-
requirements, the management of student data within the Syllabus Plus timetabling software and the publication of timetables to students and staff. The Assistant Timetable Manager is also responsible
-
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
-
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
-
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
-
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
-
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