[TYPES/announce] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

[Andrei Popescu]

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://urldefense.com/v3/__https://www.jobs.ac.uk/job/CYZ645/research-assistant-or-research-associate-in-formal-modelling-and-verification__;!!IBzWLUs!SoW_EjKXYLFCbJFUlI-aISGKvFjCfqHcey6xHFTDZ0BHi0ofyvRPGruxT-E0ooc8fzyapHX6at6nQ7enXtR97ffLaF-0wM3rQNR_N_HV$ 

and here:

https://urldefense.com/v3/__https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9zdF9pbnN0X2d1aWQ9NjQzNTIyNEU0RDhBMUFDM0UxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXBlPUVYVA*3d*3d&sap-client=400&sap-language=EN&sap-accessibility=X&sap-ep-themeroot=*2fSAP*2fPUBLIC*2fBC*2fUR*2fuos*__;JSUlJSUlJSM!!IBzWLUs!SoW_EjKXYLFCbJFUlI-aISGKvFjCfqHcey6xHFTDZ0BHi0ofyvRPGruxT-E0ooc8fzyapHX6at6nQ7enXtR97ffLaF-0wM3rQDM1pzA-$ 

Best wishes,
Andrei Popescu
https://urldefense.com/v3/__https://www.andreipopescu.uk/__;!!IBzWLUs!SoW_EjKXYLFCbJFUlI-aISGKvFjCfqHcey6xHFTDZ0BHi0ofyvRPGruxT-E0ooc8fzyapHX6at6nQ7enXtR97ffLaF-0wM3rQCTM2Q41$