Internship in algorithms for non-linear integer programming problems in fixed dimension

Internship in algorithms for non-linear integer programming problems in fixed dimension

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

The goal of this project is to develop novel methods for solving system of inequalities over the integers, featuring additional constraints on the variables (e.g., regularity conditions), but assuming that only a fixed number of variables. Related research directions can be explored, as for example the problem of solving integer linear programs in fixed dimension when the coefficients are given more succinctly than binary encoding.

Who should apply?

The position requires good problem solving skills and proficiency in spoken and written English. A master in Math or CS is required, as well as strong knowledge in at least one topic among algorithms, linear algebra, logic and model theory.

Working at IMDEA Software

The IMDEA Software Institute is ran...