Several 3-year Ph.D. positions are available in the framework of the international research project "EAGLES (Efficient Algorithms for Guessing, inequaLitiEs, and Summation)" at JKU/RICAM (Austria) and Inria/Sorbonne Université (France), funded by the FWF and the ANR.

This project belongs to the part of computer algebra which is concerned with algorithms for recurrence and differential equations and related topics. These algorithms are regularly applied in areas such as combinatorics, number theory, mathematical physics or experimental mathematics. Computational problems arising from applications are getting larger and more complicated, so that more efficient and more general algorithms are needed in order to solve them. We focus on techniques for guessing or reconstructing multivariate equations from given data, for proving inequalities among D-finite functions, and for creative telescoping. For each of them, our aim is to push forward the state of the art so that it becomes possible to perform computations that are beyond the capabilities of the technology available today, and far beyond the capabilities of any form of paper and pencil reasoning.

The project will cover all aspects of the development chain: inventing mathematical theory from algebra to geometry, designing and analyzing new algorithms, implementing and evaluating them in mathematical software, and applying them to highly nontrivial problems arising from other areas. This international project is conducted by Jérémy Berthomieu, Alin Bostan, Frédéric Chyzak, Vincent Neiger and Mohab Safey El Din in France and Manuel Kauers, Christoph Koutschan, Veronika Pillwein, and Carsten Schneider in Austria.

The application file should be uploaded on https://easychair.org/conferences/?conf=eagles23, opens an external URL in a new window and should contain the following material:
• a CV
• a motivation letter (which should contain a priority list on the Ph.D. topics listed above as well as any other relevant information)
• a transcript with grades from the master's degree
• the name and email address of two references (including the master's thesis advisor, if applicable)

If you have any questions, do not hesitate to contact
Alin Bostan <alin.bostan(at)inria.fr> or Manuel Kauers <manuel(at)kauers.de>.