Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
assurance, testing, validation, and verification Desirable criteria Familiarity with the application of Generative AI in software engineering Familiarity with sustainability and decarbonisation models and
-
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
-
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
-
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
-
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
-
obtain a PhD degree in Computer Science, Software Engineer, or closely related fields Have an established track record of producing high-quality research outputs Demonstrate proficiency in software
-
successful in this role, we are looking for candidates to have the following skills and experience: Essential criteria 1. Hold a PhD or about to obtain a PhD degree in Computer Science, Software
-
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