[DMANET] Postdoc opening: SAT, optimization, constraints, explainable & verified AI

POSTDOCTORAL POSITIONS IN SAT, CONSTRAINTS, OPTIMIZATION, 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 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 / 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 (matti.jarvisalo@helsinki.fi) 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.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************