The Constraint Reasoning and Optimization Group has summer intern openings for summer 2020.
Interns will engage in forefront research guided by senior researchers in the group. Topics include automated reasoning and optimization techniques for NP-hard real-world problems (ranging from theoretical analysis to practical algorithm development, implementation, and empirical studies); and symbolic techniques for formally verified and explainable AI.
In particular, we are looking for talented students from diverse backgrounds interested in engaging in forefront research with us. You may e.g. have
- a CS background, especially in algorithms/machine learning;
- a Math / Operations Research background, especially in optimization/logic/complexity, with interest in algorithms; and/or
- strong implementation skills (C/C++) and be motivated by challenging programming tasks related to exponential algorithms or parallel computing.
Individual topics will be tailored to fit the interests and background of the selected interns. Don't hesitate to contact the group leader Prof. Matti Järvisalo for more information! In case you are interested in applying, please also have a look at the group's webpages and recent publications for a better idea on some of the research directions pursued in the group.
Please note that offering summer internships mainly to students already within the Helsinki region.