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. Cesar Sanchez to work on adapting the existing monitoring systems developed within the group to performing relational technical analysis.
The candidate will work on using and extending an advanced monitoring-based testing component built at IMDEA as part of the Elastest EU project infrastructure. The goal is to program test jobs for existing large cloud applications, including teaching applications and IoT applications. As a second goal, the candidate will contribute to build a language and infrastructure for orchestrating batteries of test.
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 programs, executions and deployments. Solid background on cloud technologies (docker, AWS, etc) will be highly valued. Expertise in programming languages like Go, Java and Python will be hight valued as well.
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/ selecting option Intern and reference code 2019-04-elastest. Deadline for applications is April 30, 2019. Review of applications will begin immediately.
For enquiries about the position, please contact: .
