Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Sheffield
- University of Oxford
- University of Nottingham
- AALTO UNIVERSITY
- King's College London
- ;
- DURHAM UNIVERSITY
- Durham University
- Heriot Watt University
- Imperial College London
- UNIVERSITY OF VIENNA
- University of Birmingham
- University of Bristol
- University of Glasgow
- University of Liverpool
- University of Manchester
- University of Sheffield;
- CRANFIELD UNIVERSITY
- Cranfield University
- Earlham Institute
- Loughborough University
- The Alan Turing Institute;
- University of Dundee;
- University of Exeter
- University of London
- University of Oxford;
- VIETNAMESE-GERMAN UNIVERSITY
- Abertay University
- Aston University
- Brunel University London;
- Cardiff University
- De Montfort University;
- Ellison Institute of Technology
- Imperial College London;
- LIVERPOOL JOHN MOORES UNIVERSITY
- Lancaster University
- MOHAMED BIN ZAYED UNIVERSITY OF ARTIFICIAL INTELLIGENCE
- Manchester Metropolitan University
- Manchester Metropolitan University;
- Nottingham Trent University;
- Oxford Brookes University
- Plymouth University
- Queen Mary University of London
- Queen Mary University of London;
- Queen's University Belfast
- The Francis Crick Institute;
- The Rosalind Franklin Institute
- The University of Edinburgh;
- The University of Manchester
- UCL EE
- UCL;
- University of Bath
- University of Cambridge;
- University of Exeter;
- University of Leeds
- University of Lincoln
- University of Liverpool;
- University of Newcastle
- University of Plymouth
- University of Strathclyde;
- University of Sunderland in London;
- University of Warwick
- University of the West of England
- Wenzhou Business College
- 55 more »
- « less
-
Field
-
ARIA project Enforcing Safety in Cyber-Physical Systems via Proof Certificates, and focus on the design, development, and application of Safe RL algorithms as well as their verification via Proof
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
. The Role Faculty of Environment, Science and Economy The successful applicant will contribute to the project NATALIE by developing AI algorithms that integrate data from various sources to better understand
-
safety and computational social choice and develops formal frameworks and algorithms for eliciting, aggregating, and analysing stakeholder preferences over risk and safety in AI systems. The Research
-
Overview We are seeking an experienced researcher to develop decentralised swarm mapping and localisation algorithms for underground pipe operations as part of an international research programme
-
Overview We are seeking an experienced researcher to lead the development of decentralised swarm mapping and localisation algorithms for underground pipe operations as part of an international
-
courses related to AI/ML, programming languages, data structures and algorithms, operating systems, network security, visualization, and human-computer interaction, as well as participate in the full range
-
an interdisciplinary team that works on cutting-edge questions ranging from mathematics and theoretical physics all the way to numerical simulation algorithms? Then apply now to join our team of researchers in
-
Systems via Proof Certificates, and focus on the design, development, and application of Safe RL algorithms as well as their verification via Proof Certificates, including monitoring and shielding of cyber
-
to evaluate and advance machine learning algorithms for one of the following application areas: “Characterising forests variations in relation to distance from pre-Columbian earthworks in the Amazon forest