673 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 Cambridge
- Durham University
- University of London
- University of Liverpool
- DURHAM UNIVERSITY
- AALTO UNIVERSITY
- King's College London
- University of Glasgow
- Heriot Watt University
- Aston University
- Manchester Metropolitan University
- Imperial College London
- Nature Careers
- University of Birmingham
- University of Lincoln
- University of Nottingham
- ; Technical University of Denmark
- ; University of Cambridge
- ; University of Oxford
- Cardiff University
- St George's University of London
- Swansea University
- ; Queen Mary University of London
- ; University of Bristol
- Loughborough University
- University of Leicester
- University of Sheffield
- ; CRUK Scotland Institute
- ; King's College London
- ; Royal Holloway, University of London
- ; Swansea University
- ; The University of Edinburgh
- ; The University of Manchester
- ; UCL
- ; University of Copenhagen
- ; University of Exeter
- ; Xi'an Jiaotong - Liverpool University
- Birmingham City University
- City University London
- European Magnetism Association EMA
- Lancaster University
- Liverpool John Moores University
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Nottingham Trent University
- Royal College of Art
- UNIVERSITY OF SOUTHAMPTON
- University of Bath
- University of Bristol
- University of Hull
- University of West London
- 44 more »
- « less
-
Field
- Biology
- Computer Science
- Medical Sciences
- Chemistry
- Economics
- Mathematics
- Materials Science
- Science
- Engineering
- Humanities
- Psychology
- Social Sciences
- Linguistics
- Earth Sciences
- Business
- Environment
- Physics
- Law
- Arts and Literature
- Electrical Engineering
- Sports and Recreation
- Philosophy
- 12 more »
- « less
-
: Department for Structural and Computational Biology at the Max Perutz Labs, a research institute established by the University of Vienna and the Medical University of Vienna. Dedicated to a mechanistic
-
needed and depending on interest, teaching and other research infrastructure support. General qualifications: As expected for a computational-science postdoc or doctoral student position in your field
-
49 Faculty of Social Sciences Startdate: 01.09.2025 | Working hours: 40 | Collective bargaining agreement: §48 VwGr. B1 lit. b (postdoc) Limited until: permanent Reference no.: 4032 Explore and
-
). This consortium pulls together expertise from all over the University, including in diagnostics, data science, drug and vaccine design, preclinical testing and clinical testing and brings it to bear on tuberculosis
-
The post holder will develop computational models of learning processes in cortical networks. The research will employ mathematical modelling and computer simulation to identify synaptic plasticity
-
-resistant TB (OxCoD4TB). This consortium pulls together expertise from all over the University, including in diagnostics, data science, drug and vaccine design, preclinical testing and clinical testing and
-
, Electronic & Computer Engineering; Chemical Engineering; Mechanical Engineering and Brewing & Distilling. 90% of our students were satisfied overall with their course in over half of the University's subject areas. At
-
The Role Applications are invited for a Postdoctoral Research Associate in Mathematics with a particular emphasis on the p- adic Langlands programme and related areas. The research project , led by
-
"Mathematical Data Science" research group at the University of Vienna (led by Prof. Dr. Philipp Grohs) and the "Computational Partial Differential Equations" research group at TU Wien (led by Prof. Dr. Michael
-
an interdisciplinary research team, led by Dr Tom Hiscock, who uses computational and theoretical approaches to understand fundamental questions in developmental biology (see https