Positions and Internships at the Algorithms Project

Here are proposals (mostly in French) for postdoc positions, PhD positions, and internships (stages) to take place in the Algorithmes team. Motivated candidates with resolute scientific tastes are welcome to contact us in view of writing a proposal of common interest.

Postdoc & PhD Positions

None at the moment.

Internships

• Towards the Formal Certification of a Mathematical Encyclopedia on the Web, co-advised by Frédéric Chyzak (Algorithms, Inria Paris–Rocquencourt) and Assia Mahboubi (TypiCal, Inria Saclay–Île-de-France)
• [reserved] Automatic classification of lattice walks in three dimensions, co-advised by Alin Bostan (Algorithms, Inria Paris–Rocquencourt) and Manuel Kauers (Research Institute for Symbolic Computation, Linz, Austria)