-
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
-
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