Applications are invited to apply for one intern position at the IMDEA Software Institute, Madrid, Spain. Selected candidates will work with César Sánchez. The topic of the research is to solve problems related to software requirements for industrial specified using temporal logic. The components specified using these requirements are reactive systems which requires to reason about both the system and its environment. We will reduce the existence of issues in the requirements to queries to solvers and evaluate the scalability of the solutions.
Candidates should have an excellent MSc or BSc degree in computer science, mathematics, or a related discipline, with an interest in formal methods, and a strong commitment to research. 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 7 months.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2020-07-intern-ireqs. Review of applications will begin immediately and close when positions are filled or on August 15th, 2020.
For enquiries about the position, please contact: cesar.sanchez (at) imdea.org