From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.8 required=5.0 tests=DATE_IN_PAST_12_24, DKIM_ADSP_CUSTOM_MED,FORGED_GMAIL_RCVD,FREEMAIL_FROM,RCVD_IN_MSPIKE_H2, SPOOFED_FREEMAIL,SPOOF_GMAIL_MID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 30058 invoked from network); 21 Apr 2023 01:58:02 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 21 Apr 2023 01:58:02 -0000 Received: from rr.mta.ca ([198.164.44.159]:45776) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ppfye-0000H7-9W; Thu, 20 Apr 2023 22:54:20 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1ppfyI-0000rs-NC for categories-list@rr.mta.ca; Thu, 20 Apr 2023 22:53:58 -0300 MIME-Version: 1.0 From: Andrei Popescu Date: Thu, 20 Apr 2023 12:08:03 +0100 Subject: categories: 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield To: caml-list@inria.fr, categories@mta.ca, coq-club@inria.fr, dl@dl.kr.org Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Andrei Popescu Message-Id: 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=3D= cG9zdF9pbnN0X2d1aWQ9NjQzNTIyNEU0RDhBMUFDM0UxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXB= lPUVYVA%3d%3d&sap-client=3D400&sap-language=3DEN&sap-accessibility=3DX&sap-= ep-themeroot=3D%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos# Best wishes, Andrei Popescu https://www.andreipopescu.uk/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]