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
In case you got interested, you can contact