Researcher (f/m/d)

Within the third-party funded project “Agentic Dual Verification and Dual Reduction Discovery for Mathematical Optimization” in the research group Interactive Optimization and Learning (IOL), Department AI in Society, Science, and Technology, we are offering a position, starting as soon as possible, for a Researcher (f/m/d) on a full-time basis (39,4 hours per week), limited until September 30, 2028. If the applicant meets the relevant wage requirements and personal qualifications, the salary will be based on remuneration group 13 TV-L of the pay scale for the German public sector.

Large Language Models (LLMs) and agentic AI systems are creating new opportunities to enhance optimization-based decision-making. This project investigates how AI agents can support mathematical discovery in optimization by automatically generating and verifying dual reductions and valid inequalities, two key components for improving optimization solver performance. Combining mathematical optimization, automated reasoning, and AI-driven search, the project aims to develop methods that can propose, test, and certify new mathematical structures with rigorous correctness guarantees. Embedded in the MATH+ research environment, the project contributes to advancing both the foundations of mathematical optimization and the development of next-generation intelligent solver technologies.

The successful candidate will conduct research at the intersection of mathematical optimization, artificial intelligence, and automated reasoning. The work combines theoretical foundations, algorithm design, and software development to create AI-assisted methods for the generation and verification of dual reductions and valid inequalities in optimization. The position includes both methodological research and practical implementation, encompassing the development, evaluation, and application of novel approaches on large-scale computational systems and challenging optimization problems.

We offer a friendly work environment with flexible work and meeting times, excellent equipment and a challenging professional environment

 

The Zuse Institute Berlin is committed to diversity, equal opportunities, and a respectful and inclusive working environment. In order to increase the proportion of women in areas where they are underrepresented, we expressly encourage women to apply. Irrespective of this, we welcome applications from all qualified candidates regardless of age, disability, ethnic or social background, religion or belief, sexual orientation, or gender identity.

 

Please apply via our online application form by August 19, 2026, submitting your complete application including curriculum vitae in tabular form and the standard supporting documents.

For further information about the position, please refer to our website www.zib.de or contact Mr. Max Zimmer ([email protected]).