IMDEA Software

IMDEA initiative

Home > Open Positions > PhD student in performance improvements to property-based testing

PhD student in performance improvements to property-based testing

Applications are invited for PhD student positions at the IMDEA Software Institute in Madrid, Spain. The successful candidates will work under the supervision of Manuel Carro on test cases for stateful property-based testing tools. The task to develop will focus on exploring the creation of high-quality tests by using a variety of techniques, ranging from smarter creation of tests (to generate more expensive, but higher quality tests) to explore the test space in parallel (to check more candidate tests per unit of time).

Who should apply?

Candidates should have a strong background in computer science, experience in functional programming, and a passion to transform ideas into working prototypes that can be applied to quasi-real-world scenarios.

Working at IMDEA Software

The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides an international environment, excellent facilities, travel expenses and an internationally competitive stipend. The working language at the institute is English.


The positions are intended to last for the duration of the doctoral studies, which is usually four years.

How to apply?

Applicants interested in the position should submit their application at using reference code 2024-04-phd-propertybased. Deadline for applications is April 18th, 2024. Review of applications will begin immediately.

The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.

For enquiries about the position, please contact Manuel Carro.