Postdoctoral Researcher: Software Verification & Concurrency

A prestigious university in Greater London is seeking a Post Doctoral Research Associate to work on the EPSRC project INDIMO. This full-time role involves exploring software verification techniques and offers a competitive benefits package including generous leave and training opportunities. The successful candidate will have a PhD in Computer Science, a strong research record, and excellent programming skills. Flexibility in working arrangements will be available, contributing to meaningful research with high real-world impact. #J-18808-Ljbffr