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

[Andrei Popescu]

Dear Agda 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