<div dir="ltr">Applications are invited for a fully funded postdoc/research associate<br>
post in Computer Science at the University of Sheffield.<br>
<br>
Job Reference Number: UOS035797<br>
Job Title: Research Associate in Quantitative Verification<br>
Contract Type: Fixed term until 30.11.2024<br>
Faculty: Faculty of Engineering<br>
Department: Department of Computer Science<br>
Salary: Grade 7<br>
£35,333 per annum<br>
Closing Date: 4th February 2023<br>
<br>
The post is supported by the EPSRC funded project “Quantitative<br>
verification of software families based on coalgebraic modal logic and<br>
games” (EP/X019373/1) headed by the PI<br>
Dr. Harsh Beohar. For any queries, please do not hesitate to contact<br>
me at <a href="mailto:h.beohar@sheffield.ac.uk" target="_blank">h.beohar@sheffield.ac.uk</a>; for a more detailed advertisement,<br>
please visit the department website<br>
(<a href="https://urldefense.com/v3/__https://www.sheffield.ac.uk/dcs/about/jobs__;!!IBzWLUs!Qe2HVMtT7HhGJuGFfSGln3uy2mZ0aUMbeiQ_MC-ZvUhFoOOKeqrC4dBGYUcWv4vxkL94ZvTw55v_Sj_MouN5j3Q6E2NijJ0Ez84$" rel="noreferrer" target="_blank">https://www.sheffield.ac.uk/dcs/about/jobs</a>) and search using the<br>
reference number: UOS035797.<div class="gmail-yj6qo"></div><div class="gmail-adL"><br>
</div>

</div>