-
of Birmingham is inviting applications for a Research Fellow position focused on Machine Learning for Automated Formal Verification. Machine learning has transformed programming, with code generation rapidly
-
deepfake technology. As part of this team, we are seeking either a Research Fellow to lead; or a Senior Research Associate to contribute to leading: the development of a forensically assured 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
-
deepfake technology. As part of this team, we are seeking either a Research Fellow to lead; or a Senior Research Associate to contribute to leading: the development of a forensically assured verification
-
to policing data, with potential expansion to additional sectors such as health, education or justice in subsequent years. This will include contributing to the development of review and verification plans
-
data management. Design and analysis of hardware and software. Coding, debugging, and troubleshooting. Testing, validation and verification. Carry out risk assessment, and ensure compliance with work
-
, validation and verification. Carry out risk assessment, and ensure compliance with work, safety, and health regulations. Coordinate procurement and liaison with vendors/suppliers. Report drafting and
-
, validation and verification. Carry out risk assessment, and ensure compliance with work, safety, and health regulations. Coordinate procurement and liaison with vendors/suppliers. Report drafting and
-
, validation and verification. Carry out risk assessment, and ensure compliance with work, safety, and health regulations. Coordinate procurement and liaison with vendors/suppliers. Report drafting and
-
Programming and Reasoning (HOMBRe)," which explores foundational aspects of program semantics and verification. A central focus of the project is the treatment of computational effects via monads and their