* [Caml-list] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
@ 2023-04-20 11:08 Andrei Popescu
0 siblings, 0 replies; only message in thread
From: Andrei Popescu @ 2023-04-20 11:08 UTC (permalink / raw)
To: caml-list, categories, coq-club, dl
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-in-formal-modelling-and-verification
and here:
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#
Best wishes,
Andrei Popescu
https://www.andreipopescu.uk/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2023-04-20 11:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-04-20 11:08 [Caml-list] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield Andrei Popescu
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox