IMDEA Software

IMDEA initiative

Home > Open Positions

Designing methods and logics for verifying linearizability of concurrent algorithms

Applications are invited for a PhD position at the IMDEA Software Institute, Madrid, Spain.

Selected candidate will work under the supervision of Aleks Nanevski in the area of concurrent software verification, with the task of deriving methods, logics, and theories for proving linearizability of concurrent algorithms. The research will be funded by the PRODIGY project.

PhD candidate should have an excellent MSc or BSc degree in computer science or a related subject, with an interest in software verification, a strong commitment to research, and familiarity with proof assistant Coq.

The position requires good teamwork and communication skills, including excellent spoken and written English. Salaries at IMDEA Software Institute are internationally competitive.

For any questions about these positions, please contact Aleks directly (aleks dot nanevski at imdea dot org).

Deadline for applications is March 21st, 2023. Review of applications will begin immediately.

Applications should be submitted online at: citing the reference code 2023-03-phd-linearizability.