IMDEA Software

Iniciativa IMDEA

Inicio > Empleo

Internship in Liquid Haskell

Applications are invited for one intern position at the IMDEA Software Institute, Madrid, Spain.

The selected candidate will work under the supervision of Niki Vazou. The topic of the research is the usage of Liquid Haskell information to optimize the runtime of programs.

The position requires familiarity with Haskell, gradual typing, and formal verification, and excellent spoken and written English. Salaries at IMDEA Software Institute are internationally competitive.


The internship duration will be 6 months. The ideal starting period is from November 2019.

Deadline for applications is June 17th, 2019. Review of applications will begin and be filled immediately.

How to apply?

Applications should be submitted online at

PhD candidates should select option 7 - Internship and reference code 2019-06-intern-liquidhaskell.

For any questions about these positions, please contact Niki directly (niki dot vazou at imdea dot org).