IMDEA Software

Iniciativa IMDEA

Inicio > Empleo

Postdoc in Liquid Relational Types


Candidates should have or be close to obtaining a PhD in computer science. The ideal candidate will have experience with functional programming, refinement types, differential privacy, and/or probabilistic programming. 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 July 30th, 2019. 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).