coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] fully funded PhD position at University of Sheffield on the formal verification of industrial robots

From: Andrei Popescu <andrei.h.popescu AT gmail.com>
To: coq-club AT inria.fr
Cc: a.popescu AT sheffield.ac.uk
Subject: [Coq-Club] fully funded PhD position at University of Sheffield on the formal verification of industrial robots
Date: Mon, 30 Nov 2020 10:00:00 +0000
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-f173.google.com
Ironport-phdr: 9a23:05N1yx2LPRxHDZSesmDT+DRfVm0co7zxezQtwd8ZseMUI/ad9pjvdHbS+e9qxAeQG9mCtLQd1bKd6viocFdDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZrKeTpAI7SiNm82/yv95HJbAhEmTiwbalvIBi3sQndudQajZd/Iast1xXFpWdFdf5Lzm1yP1KTmBj85sa0/JF99ilbpuws+c1dX6jkZqo0VbNXAigoPGAz/83rqALMTRCT6XsGU2UZiQRHDg7Y5xznRJjxsy/6tu1g2CmGOMD9UL45VSi+46ptVRTljjoMOTwk/2HNksF/g6JVrhyiqRJi3YDbfJqYNOZicq7HYd8WWXZNU8RXWidcAo28dYwPD+8ZMOtEqYnyukEOogW/BQKxHu3vzSdIiWHt3aImzuQqDAbL0xYmH90TqnTbstT1OL0SUeyv1KnIyi3DYO1N2Tjh9YjFaR8hofSWUrJxdcrd01UgFwTAjliJr4HuIjya2PgXvWeB8+pgSfygi3Qhqwxpojaj2Nsgh4vIi48Wyl3J6zl1zZg6KNC5S0N2Zd6qHIdQuiyaM4Z4QscvTmJqtSon1LELpJG2cSoExpk72hLSb/qKeJWG7BLkUeaeOzZ4hHR9db2lgRa97FKgxfP9Vsms11ZKtjRKksLQuXAQzRDT98uHRuNn8UekwzaAyxrf5f1DIUwuiKrbKIYtwrAxlpoVrEvMBDf2mEXrg6OMakok/e2o5uL6abvlvp+RL5F4hh36P6g0mcGyAf40PhUPUmSH4+iwyb/u8EP/Tb5XlPM5iLPZv4rfJckDpq62HQtV0oE75ha6FTim0dAYkWAeLFJZZR6LlobpN0zMLf32F/u/jFOskDBkx/DCILLtGInCLn/GkLv5fLZ97VBTyBYrwNxB+55ZDqsNLfHzV0PrqdDVDwM1Pxapz+vlBthxzoYeVniOAq+dPqPSq1iI5uc3LuaWYo8apSz9JOYk5/L0jX81g0cdfa6x3ZQJc3C3AulmLl6WYXrpmNgBEGMKshAiQ+ztjV2OSSRTaGqqX6Ig+jE7D5qrApvERoC0mbCOwCO7HoBNaW1dEVCNEXLod52eVPsWaSKSJNVhkj0eWrS7RY8hz0LmiAivwL1+a+HQ5ycwtJT51dEz6feAuws18GldCciH3mDFd2Zsk3gDWndi1aZzu0F8jFfFya9gjudTCPRc4vpIVkExMpuKnL8yMMz7Rg+UJoTBc12hWNjzWWhsHOJ0+McHZgNGI/vnjh3H2HD0UboclrjOHYBtt6yFgCO3KMF6xHLLkqImigt+G5cdBSidnqd6sjPrKcvRiUzAzvSlcK0d2GjG82LRlTPf7nEdaxZ5VOD+ZV5aY0LXqdrj4UabFu2hDL0mNk1KzsvQc6Y=

Dear Coq users,

We have a PhD position at University of Sheffield that can lead to
high-impact work using a proof assistant. The PhD project is titled
"Formal Specification and Verification of the Safe Interaction between
Humans and Industrial Robots" and will be supervised by myself (more
about me at https://www.andreipopescu.uk/) and some experts in
industrial robots from Sheffield's Advanced Manufacturing Research
Centre (AMRC, https://www.amrc.co.uk/).

The position is for 42 months, is fully funded from EPSRC, and has no
teaching obligations attached. The two constraints are that it is
restricted to UK and EU students only, and has to start by 8 February
2021. Taking into account the Covid-19 pandemic, there may be the
opportunity to start the PhD remotely and arrive in Sheffield at a
later time, when it is safe to travel.

More details are shown at

https://www.findaphd.com/phds/project/formal-specification-and-verification-of-the-safe-interaction-between-humans-and-industrial-robots/?p127388

I am also happy to answer any questions by email (a.popescu AT sheffield.ac.uk).

Please disseminate to potentially interested people.

Best wishes,
Andrei

[Coq-Club] fully funded PhD position at University of Sheffield on the formal verification of industrial robots, Andrei Popescu, 11/30/2020