Email Gateway (Jan 02 2023 at 11:00): Email Gateway (Jan 02 2023 at 11:00):From: Harsh Beohar <cl-isabelle-users@lists.cam.ac.uk>
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.
Last updated: Apr 20 2024 at 08:16 UTC