Optimization Solver

KEY RESPONSIBILITIES:

• 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

QUALIFICATIONS:

• 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

PREFERRED QUALIFICATIONS:

• 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: