Post-Doctoral Research Visit F/M [Post-docs DRI, Inria - Univ. Waterloo] Computational real algebraic geometry and applications in robotics
Type de contrat : CDD
Niveau de diplôme exigé : Thèse ou équivalent
Fonction : Post-Doctorant
Contexte et atouts du poste
Every year Inria International Relations Department has a few postdoctoral positions in order to support Inria international collaborations. This is a position funded to support the collaboration between Inria and University of Waterloo (Canada).
The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January, 1st 2025. The postdoctoral fellow will be recruited by Inria Paris but it is recommended that the time is shared between France and the partner’s country (please note that the postdoctoral fellow has to start his/her contract being in France and that the visits have to respect Inria rules for missions).
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é and will work with Elias Tsigaridas (Inria Paris) and Éric Schost (University of Waterloo).
The application deadline is June 2, 2024.
Mission confiée
Candidates for postdoctoral positions are recruited after the end of their Ph.D. or after a first post-doctoral period: for the candidates who obtained their PhD in the Northern hemisphere, the date of the Ph.D. defense shall be later than September 1, 2022; in the Southern hemisphere, later than April 1, 2022.
In order to encourage mobility, the postdoctoral position must take place in a scientific environment that is truly different from the one of the Ph.D. (and, if applicable, from the position held since the Ph.D.); particular attention is thus paid to French or international candidates who obtained their doctorate abroad.
Principales activités
The research objective is to advance the foundations of algebraic algorithms, with a specific emphasis on deepening the connections between real algebraic geometry and practical applications. We are particularly interested in applying our findings to the realm of robotics, focusing on the intricacies of design. Our primary area of focus lies in the development of parallel manipulators. This involves delving into various aspects such as direct and inverse kinematics quandaries, path planning complexities, and the nuanced considerations of parameterized designs, including error analysis. Through this endeavor, we aim to contribute to the enhancement of robotic systems and their efficiency in real-world scenarios. At a second level, we opt for the use of such mechanisms for dedicated tasks emanating from problems in control theory.
Our main algebraic problem is real feability. That is to decide if a system of polynomial equalities and/or inequalities has a real solution. If this is the case, then we target to compute at least one point in each connected component of the real solution set. Even though algorithms exists for such problem, we aim at algorithms that make no assumptions on the input and that exploit the structure and the sparsity of the input polynomials. We also aim to provide precise bit complexity estimates that employ the sparsity structure and do not have any hidden constants in the exponents.
The feasibility problem is central in computational real algebraic geometry and it is of independent interest. But it is also one of the pillars in the efforts for obtaining efficient algorithms for polynomial optimization, both in the constrained and in the unconstrained case. Even more, along with the closely related problem of computating discriminantal varieties it is of fundamental importance in robotics as it appears in motion planning
and robot calibration.
Interested candidates should contact Elias Tsigaridas (elias.tsigaridas@inria.fr) for additional information.
Compétences
Candidates should have PhD in mathematics, computer science or a related area; expertise in computational algebra and/or geometry is highly desirable.
Avantages
- 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
- Flexible organization of working hours (after 12 month)
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
Rémunération
According to civil service salary scales
Informations générales
- Thème/Domaine :
Algorithmique, calcul formel et cryptologie
Calcul Scientifique (BAP E) - Ville : Paris
- Centre Inria : Centre Inria de Paris
- Date de prise de fonction souhaitée : 2024-10-01
- Durée de contrat : 12 mois
- Date limite pour postuler : 2024-06-03
Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.
Consignes pour postuler
Sécurité défense :
Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.
Politique de recrutement :
Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.
Contacts
- Équipe Inria : OURAGAN
-
Recruteur :
Tsigaridas Elias / Elias.Tsigaridas@inria.fr
A propos d'Inria
Inria est l’institut national de recherche dédié aux sciences et technologies du numérique. Il emploie 2600 personnes. Ses 215 équipes-projets agiles, en général communes avec des partenaires académiques, impliquent plus de 3900 scientifiques pour relever les défis du numérique, souvent à l’interface d’autres disciplines. L’institut fait appel à de nombreux talents dans plus d’une quarantaine de métiers différents. 900 personnels d’appui à la recherche et à l’innovation contribuent à faire émerger et grandir des projets scientifiques ou entrepreneuriaux qui impactent le monde. Inria travaille avec de nombreuses entreprises et a accompagné la création de plus de 200 start-up. L'institut s'efforce ainsi de répondre aux enjeux de la transformation numérique de la science, de la société et de l'économie.