171 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Oxford
Sort by
Refine Your Search
-
with researchers from other disciplines within the Oxford Martin Circular Battery Economies Programme, who are working on second-life battery modelling, re-certification, and redeployment, as
-
data from a variety of sources, including Spatial Transcriptomics and multiplex Spatial Proteomics platforms and developing skills in computational biology and mathematical spatial analysis via
-
sciences or a related field would be beneficial, especially computational social science, behavioural science, communications, statistics, economics, computer science, finance, or management. Experience
-
& Composites Laboratory: https://eng.ox.ac.uk/mmclab/) in the Department of Engineering Science at Oxford University. The posts are funded by the ERC Advanced Grant “TEGMOF” (UKRI Horizon Europe Guarantee) and
-
Based at Oxford Population Health (Nuffield Department of Population Health), the Demographic Science Unit (DSU) is at the forefront of demographic research that aids society, government and
-
for multi-omics data analysis and will require establishing collaborations with Danish research partners. You will have a PhD in a quantitative subject (e.g. mathematics, physics, computer science
-
in Python, or demonstrated ability to rapidly acquire fluent knowledge of new programming languages, libraries, and platforms. A background and/or interest in mathematics or computer science would be
-
Sukin’s research group, with responsibility for carrying out a programme of research examining the effects of political polarisation on nuclear strategy and policy. The successful applicant will work
-
type (iv) work with the computational biology team to transfer this information into a AI algorithm that can distinguish neurodegenerative and neuroprotective phenotypes (v) work with colleagues in
-
The post will be based within the Oxford Centre for Functional MRI of the Brain (FMRIB), reporting to Professor Saad Jbabdi. Our group develops, validates and applies novel MRI techniques for basic and clinical neuroscience. This project involves development of machine learning methods for...