[finite-model-theory] 3-year Research Associate or Research Assistant position in formal

Dear colleagues,

We have an opening for a 3-year position of either research associate or research assistant at the University of Sheffield, UK. It is on a project called "Safe and secure concurrent programming for advanced hardware architectures" and involves modelling and verification using a proof assistant, preferably Isabelle. Please share this opportunity with anyone you think might be interested. The closing date for applications is

*** 23rd May 2023 ***

More details can be found here:

https://www.jobs.ac.uk/job/CYZ645/research-assistant-or-research-associate-i...

and here:

https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9...

Best wishes, Andrei Popescu https://www.andreipopescu.uk/