Sort by
Refine Your Search
-
this direction. The project aims to develop a comprehensive approach to software verification grounded in neural certificate technologies. Role Summary The Research Fellow will play a crucial role within the
-
assurance, testing, validation, and verification Desirable criteria Familiarity with the application of Generative AI in software engineering Familiarity with sustainability and decarbonisation models and
-
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
-
and security properties for advanced hardware architectures. Create and adapt any necessary software to do the above. Engage the industry partners (e.g., at ARM) to aid the deployment of verification
-
Assurance and verification offerings for AI are fragmented and target specific areas of AI lifecycle (e.g. model assurance or prompt injections) without offering a unified view of the security
-
, we are looking for candidates to have the following skills and experience: Essential criteria Hold a PhD or about to obtain a PhD degree in Computer Science, Software Engineer, or closely related
-
graduate ready to drive change in AI-powered system certification and governance. Through this PhD, students will master the intersection of AI, verification, and regulatory compliance, gaining a rare
-
and algorithm or approaches, and instead will have a creative approach to problem solving, exploring multiple potential techniques. Ideas will be verified on software systems (e.g. SOLIDWORKS, MATLAB
-
Job Purpose To make a leading contribution to the project “End to End Verification for Constraint Programming”, working with Dr Ciaran McCreesh and other project collaborators. This project is
-
Learning, Algorithms, Noise Handling (Error Correction/Mitigation), and Verification. These roles are part of the Quantum Software Lab (QSL, link: https://www.quantumsoftwarelab.com ), in collaboration with