Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Nottingham
- University of Sheffield
- University of Glasgow
- Imperial College London
- University of Manchester
- Birkbeck University of London
- Birkbeck, University of London;
- Bournemouth University;
- Durham University
- Imperial College London;
- University of Bristol
- University of Warwick
- 2 more »
- « less
-
Field
-
PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
completing a PhD will also be considered. Essential Application Strong research expertise in at least one of the following areas: interactive theorem proving / formal verification; information-flow security
-
to their work. About You We encourage applications from individuals with a wide range of backgrounds and experiences. You should demonstrate: Essential Criteria: PhD (or near completion) in engineering, maths
-
. Two PhD studentships are available to address one or more of the following scientific challenges: 1. Mechanical Integration Structural and functional integration requires the development of novel
-
within the School of Natural Sciences. You will provide inductions, training, supervision and assistance in techniques, use of equipment and relevant software to researchers and students. You will be
-
will provide inductions, training, supervision and assistance in techniques, use of equipment and relevant software to researchers and students. You will be experienced at working both independently and
-
control platforms, advanced microcontrollers, distributed control algorithms, and artificial intelligence techniques, including neural networks and evolutionary optimisation methods, to enable the efficient
-
and experience in software development or formal methods – ideally in functional programming, formal specifications,or theorem proving. Essential Application/interview Familiarity with a proof assistant
-
The purpose of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software
-
of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software components, including model