[Opt-Net] PhD/Postdoc Position in Mathematical Programming and SAT solving at Johannes Kepler University Linz, Austria

[Markus Sinnl]

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.

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

* Master/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 PhD/postdoctoral researchers: 
www.fwf.ac.at/en/research-funding/personnel-costs/ 
<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 Master/PhD courses and grades
* Master/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 19, 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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/opt-net/attachments/20200708/363e21f9/attachment.html>