<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="lead">
<p>The Institute of Production and Logistics Management at the
Johannes Kepler University Linz is inviting applications for a
15-month position within the JKU Business School-funded
project “Hybridization of Optimization and Artificial
Intelligence Techniques for Managerial Decision Making”. The
project is done in collaboration with the Institute for Formal
Models and Verification at the JKU Linz.</p>
</div>
<div class="body">
<p>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 (<a class="moz-txt-link-abbreviated" href="mailto:markus.sinnl@jku.at">markus.sinnl@jku.at</a>)</p>
<p>Starting date: September 1, 2020.</p>
<p>Candidates interested in the above position should have</p>
<p>* Master/PhD degree in Computer Science, Operations Research,
Industrial Engineering or a related field<br>
* C++/python/Java/Julia programming skills<br>
* experience with mathematical optimization software like Gurobi
or CPLEX and/or SAT-solving software and/or constraint
programming software<br>
* experience in the implementation of optimization algorithms
and/or SAT-solving algorithms and/or constraint programming
algorithms (including decision diagrams)<br>
* a background in mathematical programming (especially mixed
integer programming) and/or SAT-solving and/or constraint
programming<br>
* a strong interest in the area of the research project</p>
<p>The salary follows FWF-rules for PhD/postdoctoral researchers:
<a
href="https://www.fwf.ac.at/en/research-funding/personnel-costs/"
target="_blank">www.fwf.ac.at/en/research-funding/personnel-costs/</a></p>
<p>Participation and presentations at scientific conferences are
expected and will be funded.</p>
<p>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</p>
<p>* motivation letter<br>
* detailed CV<br>
* certificates<br>
* list of Master/PhD courses and grades<br>
* Master/PhD thesis (if in another language than English, a
three-page abstract in English)<br>
* list of publications</p>
<p>to <a class="moz-txt-link-abbreviated" href="mailto:markus.sinnl@jku.at">markus.sinnl@jku.at</a>, until July 19, 2020.</p>
<p>Applications will be considered until the position is filled.</p>
<p>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.</p>
</div>
</body>
</html>