2022-04919 - Post-Doctoral Research Visit F/M Efficient algorithms in non-linear algebra and geometry

Contract type : Fixed-term contract

Level of qualifications required : PhD or equivalent

Fonction : Post-Doctoral Research Visit

Context

  • The selected candidate will do her/his research at the OURAGAN team which is a joint team
    of Inria Paris and IMJ-PRG Sorbonne Université. She/he will be located at Sorbonne Université.
  • The position is funded by the ANR JCJC program
    GALOP (Games through the lens of ALgebra and OPtimization)

Assignment

Traditional techniques in algorithms, combinatorics, and discrete mathematics usually treat/compute with linear objects and quantities. In recent years, there have been efforts to extend the range of our techniques using tools from computational algebra and high dimensional geometry to handle nonlinear objects. The main challenge is to provide solid mathematical and algorithmic foundations, and, if possible, efficient implementations for computations with curved objects.

Our goal it to develop algorithms and implementations for solving (and analyzing) polynomials systems of equations, by exploiting the structure and the geometry of the input equations. We also aim at efficient algorithms for basic geometric operations with curves and surfaces.

Main activities

The successful candidate will work on the following topics:
- Novel algorithms (exact and symbolic-numeric) for solving polynomial systems, that  exploit the structure, for example multi-homogeneity, sparsity, symmetry, properties of determinantal varieties.
- Algorithms for geometric operations with curves and surfaces (in 3D).

 

Interested candidates should contact Elias Tsigaridas (elias.tsigaridas@inria.fr) for additional information.

Skills

Candidates should have a PhD in mathematics, computer science or a related area; expertise in 
computational algebra and/or geometry is highly desirable. 

Benefits package

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking  and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training