This list contains only the countries for which job offers have been published in the selected language (e.g., in the French version, only job offers written in French are displayed, and in the English version, only those in English).
This is a three-year full-time position funded by the EPSRC project INDIMO: Invariant Discovery and Monitoring for Message-Passing Programs, starting around March 2026. The successful candidate will join the Systems & Software Security Lab (S3Lab) at Royal Holloway. The project aims at designing new techniques and tools to detect bugs automatically, with a particular focus on programs that include statically unknown parameters that affect their concurrent structure.
Job Responsibility:
Conduct independent research
publish in leading academic venues
collaborate with PhD students
contribute to the overall goals of the INDIMO project
design new techniques and tools to detect bugs automatically in message-passing concurrent programs
Requirements:
PhD in Computer Science (or near completion) with a strong research record in one or more of the following areas: software verification
programming languages
static analysis
runtime monitoring
software engineering
demonstrated research capability through publications in top-tier venues
excellent programming skills
Nice to have:
Experience with message-passing concurrent languages such as Go, Erlang, or Rust
What we offer:
Generous annual leave entitlement
Training and Development opportunities
Pension Scheme with generous employer contribution
Various schemes including Cycle to Work, Season Ticket Loans and help with the cost of Eyesight testing