Bar Ilan University, Department of Mathematics

Position ID:
BIU-PDAI [#26918]
Position Title:
Postdoctoral position, AI in mathematics
Position Type:
Postdoctoral
Position Location:
Ramat Gan, 5290002, Israel
Subject Area:
AI in Mathematics
Appl Deadline:
2025/09/15 11:59PMhelp popup (posted 2025/08/28, listed until 2026/02/28)
Position Description:
   

Position Description

AI is starting to influence mathematical research, from hypothesis generation to automated experimentation. Yet applications of AI to real problems remain rare. We are looking for mathematicians with strong AI skills to move this frontier forward.

In this postdoc you will work in a research group led by Elena Bunina, which focuses on exploring AI-assisted approaches to mathematical research. You'll have two options: - Join an existing project in combinatorial algebra with the Nebius Lab, Stevens Institute of Technology, OR - Propose your own research direction

Example project from the Nebius Lab in Stevens: The Andrews–Curtis conjecture (https://web.stevens.edu/algebraic/alexeim/Publications/AC%20Conjecture/ac1.pdf) concerns reducing balanced presentations of the trivial group to the trivial presentation using simple moves. While it is believed to be true, brute-force reduction may take tens of thousands of steps. We explore whether Reinforcement Learning can help.

Terms: - Gross monthly salary: 10,000 NIS (teaching possible for extra income) - Medical insurance - Conference travel support - 1-year contract, renewable (up to 3 years total) - Cloud compute provided by Nebius

Requirements: - PhD in Mathematics or Computer Science - For existing projects: willingness to work in a team - For own direction: ability to lead independent research and build collaborations

DEADLINE: September 15 (inclusive) Apply with CV and (if proposing your own direction) research proposal to: Elena.bunina@biu.ac.il The research proposal should be 2–3 page long, containing problem description, AI approach and its justification

We are not accepting applications for this job through MathJobs.Org right now. Please see the job description above on how to apply.
Contact: Elena Bunina
Email: email address
Postal Mail:
Department of Mathematics
Bar-Ilan University
Ramat-Gan 5290002
Israel
Web Page: http://www.math.biu.ac.il/en/