12-month post-doc position in PolSys team

Advisors: Jérémy Berthomieu and Pierre Lairez

This post-doc positions can start in January 2022 or later.

The purpose is the application of methods from symbolic integration in the
context of the moment method in optimization. The moment method is an
algorithmic approach to some problems featuring polynomial systems: global
optimization, volume approximation, volume optimization, etc. It is formalized
in terms of linear programs in the infinite-dimensional space of Borel measures,
and finite-dimensional relaxations, where a measure is represented by finitely
many moments. In many interesting cases, the moments are P-recursive sequences,
which opens connections with symbolic integration.

keywords: computer algebra, moments, holonomic functions, symbolic integration

We invite potential candidates to contact us for further details.