[TYPES/announce] Postdoc Position in Software Verification at Royal Holloway, University of London (UK)

[Lange, Julien]

Dear colleagues,

I am writing to advertise a postdoctoral research position in the Department of Computer Science at Royal Holloway, University of London.

**Position:** Postdoctoral Research Associate
**Duration:** 3 years
**Start Date:** March 2026 (flexible)
**Salary:** starting at £41,374 per annum (including London Allowance)
**Application Deadline:** 19 February 2026

**Project Overview:**

The position is funded by the EPSRC project INDIMO (Invariant Discovery and Monitoring for Message-Passing Programs) joint with the University of Kent. The project focuses on developing new techniques and tools to automatically detect bugs such as deadlocks in message-passing concurrent systems (in languages such as Go and Erlang), with particular emphasis on programs with statically unknown parameters (e.g., channel bounds, number of processes). We will adopt a hybrid approach to software verification combining the high coverage of static approaches with the high precision of dynamic approaches.


**Research Environment:**

The successful candidate will join the Systems & Software Security Lab (S3Lab) at Royal Holloway, a dynamic research group of 3 academics, 7 PhD students, and 1 postdoc. The project involves collaboration with leading industry partners (Uber and WhatsApp), the University of Kent, and the University of Aarhus.

**Requirements:**

- PhD in Computer Science (or near completion)
- Strong research record in software verification, programming languages, static analysis, runtime monitoring, or software engineering
- Demonstrated research capability through publications in top-tier venues
- Excellent programming skills
- Experience with message-passing concurrent languages (Go, Erlang, Rust) is desirable but not necessary

For an informal discussion about the position, please contact me at Julien.Lange at rhul.ac.uk

Full details and application instructions are available at: https://urldefense.com/v3/__https://jobs.royalholloway.ac.uk/Vacancy.aspx?ref=0126-018__;!!IBzWLUs!RefA-wUBMaM7We-KNhjKpUHuuowY2u2Q6l0PPHhpz3yh2JAlrNDQAA6avU9L20frIHL0795ulZEYSVDL7dk6fJBT_Sbdc1bWg-oJCpXZ$ 

Please feel free to share this opportunity with potentially interested candidates.

PS: I will be at POPL’26 this week, if you happen to be there and you’d like to talk about this opportunity, please email me.

Best regards,
Dr. Julien Lange
Department of Computer Science
Royal Holloway, University of London

This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.