[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
[email protected]
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.
