# ERC Starting grant 10000 DIGITS

*Transcendental methods in computational nonlinear algebra*

- host institution
- Inria, France
- project duration
- from 2022 to 2027
- funding
- 1 400 000 €

This project is about developing algorithms and software to compute with high precision integrals with a geometric origin, especially periods of algebraic variety, and tackle applications in diophantine approximation, quantum field theory and optimization. We do this by leveraging symbolic integration, D-module theory, high-precision ODE solving and numerical algebraic geometry.

## Members

- principal investigator
- Pierre Lairez
- phd students
- Hadrien Brochet (co-advised with Frederic Chyzak)
- Alexandre Guillemot
- Eric Pichon-Pharabod (co-advised with Pierre Vanhove, external funding)
- postdocs
- Ricardo Buring
- Catherine St-Pierre
- Claudia Fevola (external funding)

## Available positions

There are available positions for internships and PhD theses. You can apply at any time by sending me an email (please put “10000digits” in the subject).

- requirements
- enjoy doing effective mathematics, that is going from “does there exist?” to “how to compute?”
- enjoy programming (C, julia, python, etc), a useful algorithm is an algorithm that runs

### Postdoc position

The MATHEXP team at Inria Saclay and the ERC-funded “10000 DIGITS” project offer a two-year postdoctoral position (without teaching duty). Salary is 2653€/month (gross, that is about 2130€ net-worth, including health insurance.)

Applicants should have an expertise in a field related to computer algebra or effective mathematics, and some interest in the research directions of “10000 DIGITS”, such as D-modules, symbolic integration, periods, Feynman integrals, effective algebraic geometry, symbolic-numeric algorithms, etc. Applicants are welcome to visit the team before applying.

To apply, please send an email to Pierre Lairez with:

- a CV
- a list of publications
- a research statement (brief or detailed)
- the name of a few references

Schedule:

- deadline for applications: January 23, 2023
- interviews (possibly online): February 6-9, 2023
- decision: February 15, 2023
- starting date: before December 1, 2023