IMDEA Software

IMDEA initiative

Home > Open Positions > Internship on succinctness and learning of Linear Temporal Properties

Internship on succinctness and learning of Linear Temporal Properties

Applications are invited for an internship position at the IMDEA Software Institute in Madrid, Spain.

The successful candidates will work with Alessio Mansutti.

The goal of the project is to develop novel algorithms for learning linear temporal properties starting from sets of positive and negative traces representing the (im)possible behaviors of a system. The linear temporal properties are expressed in Linear Temporal Logic, the de facto standard for expressing temporal properties of systems for formal verification.

Who should apply?

The position requires good problem solving skills and proficiency in spoken and written English. A background on algorithms and formal logic is highly desirable. This is a great opportunity for graduating master students that are considering pursuing a PhD degree.

Working at IMDEA Software

The IMDEA Software Institute is ranked among the best European research institutes in computer science. The institute provides an internationally competitive stipend and support for research related travel. The working language at the institute is English. Knowledge of Spanish is not required.


The position has a duration of 5 months. The starting date is flexible, starting from April 2024.

How to apply?

Applicants interested in the position should submit their application at using reference code 2023-11-intern-ltllearning. Deadline for applications is November 26th, 2023. Review of applications will begin immediately.

For enquiries about the position, please contact