644 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 London
- Durham University
- UNIVERSITY OF VIENNA
- University of Liverpool
- University of Cambridge
- DURHAM UNIVERSITY
- AALTO UNIVERSITY
- King's College London
- University of Glasgow
- Heriot Watt University
- Manchester Metropolitan University
- Aston University
- Nature Careers
- Imperial College London
- University of Birmingham
- University of Nottingham
- ; University of Oxford
- Cardiff University
- St George's University of London
- University of Lincoln
- ; The University of Edinburgh
- ; University of Cambridge
- ; University of Dundee
- Loughborough University
- Swansea University
- University of Leicester
- University of Sheffield
- ; CRUK Scotland Institute
- ; Royal Holloway, University of London
- ; Swansea University
- ; Technical University of Denmark
- ; The University of Manchester
- ; UCL
- ; University of Copenhagen
- ; University of Liverpool
- 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
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- UNIVERSITY OF SOUTHAMPTON
- University of Bath
- University of Bristol
- University of Leeds
- University of Newcastle
- University of West London
- 43 more »
- « less
-
Field
- Computer Science
- Biology
- Medical Sciences
- Mathematics
- Economics
- Chemistry
- Science
- Materials Science
- Engineering
- Humanities
- Psychology
- Social Sciences
- Linguistics
- Earth Sciences
- Physics
- Sports and Recreation
- Business
- Electrical Engineering
- Environment
- Law
- Arts and Literature
- Philosophy
- 12 more »
- « less
-
the problem of induction”. How biological and artificial agents can use limited evidence to effectively learn and generalise is a long standing issue for psychology, AI/computational sciences, neuroscience and
-
of Engineering Science (Headington). The post is funded by UKRI and is fixed-term for up to 24 months. The researcher will work with Professor Christopher Proctor to develop prototype bioelectronic technologies
-
The MRC Brain Network Dynamic Unit (BNDU, University of Oxford) is seeking a Postdoctoral Research Assistant to undertake a program of research under the supervision of Dr Ashwini Oswal (Oswal Group
-
, one of the world's most vibrant centres of biomedical research, which includes the University of Cambridge's Clinical School, two major hospitals, the MRC Laboratory of Molecular Biology, and the
-
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
-
We are seeking a talented and motivated researcher to join the Mead Group to contribute to a major research programme focused on characterisation of in vivo models of myeloid neoplasms and
-
We are seeking a talented and motivated researcher to join the Mead Group to contribute to a major research programme, focused on understanding and preventing disease progression in
-
to join the Mead Group to contribute to a major research programme focused on characterisation of in vivo models of myeloid neoplasms and correlating findings with analysis of patient material. You will
-
schizophrenia-related symptoms in animal models (mice), in the context of a collaborative project with clinicians and computational scientists. This project will be supervised by Prof Oscar Marin and Prof Beatriz
-
at the intersection of education, mental health, and developmental science. The successful candidate will contribute to a major research programme investigating how educational experiences shape mental health from