Sort by
Refine Your Search
-
Category
-
Employer
- King's College London
- UNIVERSITY OF SOUTHAMPTON
- University of Birmingham
- Ellison Institute of Technology
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- UNIVERSITY OF MELBOURNE
- UNIVERSITY OF SURREY
- University of Nottingham
- Nottingham Trent University
- Plymouth University
- The University of Southampton
- University of Oxford
- University of Sheffield
- Durham University
- University of Southampton;
- University of Glasgow
- University of Manchester
- University of the West of England
- ;
- Imperial College London
- Queen's University Belfast;
- UCL;
- University College London
- University of Aberdeen - School of Medicine, Medical Sciences and Nutrition, Institute of Medical Sciences
- University of Birmingham;
- University of Bristol
- University of London
- University of Surrey
- AALTO UNIVERSITY
- Anglia Ruskin University
- Anglia Ruskin University;
- Francis Crick Institute
- HITS gGmbH
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Max Planck Society
- QUEENS UNIVERSITY BELFAST
- The Francis Crick Institute
- UCL EE
- University of Aberdeen;
- University of Cambridge;
- University of East Anglia
- University of Gloucestershire;
- University of Hertfordshire;
- University of Leeds
- University of Leeds;
- University of Oxford;
- University of Plymouth;
- University of Sheffield;
- University of Warwick;
- University of the Arts London
- 40 more »
- « less
-
Field
-
tailored to the needs of the aerospace industry (e.g., for use in engine control systems). The main purpose of the role is to conduct (or lead) research in machine-checked cryptography as part of
-
reference monitor on top of seL4 for the secure containment of AI agents. We will develop new mechanisms for dynamically controlling agents’ capabilities and information flows, together with machine-checked
-
-checked security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor
-
-checked security guarantees. In parallel, we will investigate how modern AI techniques can accelerate large-scale formal verification, developing AI proof agents that can maintain, extend and refactor
-
ultimately through a proof of concept implementation for the Bank of England. SONNETS is an interdisciplinary project; we are open to work with researchers with varying academic backgrounds. Those with
-
ultimately through a proof of concept implementation for the Bank of England. SONNETS is an interdisciplinary project; we are open to work with researchers with varying academic backgrounds. Those with
-
agents’ capabilities and information flows. Second, we will investigate the use of modern AI techniques to accelerate large-scale formal verification, including AI proof agents for maintaining, extending
-
checks such as providing proof of your right-to-work in the UK; proof of your identity; and (if we haven’t done so already) we will contact the referees you have nominated. Please submit your application
-
publications, commercialisation, and/or dissemination as open-source designs. The ideal candidate might be from an academic (e.g. PhD/Postdoc in a related engineering/electronics/sustainable engineering area) or
-
at King’s are entitled to at least 10 days per year (pro-rata) for professional development. This entitlement, from the Concordat to Support the Career Development of Researchers , applies to Postdocs