Skip to Content.
Sympa Menu

coq-club - [Coq-Club] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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


Chronological Thread 
  • From: Andrei Popescu <andrei.h.popescu AT gmail.com>
  • To: caml-list AT inria.fr, categories AT mta.ca, coq-club AT inria.fr, dl AT dl.kr.org
  • Subject: [Coq-Club] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield
  • Date: Thu, 20 Apr 2023 12:08:03 +0100
  • Authentication-results: mail2-smtp-roc.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-qt1-f182.google.com
  • Ironport-data: A9a23:12u5n60UWxeEEEiJcfbD5St1kn2cJEfYwER7XKvMYLTBsI5bpzxSx 2sfUGHUa/vbazemfI92PYTk/ENV6JfWnNUwHVdt3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0ilaYDkpOs/jY8E815Kyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJWyDHmPo+I0IOBqcz2f8oD1NW2 vc9BRlYO3hvh8ruqF66Yuxlh8BmNdWyeY1G6ismwjbeAvIrB5vERs0m5/cChGZ21p0IRKiGI ZNJM1KDbzyYC/FLEl4RBIgznaGowGH4azBDo0+9qq8+4myVxwt0uFToGIONIY3UGp4Nxi50o Er31T/8BUknbeCf8j/Cw2+ogOnvpwPCDdd6+LqQr6Y22jV/3Fc7AxQTUR6/oOKlolWvXspWb U0S4Csn66YonGSgScC4VBmlqlafrxsEUpxRFfc74UeD0MLpDx2xA2EFSntYdIVjupZmH3ol0 ViGm96vDjtq2FGIdZ6D3uy/9jziFistFkUpRjZbQzkdzNLGjahm23ojUe1fOKKyi9T0HxT5z DaLsDUyit0vYSgjh/TTEbfv02LEm3TZcuImzl6IAT/9v2uVcKbgNtP4swGKhRpVBN/BFgHpg ZQSpySJAAkz4XylkSWMRKAUAOjs6a/VanvThllgG5Rn/DOok5JCQWyyyGEuTKuKGpxeEdMMX KM1kV0KjHO0FCXwBZKbm6rrV6wXIVHITLwJrMz8YNtUeYRWfwSa5ixobkP49zmzwBF9y/BnY 8rLIJrE4ZMm5UJPnGveqwA1ge9D+8zC7T67qW3TlUX8j+LOPhZ5t59ZbAfRBgzG0E90iFyNr 4w32zqixBJYX+nzChQ7AqZCRW3m2UMTXMisw+QOLrDrClM/RAkJVqGMqZt8Jd0Nt/oPyo/go CrmMmcGkwqXuJEyAV/VApyVQOi/A8gXQLNSFXBEAGtELFB5O9z1sPxCJsVoFVTlncQ6pcNJo zA+U53oKpxypv7volzxtLGs99AwRwfhng+UISuubR42epMqFUSD+cbpckGrvGMCBza+/5l26 bCx9BLpcbxaTSRbDeHSdK2OyXG1tiMjg+5cZRbDDeRSX0TOy7JUDRLNoMU5GfxRFiWb9ACmj 16XJTw6udjyp5QE9YiVpKKc8KasPehMPmtbOGj567yJGzHQ1Tehy9UYUcKjXzPUZEXr8oqMO MRXyPDdNqUcvVBo6oBTLZdi/Zgc1fDO+YBI711DN2rZSniWEZVcG2mi8egTk7xS15lblBCTW EnSyuJFOL6MBtzpIGQRKCUhcO6H8/MewRvW0tgYP2T44z1R7pOccEAPISSJtjNRHIF1PKwh3 +0lnswcsC67qxgyN+e5njJmzHuNIlMAQpcYmMkjWqGzsTUSy3ZGfZD4IQ316svWa9xzb28bE gXNj6/G37lh1k7OdkQoLkf03M1fu8UqmAtLx1o8NVi2ioL7pvso7iZwrxUzbCpolyti7cwiG 1JFFUNPIYe2wwxJn+lGBmClJBFADkaW+2v30Fo4q1faREiJCE3IIHEMBuKW2EU/7WhnXyN6+ YuAwz3PSgfaf8DW3wozV3V6qvflc8dDyw3alO2jHOWHB5MfYwe5poOLekwztELBLe4qoU/It 81G3bxVUrLqEzwUr4kQKZio5Z5JRD+qfGV9EOxcpoUXFmTiSRSO8DmpKWXqX+hSJvbPoHSKO +Y3Ku1hDx2BhTuz9BYFDqsxIphxrv4jxPwGXpjJfWcmkb+ungBFgaLq1BrVpTEUGo11sMMHN InuWSqIETWQiVtqimb9lpR4FVTiU+YURj/X/b6TwL0SGoMhodNcVxg48oGJskW/NCpl+BOpv z3/WZLG8tw6yapQstvtNo5hGzSLLcjCUbXU0QKr7PVLQ9D9EebPkAI3tmjYOx9yDZVJfu8uk JGxv8/T2U/btuw6SFLixpuLTfFIwe6QX+NnFN39A1cHvCmFWe7quwAi/ULhI7N3sdpt3OuVb CrmV9mVavgURMZ7+H1ZTwN8AiQtIf37QYm4rBzsssnWLAYW1DL2Ce+O9FjrXDl9TTAJMZivM T3Eka+iyf4ApbsdGSJeIe9tBqJ5B1rRWaEGUdnVnhvAB0mKhmKygJfTpSAC2xrqVEbdSN3b5 KjbTCfQbB6x4aHE7O9IurxI4yE4MixPvvkSTGk8pfhG0jy0NTtTZ6BVe5ALEYpdnSHOxYn1L mOFJncrDSLmGy9Ia1Pg6dDkRR2SHfEKJsy/HDEy4keIcG2jMets2le6GvtIuB+auwcPzd1L7 fkb83z0ewGtm9RnHLZJoPO8huhjy7XRwXdgFYURVSDtK052PFnI/CUJ8MlxuejvHMTElUGNL m8wLYyBaF/uUlb/SK6MZFYMcCz0f1rTI/EAYiKGwdKZsIKepAGFJDsTJMmruoA+gA82yHLii J85q6ZhI4xb55DLhZYUhg==
  • Ironport-hdrordr: A9a23:OsPOvKBTygGkxsXlHemv55DYdb4zR+YMi2TDsHoBLyC9E/bo8P xG+c5w6faaskdzZJhNo7C90cq7IE80l6QFg7X5VI3KNGLbUQCTXeRfBOXZslnd8u7FmtK1F5 0MT0GzMrLN5JFB4/rH3A==
  • Ironport-phdr: A9a23:VeBU0BOVn8llZw3jKhQl6nb4BBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6gr1weTFt6Ho9t/yMPo8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PTbglSijexfa1+I Bq4oAjeq8IbnZZsJqEtxxTGpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohV bBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu4 7ttRRT1jygJKjk58HvLisNuka1VvAyuqAB+w47Mfo2eKf5yc6zBcd8fQ2dKQ8RfWDFbAo6kY IQBD+QPM+VFoYfju1QAogCzBRW1BO711jNEmmP60K883u88EQ/GxgsgH9cWvXnIqtX6Kb0SX v60zKLV1zvDaOtW1inm6IfUbxAqvPaBUqh2ccXM00kgCQLFgk+QqYD/JzOV0fwNvHaA7+V8S OKikGEnqwRrrTiuwscgkJXGhoUQyl3d8yhy3Yk6K8GiRkFhfd6kDIVftzucN4ZuXM8sTWBlt DokxrAIp5O2figExZopyhLCd/GKb4eG7x3+WOuTPTp2hGxpdr2iihiy7UWty/DxWMep3FtLr CdLnN/BvW0D2RzU78iIUPp9/kG51DaN0ADc8fpELVoumqXHMZIh370wmoIIsUTDACD2ll/6g 7WKeUk+5+io6Pzrba/gppCBLY97lAD+MrwpmsynH+s4KRQBX3WB9eSh173u+1DyTrZSjvAuj KXVrJTXKd4Yq6O5GQNZz4cu5wqlAzu709kUg38KJ09fdh2dlYjmIVTOLej4Dfihh1Ssly9mx /XcMb3gBpXBN2HDkKv8cbpk5U5Q1Qk+wc5F65JbDbEBJ/3zWkvvu9DCEhA5NAm0z/7mCNV7y IweRXqCDrGFPK7Wq1OF5eIiL/ORaIIUpDrxMeUp6v3wgXMhnF8SZ6ip3Z8ZaHCiGfRmJl2Ub mDqgtgcC2cFoAs+QPbqiFGYST5TYG6yULwn5j4nFYKrFojDRoW3j7yA2Ce3BIFZZmdDClyUF 3fnbJ2LW+0QZyKKPs9hjjsEWKC/R4M5zxGhqBf6y6Z7LurT4iAXqYjs1N1x5+HKkREy9Cd0D 9iG3mGWT2B0m3sISCUs0KB+p0x90FaD3rJij/xWD9xf/+lJXRsiNZ7A0+x6DMj/VR7GfteQU VqpXtGmASwqQd8q2N8PY0N9G824gRzZ3iqqBaUVl72RC5Au/KLcxSu5G8EowH/D0OwljkI6a spJL2yvwKBls0DYDpLEnEKDlquxXaEA1WjG/SPLxm2X+UpcTQRYUKPfXHlZaFGS5dj9zk/GC by0T7M9PVhv08mHf4JMZsfkjB1+Q+/uI9/DKza4nWuqCBfOxvWUa5LnYG4A9CrYAUkA1QsU+ CDVZkAFGi69rjeGX3RVHlX1bhawqYGWyVu+R04wlUSRalF5kqCy8VgTjOCdTPUa2vQFvj0go nN6BgX1xMrYXvyHoQcpZ6BAeZUl+l4S3GTVrQF8eJzmN6d6i0UVbix4ukrv01N8DYAT2dMyo iYSxRFpYbmdzEsHcjqZ2Z7qPbiCI2/+5h2uLa6QwlbG3c2d548A7f05rxPouwT6XlE6/SBB1 N9Ym2CZ+o2MDAcWVsfpVV0r8hFhu7zASiw05oeRzGE1dKft4mWE1NUuC+8ojB2ner+zKYuiE wn/W40fDsmqcqkxnkSxKwgDN6ZU/bI1OMWvc72H3rSqNaBuhmDui2MP+4173k+Wkkg0AufVw 5YIxe2Z1QqbRn/9ilmmqMX+hYFDY3kbAGO+zSHuAIMZaLd1eM4HDmKnIsv/wdsb5dalUnhU7 lOiQVNAwMixdAGZcnTy2ARR0QIcpnnm0Sq0wjpoki04+7KF1X+roayqfx4GN2hXAWh62A20c M7k0pZDAhDuNlhzx37HrQ7gyqNWpbpyNTzWSEZMJW3tKn16F7G3vfyEatJO75UhtWNWVv69a BaUUO2YwVNS3iX9Em9Z3D1+eSutv8Czlhp2km+canY1tH3BdNp72D/Q4dXdQbha2T9MF0waw XHHQ0OxOdWk54DenpHPqO2/EWLnTppLfDLg0KuPsSK64SthBhj1zJXR0pX3VAM91yH8zdxjU y7F+Q39bofc3KO/Ket7f0NsCTcQ8uJCE5pl2ss1jZAUgz0Bg4mNuGAAmiH1OMla3qT3aDwMQ yQKypjb+lqt1EpmJ3OPj4X3MxfVisJna8O3YyUWnDo6981RA7q847lNnC8zqV295Q7cevlym D4BxOBmsiZLxbFU/lNzlmPEUupaFFI9X2SkjxmS6tGisKhbLH2id7S9zgs2nNysCq2DvhAJX X/4fpk4Gioji6c3eFnI0XD19sTlYIyKNYNV5kDSykmYybEFcsFU9LJCnydsNGPjsGdwzuc6i UYrxpSmpM2dLG4r+qulAxlePzmzZsUJ+zirg7wN+6Tel42pAJhlHS0GGZXySvf9WjsUue7qN kCOViU7snqAEqf3EgqW6UMgpHXKWcPOVTnfNDwCwNNuSQPIbkVZjBoZXXM62IY+Dg2xz9HJf 0Jw5zRX7Vn94EgpqKogJ1z0VWHRox2tYzE/Rc2ELRZY2QpF4l/cLc2U6u8gVzEd5JCqqxaBb 3CKfwkdR39cQVSKXhqwW9vmrcmF6eWTAfCyaufDcanb4/ILTO+GnNquytc0pGvKb5TXeCM+U LtjnRAfFXFhR5aHx3NVEHdRznyVKZbc/UbZmGU/r9jjoqq1Hlu3v83XTeMVa40n+gjq0/ndc bTM1WApcXAAkclUjX7QlOpAhhhL12c3JmPrSfNZ5UuvBOrRgvMFUEJdMnkucpMOt+VlgEFMI ZKJ04ulkOcn0bhlTQ8CDwWpm9n1N5VVeCfkZQ+BXADTc+3YQF+Di8DvPfHmEewW3LgS7kfg/ 27cShCrPyzfxWOwCVbyYacV3XvdZFsH6cm8ako/UzG9Coi9O1vgapkvymRnpN98zmXDMWpWW dRlW2VKqLDYrSZRg/ElXndE8mIgN+6P3SCQ8+jfLJ8S9/ptGCV90exAsjw8zPNO4SdISeYQ+ mOap8Nyo1ygjuiEyyZ2GBtIpDFRgYuXvEJkcazH/5hEUHzA8VoD92KVQxgNotJkDJXotcUyg pDXk7nvLT5Z79/O1c4VBsyRMd7edXR4YUCvFznTAw8ICzWsMCCXhkBQlu2T6mzArpU+rcuJ+ tJGQbtaWVopU/ICXx49TZpSfdEuAGtiyO7B36tqrTKkoRLcRdtXpMXCX/OWW7D0LSqByKNDb F0OyK/5KoIaMsv63VZjYx90hteveQKYUNZTrylmdgJxrl9K9S00R2s/wU/kLAPr+HgLGOW/g zY5jwJ/ZaIm8zKmsDJVbhLa4TA9lkU8g4CvmTeKbDv4N7u9R6lTAivw8lEta9b1GlYvKwK1m kNgOXHPQLcb3N4CPSh7zQTbv5VIA/tVS6ZJNQQRyf+gbPItyV1Aqy+jyCevCsPKDJJjkE0hd pv+9hqoPipsadc0IerbI68bljC4Z4qLty6sk/ktmUoQfhZXtmyVfyEMtQoDMbx0f0KV
  • Ironport-sdr: 64411d21_XoNwMiAeYaVSW9iDXW17BaRRt+ELJM3cXtNTueqxbKJbYGy 7E+E3mHRLMgHphD0GW57wkGeHLp36wIGRaW6N0Q==

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/


  • [Coq-Club] 3-year Research Associate or Research Assistant position in formal verification, using a proof assistant (preferably Isabelle), at the University of Sheffield, Andrei Popescu, 04/20/2023

Archive powered by MHonArc 2.6.19+.

Top of Page