POSTDOCTORAL POSITIONS IN OPTIMIZATION, SYMBOLIC REASONING, EXPLAINABLE & VERIFIED AI
The Constraint Reasoning and Optimization Group led by Prof. Matti Jarvisalo at the Department of Computer Science, University of Helsinki, Finland, has openings for postdoctoral researchers (and potentially also for exceptional PhD candidates). For more information on the group: https://www.helsinki.fi/en/researchgroups/constraint-reasoning-and-optimization https://www.cs.helsinki.fi/matti.jarvisalo/ Broadly speaking, we are looking for people with research experience and background in one or more of the following (or related) areas: -SAT / SMT / QBF / CP / ASP -MaxSAT / MaxSMT / PBO / MIP / soft constraints -Declarative optimization / combinatorial optimization -Symbolic reasoning -Model counting (exact/approximate) -Knowledge compilation -Explainable AI -Probabilistic graphical models -Formal verification -Complexity of reasoning -Parameterized algorithms The positions are funded by two major research grants by Adacemy of Finland titled "Declarative Boolean Optimization: Pushing the Envelope" (2019-2023) and "Symbolic Reasoning for Formally Verified and Explainable AI" (2020-2022). Salaries are competitive e.g. on the European scale. For the postdoc positions, an early-career track record in PhD research is expected, proven by publications in internationally recognized key publications venues and potentially by implementations of declarative solvers. Expertise in partical solver development, application-oriented studies, and theoretical analysis is equally appreciated. Helsinki is a great city to work and live in https://www.myhelsinki.fi/en/work-and-study/work https://www.myhelsinki.fi/en/work-and-study/10-reasons-to-live-in-helsinki and is the capital of Finland, a country that has a strong track record in general well-being, equality, and quality of life: http://www.stat.fi/tup/tilastokirjasto/itsenaisyyspaiva-2019_en.html Finland is a modern, safe, and technologically advanced country, and a member of the EU and the eurozone. To apply for the position, please contact Matti via email ([email protected]) with your CV, publication list, and a short motivation letter explaining your background, research experience and interests, and motivations for applying for the position. Similarly, contact Matti by email in case you have further questions on the positions. Review of applications will start immediately, and the position(s) will remain open until filled.
_______________________________________________ uai mailing list [email protected] https://secure.engr.oregonstate.edu/mailman/listinfo/uai
