IMDEA Software

IMDEA initiative

Home > Open Positions

PhD in Liquid Relational Types

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

The selected candidate will work with Gilles Barthe and Niki Vazou in the theory and applications of relational liquid types.


Candidates should have or be close to obtaining a master or undergraduate degree in Computer Science. The ideal candidate will have experience with functional programming and verification. The position requires good teamwork and communication skills, including excellent spoken and written English.

About IMDEA Software

The IMDEA Software Institute is ranked among the best european institutes in the areas of Programming Languages and Computer Security. Located in the Montegancedo Science and Technology Park it perfectly combines the sunny and vibrant city of Madrid with cutting edge research and inspiring working environment.


Deadline for applications is February 1st, 2020. Review of applications will begin and be filled immediately.

How to apply

Applications should be submitted online at:

For any questions about the position contact directly Niki and Gilles ([niki dot vazou | gilles dot barthe] at imdea dot org).