Research Associate in Quantitative Verification

Contract Type: Fixed-term starting as soon as possible and ending 30 November 2024

Faculty: Faculty of Engineering

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 at The University of Sheffield. In the context of this project, the candidate will also have the 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. 

To find out what makes the University of Sheffield a remarkable place to work, watch this short film: www.youtube.com/watch?v=7LblLk18zmo, and follow @sheffielduni and @ShefUniJobs on Twitter for more information. 

Apply now by clicking on the Apply button located above.

Advert information