Wednesday, June 24, 2020

[DMANET] Postdoc Position in Mathematical Programming and SAT solving at Johannes Kepler University Linz, Austria

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@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@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.
**********************************************************
*
* 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/
*
**********************************************************