Are you interested in algorithms for NP-hard problems, optimization, automated reasoning, logic, and/or computational complexity? Interested in developing in-depth understanding of / automated techniques for efficiently solving hard combinatorial problems motivated by different AI applications and beyond?
We, the Constraint Reasoning and Optimization group at the Department of Computer Science, are looking for a talented and motivated student from the Helsinki area interested in getting experience in scientific research to work with us on topical forefront research problems.
We are especially interested in receiving applications from students with
- 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++) who are motivated by challenging programming tasks.
The selected intern(s) will collaborate with the more senior members of the research group on a specific research topic which we will together tailor to fit well with the intern's background and interests.
For a taste of the current research directions pursued in the group, you can have a look at our research overview and publications pages.
In case you got interested, you can contact Matti (the group leader) directly via email together with a motivation letter, CV, and study transcript for further information, or apply through the common call for summer interns in computer science (in the latter case, the strict deadline for applying is February 5).