Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- ;
- University of Oxford
- ; The University of Edinburgh
- Arden University
- Cranfield University
- University of Birmingham
- University of Sheffield
- Durham University
- Cardiff University
- KINGS COLLEGE LONDON
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- The University of Edinburgh
- University of Cambridge
- University of Glasgow
- University of Manchester
- VIETNAMESE-GERMAN UNIVERSITY
- ; Loughborough University
- ; Swansea University
- ; University of Bristol
- ; University of Cambridge
- Heriot Watt University
- Imperial College London
- Lancaster University
- Lancaster University;
- QUEENS UNIVERSITY BELFAST
- UNIVERSITY OF SURREY
- University of Greenwich
- University of Liverpool
- University of Northampton
- University of Surrey
- University of Warwick
- 21 more »
- « less
-
Field
-
Job Description Position Details School of Computer Science Location: University of Birmingham, Edgbaston, Birmingham UK Full time starting salary is normally in the range £36,636 to £46,049 with
-
of Edinburgh and will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Ivan Rungger, National
-
will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Theodoros Kapourniotis, National
-
of Edinburgh and will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Ivan Rungger, National
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
-
multilayer printed circuit boards (PCBs). It draws from disciplines including electrical and electronic engineering, embedded systems, computer vision, and cybersecurity. The ability to verify hardware without
-
such as quantisation and sampling are often ignored during the verification of AI models. Yet, they are pervasive phenomena in any engineering application where digital compute platforms interact with
-
verification, of autonomous robots and human-robot teams, particularly concerning safety, ethics, privacy, self-awareness, or security issues. CRADLE aims to develop a body of cross-cutting techniques applicable
-
will be jointly supervised by: Dr Dominik Leichtle, School of Informatics, University of Edinburgh Dr Elham Kashefi, School of Informatics, University of Edinburgh Dr Theodoros Kapourniotis, National
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge