Optimization Solver

Munich, Germany


  • Taking full responsibility for all phases of its design, prototyping, implementation, testing, production, benchmarking, and documentation, research, design, implement, and refine extremely efficient algorithmic components for our general-purpose solver
  • Participate in relevant conferences and other academic activities to advance the company’s reputation in your area of expertise
  • Participate in establishing and routinely assessing the group’s research priorities and direction, and coordinate your work with team members abroad to ensure compliance with important deadlines
  • Together with peers, conduct code reviews
  • Participate in or organise research cooperation with renowned academic organisations
  • Disseminate your research findings through the preparation of research articles and technical presentations


  • Fluent in written and spoken English
  • In-depth knowledge and hands-on experience with CP or SAT algorithms together with excellent implementation skills
  • Strong programming experience in C/C++
  • A M.Sc. or Ph.D. in computer science, applied mathematics, or a related technical discipline, ideally with a focus on CP, SAT, or PB solvers (Ph.D. strongly recommended)
  • Some experience with concurrent/distributed/parallel computing


  • Hands-on experience with the application of parallel and distributed technologies to CP/SAT algorithms
  • Strong publication record in Constraint Programming, SAT or related areas.

Apply for this role:

    Advertised By:

    Joel McManus
    Consultant - Technology

    Email Consultant
    Connect on LinkedIn