668 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Oxford
- ;
- KINGS COLLEGE LONDON
- UNIVERSITY OF VIENNA
- University of London
- University of Cambridge
- Durham University
- University of Liverpool
- DURHAM UNIVERSITY
- King's College London
- AALTO UNIVERSITY
- Heriot Watt University
- Manchester Metropolitan University
- Nature Careers
- Aston University
- University of Nottingham
- ; King's College London
- ; University of Oxford
- Imperial College London
- University of Birmingham
- University of Glasgow
- ; University of Cambridge
- Oxford Brookes University
- Swansea University
- ; Queen Mary University of London
- Cardiff University
- St George's University of London
- University of Bath
- University of Lincoln
- University of Sheffield
- ; CRUK Scotland Institute
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; The University of Manchester
- ; University of Copenhagen
- ; University of Dundee
- ; University of Exeter
- ; University of Reading
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Lancaster University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Royal College of Art
- Sheffield Hallam University
- University of Bristol
- University of Hull
- University of Leicester
- University of Manchester
- University of Reading
- University of West London
- 42 more »
- « less
-
Field
-
-generation AI hardware (ASIC) accelerators. The UK's Advanced Research Invention Agency (ARIA) is supporting an ambitious programme of work that aims to reduce the the cost of AI by more than 1000x: https
-
34 Faculty of Law Startdate: 15.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 14.09.2031 Reference no.: 4336 Explore and teach
-
of Biomedical Computing as part of the School of Biomedical Engineering & Imaging Sciences, King’s College London, a vibrant community of engineers designing and translating technology into the clinical
-
34 Faculty of Law Startdate: 01.10.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: 30.09.2031 Reference no.: 4413 Explore and teach
-
, autobiographical thinking and its impact on young people’s mental health (focusing on ages 13-24), with a focus on anxiety, trauma, and neurodiversity. A satisfactory enhanced Disclosure and Barring Service check
-
inference attacks, to mitigate privacy leaks in MMFM. You will hold a PhD/DPhil (or be near completion) in a relevant discipline such as computer science, data science, statistics or mathematics; expertise in
-
Postdoctoral Research Associate ( Job Number: 25001040) Department of Chemistry Grade 7: - £38,249 - £45,413 per annum Fixed Term - Full Time Contract Duration: Seven (7) months Contracted Hours per
-
. The Department delivers undergraduate and postgraduate programmes in Sociology, Criminology and Social Work and supports the delivery of a faculty research methods programme as part of the collaborative NINEDTP
-
to the clinic The post holder will be based in the Department of Biomedical Computing as part of the School of Biomedical Engineering & Imaging Sciences, King’s College London, a vibrant community of engineers
-
About the Role You will develop and apply novel computational methods to quantify the societal impact of fundamental science discoveries. Candidates close to completion of their PhD will initially