278 proof-checking-postdoc-computer-science-logic positions at University of Manchester
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
wellbeing services including an Employee Assistance Programme Exceptional starting annual leave entitlement, plus bank holidays Additional paid closure over the Christmas period Local and national discounts
-
Overall Purpose of the Job We are looking for an enthusiastic researcher with a PhD in statistical genetics, genetic analysis, bioinformatics or health data science or equivalent. The successful
-
industrial age, to a team building what comes next, the University of Manchester has been redefining what’s possible for nearly 200 years. From splitting the atom to founding the modern computer, our legacy
-
materials science skills development, innovation training and outreach: Providing professional development to empower the next generation of materials researchers and leaders with technical and business
-
reinforcement learning, computational rationality and user modelling, and simulator-based inference. The post-holder will work on a project from Professor Kaski’s UKRI Turing AI World-Leading Fellowship. Research
-
: Generous annual leave allowance, including Christmas/New Year closure Pension scheme membership to provide benefits for you and your family Well-being programme with counselling, fitness and leading sports
-
. This role will support the Edge Compute and Satellite Storage Service, within the Research Platforms Team, within RIT. It is primary focusing on supporting the National X-Ray Computed Tomography (NXCT
-
to excellent benefits and schemes including: Generous annual leave allowance, including Christmas/New Year closure Pension scheme membership to provide benefits for you and your family Well-being programme with
-
to excellent benefits and schemes including: Generous annual leave allowance, including Christmas/New Year closure Pension scheme membership to provide benefits for you and your family Well-being programme with
-
this 24-month project. The project aims to design and deliver a disruptive technical innovation programme that embeds advanced Machine Learning, AI and software engineering techniques within the procurement