Internship on Refinement Types and SMT Decision Procedures

Intranet IMDEA Software Institute
November 27, 2022
Offerd Salary:Negotiation
Working address:N/A
Contract Type:Other
Working Time:Negotigation
Working type:N/A
Job Ref.:N/A
Internship on Refinement Types and SMT Decision Procedures

Applications are invited for a internship position at the IMDEA Software Institute, Madrid, Spain. The selected candidate will work under the supervision of Niki Vazou and Alessio Mansutti on SMT decision procedures and application on refinement types.

Who should apply?

Candidates should have a BCs degree in computer science, mathematics, or a related discipline, with expertise in Rust programming and an interest in formal verification. A strong commitment to research as well as top programming skills are required. Good teamwork and communication skills, including excellent spoken and written English are also required.

Working at IMDEA Software

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.


Deadline for applications is November 27th, 2022. Review of applications will begin and be filled immediately.

How to apply?

Applicants interested in the position should submit their application at https: // using reference code 2022-11-intern- crete.

For any questions about these positions, please contact Alessio or Niki directly (allesio.mansutti niki.vazou at imdea dot org).

From this employer

Recent blogs

Recent news