[Job-offers-cs] Postdoc Position in Mathematical Programming and SAT solving at Johannes Kepler University Linz, Austria

[Pekka Orponen]

-------- Forwarded Message --------
Subject: [DMANET] Postdoc Position in Mathematical Programming and SAT 
solving at Johannes Kepler University Linz, Austria
Date: Wed, 24 Jun 2020 18:23:31 +0200
From: Markus Sinnl <markus.sinnl at jku.at>
To: dmanet at zpr.uni-koeln.de

The Institute of Production and Logistics Management at the Johannes 
Kepler University (JKU) Linz, Austria, is inviting applications for a 15 
month Postdoc position within the JKU Business School funded project 
"Hybridization of Optimization and Artificial Intelligence Techniques 
for Managerial Decision Making / OPTIM-AI". The project is done in 
collaboration with the Institute for Formal Models and Verification at 
the JKU Linz.

The project concerns the design and improvement of generic solution 
algorithms, including SAT and MaxSAT solvers, for hard optimization 
problems and decision problems. The focus lies on hybridization of 
mathematical optimization algorithms, in particular for Mixed-Integer 
programming, and SAT solving algorithms, as well as on idea transfer 
between these two disciplines. For further information please contact 
Dr. Markus Sinnl (markus.sinnl at jku.at)

Starting date: September 1, 2020.

Candidates interested in the above position should have

* PhD degree in Computer Science, Operations Research, Industrial 
Engineering or a related field
* C++/Python/Java/Julia programming skills
* experience with mathematical optimization software like Gurobi or 
CPLEX and/or SAT-solving software and/or constraint programming software
* experience in the implementation of optimization algorithms and/or 
SAT-solving algorithms and/or constraint programming algorithms 
(including decision diagrams)
* a background in mathematical programming (especially Mixed-Integer 
programming) and/or SAT-solving and/or constraint programming
* a strong interest in the area of the research project

The salary follows FWF-rules for postdoctoral researchers: 
https://www.fwf.ac.at/en/research-funding/personnel-costs/

Participation and presentations at scientific conferences are expected 
and will be funded.

If you are interested in working in a young international research team 
at one of the nicest campus universities in Austria, only 1 hour and 20 
minutes by train from Vienna, please send the following documents

* motivation letter
* detailed CV
* certificates
* list of PhD courses and grades
* PhD thesis (if in another language than English, a three-page abstract 
in English)
* list of publications

to markus.sinnl at jku.at, until July 12, 2020.

Applications will be considered until the position is filled.

The Johannes Kepler University wishes to increase the proportion of 
academic female faculty and, for this reason, especially welcomes 
applications by qualified women. If applicants are equally qualified, a 
woman will be given preference for this position. The university 
welcomes applications from qualified applicants with physical 
disabilities. These applications will be given special consideration.