The goal of the project is to prove correct the implementation of a monitoring infrastructure based on stream-runtime verification programmed in a functional programming language Haskell. The kind of properties proven include dynamic conversion and resource usage.
The key element in this project is the HLola system, a very flexible runtime verification language and runtime system built in Haskell at the IMDEA Software Institute, that can handle complex data observations produce rich monitoring verdicts. HLola has been used in drones and unmanned airplanes greatly facilitating the development of sophisticated missions.
Applications are invited to apply for one intern of starting PhD position at the IMDEA Software Institute, Madrid, Spain.
The selected candidate will work with César Sánchez.
Candidates should have a MSc or be graduate students pursuing doctoral studies.Proven top programming skills as well as ability to understand and develop algorithms are required. Good teamwork and communication skills, including excellent spoken and written English are also required.
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 duration of the internship will be 4 months.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2020-06-intern-correctmon. Review of applications will begin immediately and close when positions are filled or on July 20th, 2020.
For enquiries about the position, please contact: cesar.sanchez (at) imdea.org