Dear HOL4 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.pope...@sheffield.ac.uk). Please disseminate to potentially interested people. Best wishes, Andrei _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info