Sort by
Refine Your Search
-
Category
-
Program
-
Employer
- ;
- University of Sheffield
- UNIVERSITY OF SOUTHAMPTON
- ; The University of Manchester
- Cranfield University
- University of Bristol
- ; Cranfield University
- ; University of Warwick
- ; University of York
- Aston University
- Birmingham City University
- DURHAM UNIVERSITY
- KINGS COLLEGE LONDON
- King's College London
- University of Cambridge
- University of Glasgow
- University of Leicester
- University of Oxford
- University of Surrey
- University of the West of England
- 10 more »
- « less
-
Field
-
model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in
-
, including how to guarantee the properties of stability and constraint satisfaction while probing the system and learning a new model. This project aims to develop novel algorithms for the adaptive distributed
-
Predictive and optimization-based control of smart grids: theory and algorithms School of Electrical and Electronic Engineering PhD Research Project Self Funded Dr P Trodden Application Deadline
-
representation, knowledge engineering, linked data. About the role The successful candidate will join the Distributed AI (DAI) group in the Department of Informatics, King’s College London. They will carry out
-
enable the development and operation of new algorithms and software to solve leading-edge research problems. You will find this work exciting if you: Want to help build and maintain some of the largest
-
representation, knowledge engineering, linked data. About the role The successful candidate will join the Distributed AI (DAI) group in the Department of Informatics, King’s College London. They will carry out
-
Limited is a family firm with a strong position in a niche market. They intend to grow their business rapidly by improving their systems capability to meet customers’ transport and distribution needs
-
as to what role law should play in reducing potential harms, in helping to distribute risks and benefits across different groups in society, and in how existing (or future) legal rights and duties
-
proficiency in distributed and high-performance machine learning algorithms, methods for exploiting modern system architectures for high-performance AI, and quantum distributed computing. A proven track record
-
expertise in distributed and high-performance systems, you will be able to display proficiency in distributed and high-performance machine learning algorithms, methods for exploiting modern system