637 proof-checking-postdoc-computer-science-logic Postdoctoral positions in United Kingdom
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Oxford
- ;
- UNIVERSITY OF VIENNA
- KINGS COLLEGE LONDON
- University of London
- University of Cambridge
- Durham University
- DURHAM UNIVERSITY
- King's College London
- University of Liverpool
- AALTO UNIVERSITY
- Heriot Watt University
- Nature Careers
- Manchester Metropolitan University
- Aston University
- Imperial College London
- University of Birmingham
- University of Nottingham
- ; University of Cambridge
- Medical Research Council
- Swansea University
- University of Oxford;
- ; University of Copenhagen
- ; University of Oxford
- Cardiff University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Oxford Brookes University
- Queen Mary University of London
- Royal College of Art
- University of Bath
- University of Glasgow
- University of Manchester
- University of Sheffield
- ; Royal Holloway, University of London
- ; Technical University of Denmark
- ; University of Dundee
- ; University of Exeter
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Heriot-Watt University;
- Kingston University
- Lancaster University
- Nanyang Technological University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Sheffield Hallam University
- St George's University of London
- The Royal Veterinary College, University of London;
- University of Hull
- University of Leicester
- University of Lincoln
- University of Newcastle
- University of Reading
- University of West London
- 45 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Chemistry
- Economics
- Materials Science
- Mathematics
- Engineering
- Humanities
- Psychology
- Science
- Linguistics
- Social Sciences
- Earth Sciences
- Arts and Literature
- Law
- Environment
- Business
- Physics
- Electrical Engineering
- Sports and Recreation
- Philosophy
- 12 more »
- « less
-
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
-
of Edinburgh and Glasgow, with expertise across computer science, wearable computing, AI and criminology. Our programme of research utilises both experimental and literature-based approaches to explore
-
robots are therefore required. One of the goals of this project is to commercialise. You must have a strong computer science background and have experience in one or more of the following areas: Computer
-
Grade 6 Research Assistant Essential Criteria 1. A Master’s level degree (or equivalent experience) in Electrical Engineering, Energy Systems, Control Engineering, Computer Science, Artificial
-
View All Vacancies Comparative Biomedical Sciences Location: Hawkshead (nr Potters Bar, Herts) Salary: £40,528 to £51,470 Per Annum Including London Weighting Fixed Term / Full Time Closing Date
-
Aalto University is where science and art meet technology and business. We shape a sustainable future by making research breakthroughs in and across our disciplines, sparking the game changers
-
learning, at the intersection of reinforcement learning, deep learning and computer vision, in order to train effective robotic agents in simulation. You should hold a relevant PhD/DPhil (or near completion
-
Postdoctoral Researcher in Machine Learning of Isomerization in Porous Molecular Framework Materials
broad range of applications. Computational chemistry and Machine Learning increasingly underlies MFM research to search or screen candidate MFMs prior to synthesis. A major drawback when applying
-
are invited for a Postdoctoral Research Associate in the field of agent-based modelling of past societies, working on the Science, Society and Environmental Change in the First Millennium CE (SSE1K) project
-
The Royal Veterinary College, University of London; | Potters Bar, England | United Kingdom | 3 days ago
). This post will focus on using detailed wing geometry models and free flight kinematic measurements in computational fluid and structural dynamics simulations to recover dynamic strain and flow fields