[Job-offers-cs] Postdoc opening: SAT, optimization, constraints, explainable & verified AI

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoc opening: SAT, optimization, constraints, 
explainable & verified AI
Date: Tue, 21 Jan 2020 08:24:32 +0000
From: Järvisalo, Matti J <matti.jarvisalo at helsinki.fi>
To: dmanet at zpr.uni-koeln.de <dmanet at zpr.uni-koeln.de>

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 at 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.