Research Associate in Quantitative Verification

3 weeks ago


Sheffield, United Kingdom University of Sheffield Full time

Are you Interested in working for a world top 100 university? Applications are invited for a postdoctoral researcher/research associate working at the interface of category theory, computer science, and logic. This post is funded by the EPSRC Grant (EP/X019373/1) “Quantitative verification of software families based on coalgebraic modal logic and games” headed by the PI (Dr. Harsh Beohar). In particular, our aim will be to develop modal logic and game theoretic characterisations of behavioural equivalences/distances for coalgebras with side effects, i.e. coalgebras that live in Eilenberg-Moore or (co)Kleisli categories.

The post is based in Sheffield within the verification group of the Department of Computer Science
opportunity to collaborate with leading researchers working in the field of coalgebras/modal
logic/concurrency theory from Strathclyde, Duisburg, and Nijmegen.

We’re one of the best not-for-profit organisations to work for in the UK. The University’s Total Reward Package includes a competitive salary, a generous Pension Scheme and annual leave entitlement, as well as access to a range of learning and development courses to support your personal and professional development.

We build teams of people from different heritages and lifestyles from across the world, whose talent and contributions complement each other to greatest effect. We believe diversity in all its forms delivers greater impact through research, teaching and student experience.


  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    A short-term Postdoctoral Research Associate position in the area of cell and developmental biology and biophysics is available in the lab of Prof. David Strutt (School of Biosciences). The project is to study the effects of the Fat-Dachsous planar polarity pathway on Drosophila wing morphogenesis, and in particular roles in mechanobiology and modulation of...

  • Research Associate

    4 weeks ago


    Sheffield, United Kingdom University of Sheffield Full time

    This post is based in the University of Sheffield, School of Social Sciences within the UK Collaborative Centre for Housing Evidence (CaCHE) and is a fixed term contract until the 31st August 2025. CaCHE is a UK wide collaboration aiming to become the leading independent centre for the production, analysis and dissemination of research related to housing in...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    The successful applicant will be responsible for data collection and analysis and for identifying and reviewing relevant literature. They will also have opportunities to co-author research-based outputs, such as articles for peer reviewed journals. Both projects will involve the use of large-scale official datasets and the ideal applicant will therefore have...


  • Sheffield, United Kingdom University of Sheffield Full time

    Are you interested in working for a top computer science department in the UK? Would you like to contribute to work on logical foundations of probabilistic data and complexity theory utilising real numbers? Are you interested in a logical approach to quantum information theory? Do you have expertise in finite model theory, logic in computer science, or...

  • Research Associate

    4 weeks ago


    Sheffield, United Kingdom University of Sheffield Full time

    This post is based in the University of Sheffield, School of Social Sciences within the UK Collaborative Centre for Housing Evidence (CaCHE) and is a fixed term contract until the 1st March 2025. CaCHE is a UK wide collaboration aiming to become the leading independent centre for the production, analysis and dissemination of research related to housing in...


  • Sheffield, United Kingdom University of Sheffield Full time

    You will be responsible for data collection and analysis and for identifying and reviewing relevant literature. You will also have opportunities to co-author research-based outputs, such as articles for peer reviewed journals. The research activities are likely to involve collection and analysis of both qualitative and quantitative data and the ideal...

  • Research Associate

    5 days ago


    Sheffield, Sheffield, United Kingdom University of Sheffield Full time

    Contract type: Fixed-term for 21 monthsAn exciting opportunity has arisen in the Health Economics and Decision Science (HEDS) section in the School of Medicine & Population Health to join the research team at the forefront of public health economic microsimulation modelling. Two posts are available.You will work on applied and methodological research...


  • Sheffield, United Kingdom University of Sheffield Full time

    The University of Sheffield is seeking to appoint a talented and highly motivated Research Associate to create and deploy knowledge to reshape the regional transport within the South Yorkshire Sustainability Centre. Transport is the main source of greenhouse gas emissions in the UK, accounting for 27% of the total, and most journeys made via private cars are...

  • Research Associate

    2 hours ago


    Sheffield, United Kingdom University of Sheffield Full time

    Contract type: Fixed term for two years Summary: An exciting opportunity has arisen for a Postdoctoral Research Associate in the Sheffield Institute for Translational Neuroscience (SITraN). We are seeking an enthusiastic and experienced postdoctoral research associate to join an exciting translational research project funded by the US Department of Defense....

  • Research Associate

    4 weeks ago


    Sheffield, United Kingdom University of Sheffield Full time

    Why are brains the way they are? Do neural circuits function in an “optimal” way, and if so, in what sense are they optimal? How do brains encode sensory information and form associative memories? We are seeking postdoctoral research associates to study these fundamental questions in neuroscience in the olfactory system of the fruit fly Drosophila. You...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    We have an exciting opportunity for a talented individual with a passion for heart development and disease to use their skills to investigate the role of cardiac function in growth of the heart during development. The project will investigate how specific extracellular matrix composition and heart contractility together facilitate cell addition to the heart,...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    We are seeking to appoint a Research Associate to support The Productivity Institute’s Regional Productivity Forum (RPF) in Yorkshire, Humber & the North East, based at Sheffield University Management School. The Productivity Institute (TPI), which is funded by the Economic & Social Research Council, brings together world-leading and UK experts from a...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    Are you interested in working for a world top 100 University? We are seeking to appoint a post-doctoral research associate for the Programme Grant on “Quantum and Many Body Physics Enabled by Advanced Semiconductor Nanotechnology” supported by the UK’s Engineering and Physical Sciences Research Council (EPSRC). This is a five-year programme with £6.1...

  • Research Associate

    4 weeks ago


    Sheffield, United Kingdom University of Sheffield Full time

    The Department of Economics has an international reputation for practical and real-world economics. Our researchers advise government departments in the UK and internationally. The Department of Economics is seeking to appoint a Research Associate to provide research assistance to departmental research groups on a range of research projects. Over the...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    We have an exciting opportunity in the School of English to work as a Research Associate on an exploration of Kazuo Ishiguro’s style using corpus linguistic methods. The research findings will contribute to a book about the novelist and there is scope for collaboration in writing relevant sections and/or other publications if desired. This role will offer...


  • Sheffield, United Kingdom University of Sheffield Full time

    Applications are invited for a Research Assistant/Associate to work on theoretical and computational analysis of MHD waves generation by vortical drivers, the interaction of multiple vortex tubes located within intergranular lanes and how they contribute to the middle and upper solar atmosphere dynamics. Plasma flows in the Sun’s photosphere have the...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom Lumanity Full time

    Overview / About us: Lumanity is dedicated to improving patient health by accelerating and optimizing access to medical advances. We partner with life sciences companies around the world to generate evidence to demonstrate the value of their product, translate the science and data into compelling product narratives, and enable commercial decisions that...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    Are you looking to improve bereavement care for those from ethnically diverse communities? Do you have a passion for community engagement? We are seeking to appoint a talented, post-doctorate Research Associate with qualitative research experience within the Department of Oncology and Metabolism at the University of Sheffield. You will support a National...

  • Research Associate

    1 month ago


    Sheffield, United Kingdom University of Sheffield Full time

    Are you interested in working for a world top 100 University? We have an exciting opportunity in the School of Education, for a Research Associate who will take a key role in the delivery of the research project: ‘Mental Health Medications in the Lives of People with Learning Disabilities’ (NIHR204107). The role will involve working closely with...

  • Research Associate

    5 days ago


    Sheffield, Sheffield, United Kingdom University of Sheffield Full time

    Contract Type: Fixed-term for 3 yearsSummary: Are you interested in developing the first Virtual Mouse Twin for the optimisation of treatments for Osteoporosis?This highly interdisciplinary Research Associate position will advance our understanding of the effect of the combined biomechanical and pharmacological treatments on musculoskeletal biomechanics...