The IMDEA Software Institute (Madrid, Spain) invites applications for a research internship in the area of stream runtime verification. The successful candidate will join the group led by Prof. César Sánchez to work on adapting the existing monitoring systems developed within the group to performing relational technical analysis.
Applicants should be final year BSc or MSc students in computer science, computer engineering, electric engineering or a related discipline, with proven top programming skills as well as ability to understand and develop algorithms. Solid background on logic, temporal logic, automata theory and formal methods will be highly valued.
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.
The internship duration is intended to be for 3-6 months. The ideal starting period is from June 2019.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2019-02-intern-rv. Deadline for applications is April 3rd, 2019. Review of applications will begin immediately.
For enquiries about the position, please contact:
