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.
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.
Applications should be submitted online at: https://careers.software.imdea.org/phd/2019-12-phd-relationaltypes/.
For any questions about the position contact directly Niki () and Gilles ().
