** Apologies if you receive multiple copies of these open positions ** Applications are invited for a fully funded postdoc/research associate post in Computer Science at the University of Sheffield. Job Reference Number: UOS035797 Job Title: Research Associate in Quantitative Verification Contract Type: Fixed term until 30.11.2024 Faculty: Faculty of Engineering Department: Department of Computer Science Salary: Grade 7 £35,333 per annum Closing Date: 4th February 2023 The post is supported by the EPSRC funded project “Quantitative verification of software families based on coalgebraic modal logic and games” (EP/X019373/1) headed by the PI Dr. Harsh Beohar. For any queries, please do not hesitate to contact me at h.beohar@sheffield.ac.uk; for a more detailed advertisement, please visit the department website (https://www.sheffield.ac.uk/dcs/about/jobs) and search using the reference number: UOS035797. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]