12-month post-doc position in PolSys team
Advisors: Jérémy Berthomieu and
This post-doc positions can start in January 2022 or later.
The purpose is the application of methods from symbolic integration
context of the moment method in optimization. The moment method is
algorithmic approach to some problems featuring polynomial systems:
optimization, volume approximation, volume optimization, etc. It is
in terms of linear programs in the infinite-dimensional space of
and finite-dimensional relaxations, where a measure is represented
many moments. In many interesting cases, the moments are P-recursive
which opens connections with symbolic integration.
keywords: computer algebra, moments, holonomic functions, symbolic
We invite potential candidates to contact us for further details.