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:

and here:

Best wishes,
Andrei Popescu

hol-info mailing list

Reply via email to