Sort by
Refine Your Search
-
the areas including: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL); formal modelling, verification and/or logic; interactive and automated tools, such as theorem provers 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
-
project partners in the UniMaaS project. The Research Fellow will perform high level research in one or more areas within: control theory, reachability analysis, operations research, formal verification
-
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
-
of Computer Science at the University of Birmingham is inviting applications for a Research Fellow on Formal Methods for Safe AI with focus on modelling and verification for AI-Enabled Biopharmaceutical Manufacturing
-
: control theory, reachability analysis, operations research, formal verification, optimisation, data-driven methods in control. The goal of our research is (i) to explore new dynamic modelling structures
-
candidate will carry out multidisciplinary research focused on AI systems for edge computing applications in speech processing. This includes: Developing advanced voice verification, recognition, and anti
-
. Recent relevant research experience to include: Demonstrable experience in the use of generative design and topology optimisation methods for the design, optimisation or verification of complex structures