Sort by
Refine Your Search
-
Category
-
Employer
- Ellison Institute of Technology
- King's College London
- Kingston University
- University of Manchester
- University of Sheffield
- UCL;
- UNIVERSITY OF SOUTHAMPTON
- University of Birmingham
- University of Liverpool
- University of Oxford;
- ;
- Anglia Ruskin University
- Anglia Ruskin University;
- Durham University
- MACQUARIE UNIVERSITY - SYDNEY AUSTRALIA
- Northumbria University;
- Plymouth University
- SOAS University of London
- The University of Manchester;
- UCL
- University College London
- University College London (UCL)
- University of Bristol
- University of Cambridge
- University of Cambridge;
- University of Exeter;
- University of Glasgow
- University of Leeds
- University of Leicester
- University of Leicester;
- University of Liverpool;
- University of Oxford
- University of Salford;
- University of Sheffield;
- University of Sussex;
- University of York;
- York St John University
- 27 more »
- « less
-
Field
-
Invention Agency (ARIA), working at the intersection of Isabelle/HOL, the seL4 verified microkernel, information-flow security, and AI-assisted theorem proving. The project aims to develop a formally-verified
-
the opportunity to undertake a PhD? Do you want to receive research training whilst conducting a clinical research project in one of the UK’s leading research-intensive Universities? The University of Leeds is one
-
Hours of work: Full-time Tenure: Fixed term for 2 years The University of Liverpool is seeking to appoint two highly motivated Postdoctoral Research Fellows
-
Hours of work: Full-time Tenure: Fixed term for 2 years The University of Liverpool is seeking to appoint two highly motivated Postdoctoral Research Fellows to undertake complementary, ambitious two
-
-based 3-year PhD which funds a full-time salary (see details below), PhD fees and research costs. The successful candidate is expected to undertake a PhD during the term of the post, and to work
-
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
-
contribute to intellectual property arising from the research. The is a fixed term role for 12 months, with the possibility to extend subject to securing further funding. About you The ideal candidate will
-
, ledgers, staff registers & minutes. Ability & willingness to conduct oral history interviews, including securing ethical approval, informed consent & data protection. A record of independent archival
-
This full-time post is available immediately. This post is offered as a fixed term contract and is funded by the Medical Research Council until 28 February 2029. In line with the University’s fair