[TYPES/announce] A fully funded postdoc position in "Quantitative Verification of Software Families based on Coalgebraic Modal Logic and Games"

Harsh Beohar harshbeohar at gmail.com
Fri Dec 30 05:20:02 EST 2022

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 at sheffield.ac.uk; 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221230/3d82d309/attachment-0001.htm>

More information about the Types-announce mailing list