Skip to Content.
Sympa Menu

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

Subject: Ssreflect Users Discussion List

List archive

[ssreflect] 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 <>
  • To: , , ,
  • Subject: [ssreflect] 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:21:49 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
  • Ironport-data: A9a23:Dt8as61meIkO/1yxkfbD5TV1kn2cJEfYwER7XKvMYLTBsI5bpzxVn TNNWm6GParZZGL1eNB/aIiw/ENQup+EmtE2GVQ53Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0ilaYDkpOs/jY8E815Kyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW0nI++9RU2wOBLwz9MImJk115 KAUJy9YO3hvh8ruqF66Yuxlh8BmNdWyeY1G5SomwjbeAvIrB5vERs0m5/cChGZ21p0IRKiGI ZNGMlKDbzyYC/FLEl4RBIgznaGowGH4azBDo0+9qq8+4myVxwt0uFToGIeOKoHVH5kP9qqej mzb+kXaGCEgDZ/BkwSG/kOn3+bktyyuDer+E5XhrqIw6LGJ/UQIEwcbW1+2quWRkV+7Q9sZK koO+yNoo7JayaCwZtz0Xhn9uWLd+xBFBIEWHOo95wWAjKHT5m51G1ToUBZzTOQ8i5AbfQUb/ VGtzvTFPi0zvLKKHCf1GqivkRu+Pi0cLGknbCACTBcY79SLnG3VpkKeJjqEOP7l5uAZCQ0c0 BjR83dj3+R7YdojkvTkrQqe0lpAs7CQFlZtjjg7SF5J+e+QWWJIT4mh6Fye9OoZaYjAEQLHs 38DlMyTqusJCPlhdRBhos1dTNlFBN7falUwZGKD+bF/rFxBHFb9J+htDMlWfhsBDyr9UWaBj LXvkQ1Q/oRPG3ChcLV6ZYm8Y+xzk/i5RI60DqqJPosSCnSUSONh1HE/DaJ39zC9+HXAbYliU XtmWZz9VihCWf4PIMSeG7tBjtfHORzSNUuKHcyhp/hW+bWZY3GRRN843KimP4gEAFe/iFyNq b53bpPUoz0GCbGWSnSJreY7cA5bRVBlX8yeg5IMLYarfFE2cFzN/teLntvNjaQ+z/oL/goJl 1nhMnJlJK3X3yedc1nRNyE9N9sCn/9X9BoGAMDlBn7ws1BLXGplxP53m0IfLOJ7pt9wh+V5V ecEcMimC/FCAGaPsTcEYJW36MQoeB23jEjcd2CocRouTa5GHgbpw97Dehew1S8sCiHsi9Ayj Yf93SzmQL0CZT9YMuDoVNyVwWmM4EctwNBJYxOQI/14Wlndz4xxGimg0t41O54tLDvA9Bu71 iGXIxESmsfVqaRo8tOT3aGghKWqGttYAUB1MTT677G3FC+C5Uul49ZKf9ipdADndlHf2fudd 8QM6NrjItgroU1sj7NsN5pKkYcv+MrJpZJB6wZvQUXwcFWgD41/Lkm83cVgsrNHwplbs1CUX n2j18Z7O7KbHtHMC38UeRQYa9qc2cEumjX96eo/JGP47nRV+JuFSUBjAAmeuhdCLbdaMJIX/ sl5gZQ4szeAsxsNNsqKqgt29G7Wd3wJbPgBh6EgWYTujlIm90FGbZniERTJ2ZCoaesdFmkxI zSRurjOuKQE+GrGbEgINCbs2chzuM0wnS5knX44CXaHoN7nvsMM/QZw9G03RztFzx8c3ONUP HNqBnJPJq6P3mlJgcRfbl+oACVEIgOTwW3q6l4zjGaCZVKZZm/MC2wcOOi240ES9VxHTAVb5 L21zGXEUy7gWcPMgg8efFFDkOO6a/Bc7SjAl9KDM+XfOqIlcBz3hqOKTkgZmSvNWM8eqhXOm rh3wbxWd6b+Cx81n4Q6LIu/jpE7VxGOIT15c8FLpa8mMznVR2Cv5GKoNUu0R8JqIs7K+2+eD +hFBJpGdza65Ra0ggErP4w+CJ4qo6dx//sHQK3hGkAeubjGrjZJjoPZxhKjuEAVGedRgeQPA aKPUQLaCWGBp2pmq0mUpul+B2eIS90lZgr94eOLzNs0B68z6OFCTWxi05+fnWmkDw98zhfF4 CLBf/D3ysJh+6RNnqztMLlyOAGvDePdDMGzqQWWj99cSdbDL82UuxgnkQTlNV4OPJ86edd+p ZKSuvHZgWLHu7cXVTjCup+jTqNm2+S7bNB1AOnWckZIuDSkWdD9xScD90STC417oPkE6uaJH wKHOdaNL/gLUNJj9VhpQil5ESdFLZ/ob63l9BiPn97VBjcziQX4fc6ar1n3ZmRmdwgNCZ30K inwn92Mvtl4joB9NCUoNsFcIa1TAQHcAPM9VtjLqzOnIHGigQqCtpvchBMQ02z3JUfeIvnqw 6DuZ0bYRE2+tpidmZsd+8Z3swYMBXlwvfgocwhPs5RqgjS9FygdIf5bLZwCDYpOnzfv0I3jI gvAd3YmFT63SAEsnc8QOzg/dlz36i0y1tbFyvgB+kqVb2KvGNrFDuI+rWFv5HB5fjalx+aiQ T3bFrscITDpqqyFh85KjhB4vQuj7vzfz3MMv0v6lqQexj4AVK4S2iUJ8BVlDET6/gKkqKkPD WcwTGFABkq8TCYd1Cqml2F9QHkkgd8k89nkgepjDjoSV0V3AdCsEMHCBtw=
  • Ironport-hdrordr: A9a23:fXSiGa+5ac9lDM61V0puk+DbI+orL9Y04lQ7vn2ZLiYlFPBw9v re+8jzsCWftN9/YgBCpTntAsm9qBDnlKKdg7NhX4tKNTOO0ACVxepZnO7fKlPbaknDHy1muZ uIsZISNDQ9NzdHZA/BjjWFLw==
  • Ironport-phdr: A9a23:WXABlR8YOoTzj/9uWRi1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Y QqEva8m1wGBdL6YwswHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7yeC/94fdbglUmjaxbr1/I RSrpgjNq8cahpdvJak2xhbVuHVDZv5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3U bJXAjImM3so5MLwrhnMURGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5 LptRRT1iikIKiQ5/XnYhcJwgqxVow+vqQJjzIDbe4yVKON+c7nBcd8GWWZMXMBcXDFBDIOma IsPCvIMMPper4bgvVsBsxq+DhS2CuPo0j9HmGT20rEn0+88FgzJxgogEM8UsHvKrdX5LqcSX fqtzKnP1TXMcehW1ivg6IXTfRAhpOuDXbN0ccbL1UYvEAbFg0yWpIf4MDybyv4DvHKH7+p8S +2vkWgnphlvrjahx8oglpfFi4wLx13G9St0zog4KcCkRUNnbtCpH4ZcuiOGOoV2XM8sTHxlt iYmx7AHpJO1cjUGxZUlyhDRbfGMboaG4hXmVOmLIDd4gmpoeLC4hxmp6kis0PfzWdWu3FZXr SpJisLMtnAT2Bzd8MSIUOdy8l282TaMzwzc8OdELl0ulaXFKp4h2rkwloINvkTYAiD2hV/6j LKVdkgi5+Om6Pznb634qpOAM4J4kALzP6Q0lsCiAOk0LhICU3WZ9Omy0rDo4Ff3T69QjvIsl 6nUqJDaKtofpq6+GwJV15ws6xe7Dzu/ydQYgWQLIEtLeB6ajYXkNUvCIP//Dfe4jFSslClky +raMb3mB5XBNnnDkLH/crZh80NQ1hY/wNRF659XCrwNOu//V07tuNDCExM0MQK5z/7iCNpn1 4MeXWyPArWeMKPXqVKH/OQvLPSWZIALuTbxMfgl6+T2jX8+gV8SY7Kp0ocKaH2jEfRmJl+WY XvogtsbDWgKuQ8+QPTsiFKZSTFTfWq9X7og5jEnD4KrFZrPSpi3gLOdxCe7AoFWZmdeB1CXC nfobZuLW/kIaC2MPsBhjicJVaOhSo8kzRGhrhX2y7thLurO+y0Xr4jv1NZv576bqRZn7iduA sqZ3mqRZ2RvhCYJQSU31eZ+p1Z8wxGNy+wwn/FCEMBU4PdSehglKtjY1e08Bcq2Eh7Bc9CTR VPjWs+hHzwrVfo4wpkLYlo7Ftm/yljf3yetGa5Qk7uEBZcc+bma1H3sYctx1iXozq4k2nAgT tFCNCWegbZy7APOT9rAlUmDmqfsdeIE2zbA72ye5WWLtUBcFgV3VPOWDjgkekLKoIGhtQv5R Li0BOF/WuMg4cuLK68RL8bskU0DX/D7ftLXf2O2nW60QxeO3LKFKoTwKC0GxCuILk8CnkgI+ GqecxAkD3KopW7EAT0oFRT3ZFvh6uJjgHy+R04wiQqNah4pzKK7ryYcnufUUPYPxvQBsSYlp S9zGQO02d7MBtvGp0x5e71RetggyFhC3GPd8Qd6O8/oNLhs03gZdQk/pEbyz1N3B4FHxNAtt 28vxRFuJLiw1VpAc3aBwcm1NOSIcS/9+xegb6OQ0VbbuDqP0oEI7vlw61DqvQXyU1En720iy N5NlX2V+pTNCgMWF5P3SEc+sRZg9fncZWEm6oXY2GcJU+H8uyLe298vGOouywqxN9ZZPqSeE QbuEsocT8GwIe0uklKtY1oKJudXvKIzOsqncbOB1svJdK5pmj68gGUB4MZl1VqB7CFhYuHN1 pcBhfqf20rPVjvxikugrtGigZpNNlRwViK0zSnpApIUZ7UnJ95aTzfzZZTpnpMn2MW+PhwQv ESuDF4HxsKzLB+bblimmBZVyVxSunu/3y2x0z1zlTgt6KuZxi3Hher4J39lciZGQndviVD0L M26ldcfCQKhaQQzmRrj5QDiwLBWv69iB2bWSEZMOSPxKisxN8n4/qrHeMNJ5J4y5G9eVuimb FHcSvjlpAMXyCj+N2RbzTE/MTqtv9+q+n4ywHLYJ3F1on3DfMh2zhqK/93QS8la2T8eTTV5g z3abrSlF+Gg5s7c15LKs+TlEnmkSoUWai7zi4WJqCq842RuRxy5hfG63NP9Q0A21iry1t8iU iutzl60a4/nzam7d+IhZk5wCUT39uJ1H4h/ls07g5RY1XUBh5qT9GYKii+paYQdif+4NSRVA 2dUmJbc+22HkAV7I2iMxp7lW3nV2cZna9SgIysX1i8788FWGfKR5b1AkzFypwndz0qZavx8k zEBjPo2vSRC0qdZ5Ux0kH3bW+9JTiw6dWT2mh+F7s6ztvBSbWerKv2r0VZm2MumFPeEqx1dX 3DwftEjGzVx54NxKgGpsjW754f6dd3Xdd9WuAeTlkKKhu5ZMp8w0PpMnS1/NHn2oFUqzuc6i Vpl2pTw7+3lYy19ubm0BBJVLGi/bsUf4Dzsy6YYhsGO0pukA71uHzwKWN3jSvfiQ1dw/bz3c g2JFjM7sHKSH7HSSBSe5ElRpHXKC5m3NnuTKSpR3ZB4SRKaPkAanBEMUWBwgMsiDg7zjp+EE g8x9nUL61X/sBcJ1u94K0y1TDLEvAnxIjYsFMrEcVwPv1kEvRuKd5TZtL47HjkErMP96lbWc SrCOVwOVSZQCynmTxjiJuX8u4eGqrDCQLL4d7yUOf2PsbAMCanOn87+lNs+uW7LbJ3HP2E+X aJhnBMfGykoQYKB3GxfLk5f3yPVM5zE+FHloHAx9obnt621EAP3udnWU+sUaIowvUDw2eDZb qaRnHorcGkDkMpdmTmQjuBYhQB36WkmdiHxQ+5Y5GidEeSJwP8RV1lCNGtyLJcatftimFQdf 5eK0JWtkecpxv8tVwUfDAKnwJr4I5dQZTn6bQKiZg7DIr2CIXejL9jfR6S6RPUQiexVs0b1o jOHCwr4OSzFkTD1VhepOOUKjSeBPRUYtpvvOhBqQXPuSt7rcHjZeJd+kCE2zLsoh3jLKX9UM D5ydFlIp6GR6iUQi+t2GmhI5H5oZeeenCPR4+7dI5cQ+fxlZ0Y83/pd+2g/wqBJ4TtsQfV0n G7LsocrrQj5ya+AzT1oVBcIoTFOxcqKsUhkJaTF58xAVHLDr3dvpS2bDxUHoccgC8W64fgBj IiS0vutcHEbrImHmKlUT9LZI8+GLnc7ZB/gGTqPSRAAUSbuLmbHwUpUjPCV8HSR6Jk8sJnl3 pQUGdo5HBQ4EO0XDkN9EZkMOpByC3ktl7KBgc9O5TymqwHcX85Hlp/CX/OWR/7oLXzK6NsML wtN2r7+IYkJY8fj3Fd+b1BhgInQM0/ZXNQIuzE4KwFt/x4L/395QWk+nUnib0n+hR1bXe7xl RkwhAxkZO0r/zq5+FY7KG3Boy4omVUwk9Ho6dh+WDH0Jaa0G4pRDnit36DUGpz+SgdxKwa1m B48XN8lb7dYjr8lbHwyzQGF5sAJFvlbQqlJJhQXwKPPD8g=
  • Ironport-sdr: 64412059_MAc2JOFDby2+tJSCL/xyzU0ts0sJR2y3FseCPq+ifJERtSx gAP+ov+eQ20uu26fkfUNfsNNGufremRMh5nTrqA==

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/


  • [ssreflect] 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