WA 28/16

The Zuse Institute Berlin (ZIB) is a non-university research institute under public law of the state of Berlin. Together with its partners from academia and industry, ZIB contributes to the solution of highly complex problems in science, technology, environment and society by developing mathematical models and efficient algorithms. The division "Mathematical Optimization and Scientific Information" is offering a

research position (f/m)
reference code WA 28/16
pay grade E 13 TV-L Berlin

in the research group “Mathematical Optimization Methods” of the department “Mathematical Optimization”. The position is offered from March 1, 2017 and will be a fixed-term contract for 2 years with the option to be extended. The starting date is negotiable.

Job description

The goal of the BMBF-funded research laboratory MODAL SynLab (see http://www.zib.de/projects/modal-synlab) is the development and implementation of mathematical optimization algorithms for general problem classes, predominantly mixed-integer linear and nonlinear programs, and complex combinatorial structures that are motivated by real-world applications. To this end, we collaborate with partners from industry, from the other MODAL labs, and developers of state-of-the-art mixed-integer programming software.

One of our active areas of research lies in arithmetically exact optimization algorithms that give provable results not compromised by the presence of floating-point round-off errors. To this end we develop hybrid algorithms that combine fast floating-point or interval arithmetic with exact rational arithmetic. In this context your tasks include: the development of safe versions of MIP solver components such as cutting planes, bound propagation, LP-based pruning, primal heuristics; the implementation and testing of these methods in the MIP solver SCIP; and the design of external verification methods for the correctness of results.

We expect creativity and a high degree of commitment to problem solving. We offer a friendly working atmosphere, excellent equipment, and a challenging professional environment. Due to our involvement in major regional cooperative projects, such as the Einstein Center for Mathematics (ECMath), the MATHEON Research Center, the Berlin Mathematical School (BMS) or the Berlin Big Data Center (BBDC), we have close ties to universities and research institutes in the region. We offer scientists in all career stages opportunities for further qualification and strongly support research on top level with international visibility. The position is particularly suited for working towards a PhD.

Our team is committed to an active onboarding process to facilitate new members with all the tools and the knowledge they need for success in our institute and their career. We provide a family-friendly work environment through flexible working hours and meeting times. While the position is advertised as full-time, a part-time work arrangement is also possible.

Requirements 

  • excellent Master’s degree in mathematics, computer science, or related disciplines
  • background in some of the following areas: linear and integer programming, interval arithmetic, symbolic and algebraic computation, automated theorem proving, verifiable computing
  • good programming skills, ideally C, C++, or related languages
  • good command of written and spoken English
  • applicants are expected to be team-oriented, highly motivated, and self-reliant

We particularly welcome the application of women, since women are generally underrepresented in information technology and ZIB strives to increase their proportion in this research area. 

Persons with disabilities will be given preference when equally qualified.

Please send your application, quoting the reference code WA 28/16 , including:

  • a motivational cover letter (max. 1 page)
  • a CV with a description of your previous research/thesis
  • academic transcripts
  • contact details of two references

to:

Zuse Institute Berlin (ZIB)
 - Administration -
Takustr. 7
14195 Berlin

or electronically to: jobszib.de. Closing date for applications is December 31, 2016 as date of receipt .

For further information about the position please contact Dr. Ambros Gleixner (gleixnerzib.de).

Dauerausschreibung studentische Hilfskräfte (m/w)