[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 [email protected]; for a more detailed advertisement,
please visit the department website
(https://urldefense.com/v3/__https://www.sheffield.ac.uk/dcs/about/jobs__;!!IBzWLUs!Qe2HVMtT7HhGJuGFfSGln3uy2mZ0aUMbeiQ_MC-ZvUhFoOOKeqrC4dBGYUcWv4vxkL94ZvTw55v_Sj_MouN5j3Q6E2NijJ0Ez84$
) and search using the
reference number: UOS035797.
