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).
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.
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.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ 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.
