coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021

From: Andrei Popescu <andrei.h.popescu AT gmail.com>
To: cl-isabelle-users AT lists.cam.ac.uk, hol-info AT lists.sourceforge.net, coq-club AT inria.fr
Subject: [Coq-Club] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021
Date: Wed, 8 Sep 2021 08:00:00 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=andrei.h.popescu AT gmail.com; spf=Pass smtp.mailfrom=andrei.h.popescu AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f179.google.com
Ironport-hdrordr: A9a23:jnaiw6yTXjtGEp75MIyQKrPwL71zdoMgy1knxilNoHtuA6qlfqGV7ZMmPHrP4gr5N0tQ+uxoVJPhfZq+z/9ICOsqTNWftWDd0QPCEGgI1/qG/9SPIVybygef78tdmmpFZeEYwWIUsS8y2meFL+o=
Ironport-phdr: A9a23:C8o49RX/8bETA3uC/ZebnbcYaXfV8KxxVTF92vMcY1JmTK2v8tzYMVDF4r011RmVB92duqsP1rWempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffRlEiCC5bL9vIxm7rQfcvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhzodNzMh/27ZisJ+gqFGrhy/uxNxzJXZYJ2MNPdkYq/RYc8WSGhHU81MVyJBGIS8b44XAucdO+ZXspP9qEUPrRCjHwesA/vvxSFThnDqwK0xzuMsHhvA3AM9BdIBrnXUoM/1NKsISeC1y7HIwivYb/xKxDfw84fIchU7rvGNWbJ8a9beyU4qFw7ciFibtIPqMS+P2OsXr2ib8/RvVfipi2M/twx8oziiy8Qjh4XVmo8YxE7I+CdlzIs6JNC2SFB3bcK5HJVfsyyXOIR4Tt0/Tmx2tyg3yaMKtYKncCUIyZkpyBjSYOGJfYiP5xLsTueRITFgiXJ+eLKwmRiy/VK6xeLgTMW0zVVKoyxYmdfPrnAAzwLf5tSDR/dn/Uqs2SyD2x7N5u1aO0w4iKjWJponz7UtjJQcq17DETXzmEjujK+ZaEEk+u+w5uTieLrmp5ucO5ZtigH9L6gig8K/Dfk6PwUKRWSb9uO81Lrs/U39XrpGlOE5kq7csJzCJMQboLC2AxNN34o99xqyCy2q3dcYkHUdMl5JZgyLg5L0N1zMJP30FfK/jE6tkDdvyfDGJLrhApDVI3fZlrfuYKx95FBdyAYpzdBT/YpUCrYZIP3tQU/+qMHYAwQ2Mwyx2ennCdF92pkCVmKIB6+VKLnSvkOQ5uIzP+mMY5cYtyr6K/g8/vLhkXs5mUIGcqSyxpsWaHW4Hux8LEmDYHrshM0BEWYQsQYkQuzqkg7KbTkGbHL3Xrk17Dw/DI/jEJzOXJuFhL2awDz9FZRTIGlNTE2PVT/ocIHBWvECbwqWI9R9iXofUqW7QIIv0guhuUn8xqYjZuHT42gTsY/p/Nlz/eza0x8ophJuCMHI+meBVWx11lsPXzIt17039UV7xk2O0O54xeRfDdFI7O5hXQIzNJqaxOt/XYOhEjndd8uEHQ71Cu6tBis8G4pZKz4mZk98H5C7jUmG0XP1UvkakLuEAJFy+aXZjSCZzylVxHPP1a1nhF4jEJIn3YiOiat29gyVDInMwR3xqg==

Greetings,

A postdoctoral research position (Grade 7) is available at the
University of Sheffield.

The goal is to perform research in one of the following areas:
1. Formal modelling and verification of security properties for
digital twins. This involves the design and development of theoretical
mathematical models and the use of proof assistants, automated theorem
provers, model checkers or related tools to formalize and verify
properties of these models.
2. Fine-grained access control system for mission-critical digital
twins. This involves the design and development of an advanced access
control policy and the usage of security models and public key
cryptography (such as CCA) to build proofs of concept in enhancing the
security of digital twins.

Closing date for applications: 23 Sept. 2021
Starting date: 7 Oct. 2021 or later
Duration: 30 months
Salary: £32,344

Applications can be made by going to this page
https://jobs.shef.ac.uk/sap/bc/webdynpro/sap/hrrcf_a_posting_apply?PARAM=cG9zdF9pbnN0X2d1aWQ9NjEyNzRBN0Y2QjU4M0VEMUUxMDAwMDAwQUMxRTg4NzgmY2FuZF90eXBlPUVYVA%3d%3d&sap-client=400&sap-language=EN&sap-accessibility=X&sap-ep-themeroot=%2fSAP%2fPUBLIC%2fBC%2fUR%2fuos#
and clicking on the "Apply" link.
The "About the job" link contains more details about the position.

I am happy to answer any informal inquiries.

Best wishes,
Andrei

[Coq-Club] 30 months postdoctoral research position at University of Sheffield involving proof-assistant-based verification -- application deadline 23 Sept. 2021, Andrei Popescu, 09/08/2021