Doctorant F/H Abstraction des méthodes de sous-espaces en algèbre linéaire pour une mise en oeuvre composable

The offer description be low is in French

Contract type : Fixed-term contract

Level of qualifications required : Graduate degree or equivalent

Fonction : PhD Position

About the research centre or Inria department

Le centre Inria de l’université de Bordeaux est un des neuf centres d’Inria en France et compte une vingtaine d’équipes de recherche. Le centre Inria est un acteur majeur et reconnu dans le domaine des sciences numériques. Il est au cœur d'un riche écosystème de R&D et d’innovation : PME fortement innovantes, grands groupes industriels, pôles de compétitivité, acteurs de la recherche et de l’enseignement supérieur, laboratoires d'excellence, institut de recherche technologique…

Context

Les techniques numériques modernes pour résoudre des systèmes linéaires de très grande
taille sont essentiellement basées sur des techniques itératives de sous-espaces [1]. À chaque
itération l’espace de recherche de la solution est étendu et une approximation est caractérisée
dans le nouvel espace. Si la qualité de l’approximation ne satisfait pas un critère idoine
une nouvelle itération/extension d’espace est réalisée. Toutes les méthodes actuelles ont été
développées de manière essentiellement incrémentale sur les bases d’un papier fondateur de
Hestenes et Stiefeld en 1951 sur le Gradient Conjugué (CG) pour les matrices symétriques
définies positives. Leurs bases communes sont souvent noyées dans des détails ou choix
algorithmiques d’implantation qui exploitent très finement certaines structures. De telles
descriptions algorithmiques nuisent à une expression de haut niveau de ces méthodes qui
permettrait de les exprimer de façon plus modulaires et composables si elles étaient décrites
de façon plus abstraites.

Assignment

Avec l’aide de ses encadrants et en fonction de sa formation initiale, la personne recrutée sera amenée à découvrir le contexte scientifique riche de cette thèse qui couvre différents domaines tels que l'algèbre linéaire, le calcul matriciel, les techniques de sous espace pour les systèmes linéaires et le calcul d'éléments propres et l'abstraction mathématique des objets manipulés et de leurs représentation.

 

Main activities

Les principales activités consisteront à:

  1. Développer une abstraction des méthodes de sous-espaces en algèbre linéaire numérique
  2. Prototyper une solution informatique permettant de valider les solutions retenues
  3. Communiquer les résultats via la rédaction de rapports et papiers scientifiques, présentation en séminaires et conférences

 

Skills

Compétences techniques et niveau requis : Master 2 ou diplôme d'ingénieur en mathématiques ou informatique

Langues : Français, Anglais

Compétences relationnelles : Intégration dans une équipe

Compétences techniques: algèbre linéaire numérique, bases d'analyse

Benefits package

  • Restauration subventionnée
  • Transports publics remboursés partiellement
  • Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
  • Possibilité de télétravail et aménagement du temps de travail
  • Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
  • Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
  • Accès à la formation professionnelle
  • Sécurité sociale

Remuneration

1e et 2e année : 2100€ brut

3e année : 2190€ brut