Our research group at IMDEA Software is looking for a PhD candidate to carry out a PhD in new techniques for formal verification and debugging based on abstract interpretation.
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.
Deadline for applications is August 10th, 2022. Review of applications will begin and be filled immediately.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2022-07-phd-clip.
For enquiries about the position, please contact .