Internship on algorithms for arithmetic theories

Applications are invited to apply for one intern position at the IMDEA Software Institute, Madrid, Spain.

The selected candidate will work with Alessio Mansutti improving the current algorithms to solve system of divisibility constraints over the integers. The first objective is to make sure that the candidate acquire familiarity with the subject. Afterwards, together with the supervisor, one (or more) of the following task will be considered:

• Study small-model property for the GCD fragment of the problem.
• Study proof calculi for the normalisation procedure.
• Improve bounds on the normalisation procedure.
• Look at lower-bounds for the normalisation procedure.
• Study optimisation variant of the problem.

Who should apply?

Candidates should have a BCs degree in computer science, mathematics, or a related discipline, with expertise in Logic and Discrete Mathematics. A strong commitment to research 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.

Dates

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

How to apply?

Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2022-12-intern-epad.

For enquiries about the position, please contact Alessio directly ().