Méthodes d'homotopie pour l'algèbre différentielle
il y a 1 mois
Informations générales
Intitulé de l'offre : Méthodes d'homotopie pour l'algèbre différentielle (H/F)
Référence : UMR7161-GOVVAN-001
Nombre de Postes : 1
Lieu de travail : PALAISEAU
Date de publication : lundi 25 mars 2024
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 1 septembre 2024
Quotité de travail : Temps complet
Rémunération : La rémunération est d'un minimum de 2135,00 € mensuel
Section(s) CN : Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Description du sujet de thèse
Comment prédire le mouvement des planètes, la propagation d'une épidémie ou l'évolution d'un réseau de réactions chimiques ? Voici quelques-uns des nombreux problèmes qui peuvent être modélisés par des équations différentielles ordinaires (EDO). La résolution de ces équations a une longue histoire et reste un problème important en science et en technologie.
L'algèbre différentielle est une branche des mathématiques et de l'informatique qui s'intéresse à l'étude des équations différentielles d'un point de vue symbolique et informatique. L'idée est d'utiliser les méthodes algébriques telles que la réécriture ou l'élimination des variables pour simplifier ou transformer les équations différentielles.
En outre, des algorithmes ont été développés et mis en œuvre pour ce type d'élimination de quantificateurs et d'autres tâches fondamentales de l'algèbre différentielle.
L'approche traditionnelle de l'algèbre différentielle consiste à raisonner sur les équations différentielles elles-mêmes en tant qu'expressions symboliques. L'un des inconvénients de cette approche est que les résultats intermédiaires du calcul peuvent être des expressions très grandes (imaginez la différenciation du produit y1(z) y2(z) y3(z) dix fois ) L'objectif de la présente proposition est de travailler systématiquement avec des solutions en séries formelles. Ces solutions sont déterminées de manière unique par les équations différentielles et un nombre suffisant de conditions initiales. Par exemple, les solutions en séries de y'' + (y')^2 = 0 sont y_(α,β)(z) ≔ α+log (1+β*z) = α + βz - 1/2 β^2 z^2 + ⋯, avec les conditions initiales y_(α,β)(0)=α, y_(α,β)'(0)=β. Inversement, toute équation différentielle dont y_(α,β) est solution est une conséquence logique de y''+(y')^2=0.
De ce point de vue, les systèmes d'équations différentielles donnent lieu à des systèmes d'équations algébriques sur des coefficients de séries formelles. Par exemple, l'équation y''+(y')^2=0 dans y=y_0 + y1 z + y2 z^2+⋯ est équivalente au système infini d'équations 2 y2 + y1^2 = 6 y3 + 4 y1 y2 = 12 y4 + 6 y1 y3 + 4 y2^2 = ⋯ = 0 en y0, y1, ..... Les troncatures de ces systèmes peuvent être résolues en utilisant des homotopies numériques. Cela signifie que nous étudions l'effet de petites perturbations des conditions initiales α,β sur la solution y_(α,β). Nous pouvons également envisager des déformations des équations elles-mêmes en équations qui sont généralement plus faciles à résoudre.
Lorsqu'elles sont efficaces, les techniques d'homotopie numérique nous permettent de déterminer les solutions des séries formelles numériques pour notre système original d'équations différentielles. Un dernier défi consiste à retrouver la ou les équations différentielles les plus simples dont ces séries formelles numériques sont la solution. Cela permet généralement de simplifier le système original d'équations différentielles ou d'éliminer certaines fonctions inconnues. Nous prévoyons enfin de combiner la continuation par homotopie et l'interpolation creuse afin de calculer les équations différentielles satisfaites par les solutions des séries formelles.
En résumé, l'objectif principal de la thèse est de construire un pont entre l'algèbre différentielle et des ensembles de solutions en séries formelles numériques. Ce pont devrait être aussi efficace que possible et conduire à de nouveaux algorithmes plus performants pour des problèmes typiques de l'algèbre différentielle, tels que la simplification des systèmes d'équations différentielles, l'élimination des quantificateurs, la découverte de contraintes cachées ou l'identification des paramètres. En fonction de son profil, le candidat pourra mettre davantage l'accent sur les aspects théoriques ou pratiques de ce programme.
Nous recherchons d'excellents candidats dotés d'une solide formation en
mathématiques et en informatique. Des connaissances dans au moins un des
domaines suivants sont requises : théorie de la complexité, calcul
différentiel, algèbre commutative, calcul formel. Des compétences générales en
informatique sont nécessaires pour contribuer à des implantations efficaces.
De l'expérience préalable en calcul différentiel, méthodes par homotopie,
et/ou interpolation creuse serait un atout.
Contexte de travail
La thèse sera effectuée au laboratoire LIX (Laboratoire d'Informatique de
l'École polytechnique), qui se situe dans le bâtiment Alan Turing, 1, rue
Honoré d'Estienne d'Orves, Palaiseau. La thèse sera effectuée dans l'équipe
MAX de calcul formel et financée par le project ANR PRME NODE. La candidate ou
le candidat disposera d'un poste de travail et de moyens pour assister à
quelques conférences par an.
Contraintes et risques
Néant.
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 1 mois
Palaiseau, France Onera Temps pleinPrésentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 4 semaines
Palaiseau, Île de France, Essonne Onera Temps pleinPrésentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA...
-
Ingénieur de recherche en IA de la décision et IA explicable
il y a 3 semaines
Palaiseau, France Thales Temps pleinQUI SOMMES-NOUS ?Situé sur le campus de l’École polytechnique, au cœur du pôle scientifique et technologique d’envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une politique...
-
ETR - Chef du département PEAC
il y a 6 jours
Palaiseau, Essonne, France Direction générale de l'armement (DGA) Temps pleinVeuillez pour partager sur Facebook, Twitter et LinkedIn. Fonction publique : Fonction publique de l'État Employeur : Direction générale de l'armement (DGA) Localisation : 5 RUE LAVOISIER 91710 VERT LE PETIT Nature de l’emploi Emploi ouvert aux titulaires et aux contractuels Expérience souhaitée Non renseigné Rémunération ...
-
Chef.fe de produit assurances dommages
il y a 1 jour
Palaiseau, France Suravenir Temps pleinChef.fe de produit assurances dommages (cdi - nantes) H/F Suravenir Assurances recrute un.e chef.fe de produit assurances dommages et santé/prévoyance en CDI sur Nantes qui aura pour mission d’impulser la transformation des offres pour répondre aux enjeux de transition écologique, de rentabilité technique et de développement de nouveaux modèles...
-
Développeur C++ Confirmé H/F
il y a 4 semaines
Palaiseau, France MICHAEL PAGE Temps pleinNotre client, entreprise de référence dans les domaines de l'électronique numérique et des hyperfréquences en France et à l'international, développe des solutions qui allient matériel, logiciel de test et d'évaluation de systèmes. Dans le cadre d'un accroissement d'activité, il recherche son futur Développeur C++ Confirmé.En...
-
Développeur C++ Confirmé H/F
il y a 4 semaines
Palaiseau, Essonne, France MICHAEL PAGE Temps pleinNotre client, entreprise de référence dans les domaines de l'électronique numérique et des hyperfréquences en France et à l'international, développe des solutions qui allient matériel, logiciel de test et d'évaluation de systèmes. Dans le cadre d'un accroissement d'activité, il recherche son futur Développeur C++ Confirmé.En...
-
Palaiseau, Essonne, France KINOUGARDE Temps pleinPour une de nos familles, nous sommes à la recherche d'un(e) garde d'enfants à domicile à PALAISEAU pour 3 heures de travail par semaine pour garder 2 enfants, 5 ans, 8 ans.Tâches confiées : garde d'enfants/baby-sitting, sortie d'école, jeux, toilette, activités… Quand on aime varier les plaisirs, c'est quand même moins monotone...
-
Comptable Général Expert H/F
il y a 1 semaine
Palaiseau, Essonne, France Michael Page Intérim Temps pleinÀ propos de notre client Notre client, acteur en croissance dans le secteur de l'énergie, cherche son nouveau Comptable Général Expert. Le poste est accessible en transport en commun. Description du poste Vos missions pour le poste de Comptable Général Expert seront les suivantes : Gestion et supervision de la comptabilité générale,...
-
Comptable Général Expert H/F
il y a 1 semaine
Palaiseau, France Michael Page Intérim Temps pleinÀ propos de notre client Notre client, acteur en croissance dans le secteur de l'énergie, cherche son nouveau Comptable Général Expert. Le poste est accessible en transport en commun. Description du poste Vos missions pour le poste de Comptable Général Expert seront les suivantes : Gestion et supervision de la comptabilité générale,...
-
Nounou 3 h/semaine à PALAISEAU pour 2 enfants, 5 ans, 8 ans
il y a 1 semaine
Palaiseau, Essonne, France KINOUGARDE Temps pleinPour une de nos familles, nous sommes à la recherche d'un(e) nounou à domicile à PALAISEAU pour 3 heures de travail par semaine pour garder 2 enfants, 5 ans, 8 ans.Tâches confiées : garde d'enfants/baby-sitting, sortie d'école, activités manuelles, sorties au parc, goûter, jeux d'éveil ou de société Ça change d'un job chez...
-
Nounou 3 h/semaine à PALAISEAU pour 2 enfants, 5 ans, 8 ans
il y a 1 semaine
Palaiseau, France KINOUGARDE Temps pleinPour une de nos familles, nous sommes à la recherche d'un(e) nounou à domicile à PALAISEAU pour 3 heures de travail par semaine pour garder 2 enfants, 5 ans, 8 ans.Tâches confiées : garde d'enfants/baby-sitting, sortie d'école, activités manuelles, sorties au parc, goûter, jeux d'éveil ou de société Ça change d'un job chez...
-
Gestionnaire approvisionnements
il y a 1 semaine
Palaiseau, France SpringCard Temps pleinSous la supervision du Directeur général de SpringCard, notre futur(e) gestionnaire d'approvisionnement sera chargé(e) de gérer les approvisionnements de l'entreprise et de maintenir des interactions régulières avec les fournisseurs et les sous-traitants, en tenant compte des niveaux de stocks.Les principales missions de ce poste seront les...
-
Gestionnaire approvisionnements
il y a 1 semaine
Palaiseau, Essonne, France SpringCard Temps pleinSous la supervision du Directeur général de SpringCard, notre futur(e) gestionnaire d'approvisionnement sera chargé(e) de gérer les approvisionnements de l'entreprise et de maintenir des interactions régulières avec les fournisseurs et les sous-traitants, en tenant compte des niveaux de stocks.Les principales missions de ce poste seront les...
-
Expert Technique Anapath H/F
il y a 2 semaines
Palaiseau, Essonne, France CERBA HEALTHCARE Temps pleinIdentifiant (email, de type exemple@exemple.fr) Mots clés (ex : ingénieur commercial Paris) Au sein du Groupe Cerba HealthCare, Cerba Path est un cabinet médical prenant en charge toutes les activités d’ anatomo-cytopathologie (ACP) . Nous sommes notamment spécialisés dans le dépistage du cancer du col de l'utérus. Notre...
-
Chef de secteur PMI Santé
il y a 1 jour
Palaiseau, France Conseils départementaux Temps pleinChef de secteur PMI Santé (2878) - Conseil départemental de l'Essonne Partager la page Veuillez pour partager sur Facebook, Twitter et LinkedIn * Fonction publique : Fonction publique Territoriale * Nature de l’emploi Emploi ouvert aux titulaires et aux contractuels * Expérience souhaitée Non renseigné Profil recherché Diplôme de docteur en...
-
Palaiseau, France SpringCard Temps pleinNotre Responsable Administratif et Financier joue un rôle essentiel dans l'organisation et la gestion des activités financières de SpringCard.Cette responsabilité implique une étroite collaboration avec les départements des finances et des ressources humaines du groupe STid.Vos missions opérationnelles se déclinent autour de quatre axes...
-
Palaiseau, Essonne, France SpringCard Temps pleinNotre Responsable Administratif et Financier joue un rôle essentiel dans l'organisation et la gestion des activités financières de SpringCard.Cette responsabilité implique une étroite collaboration avec les départements des finances et des ressources humaines du groupe STid.Vos missions opérationnelles se déclinent autour de quatre axes...
-
Ingénieur(e) RMS
il y a 1 semaine
Palaiseau, Essonne, France AXODYN Temps pleinQui sommes nous ?Créée en 2013, AXODYN est une société de services techniques spécialisée dans le domaines des infrastructures , des industries et des énergies.Nous intervenons intervenons sur des projets d'envergures dans les fonctions suivantes :Management de projets : Pilotage de projets, Planification, Contract & Cost management.Etudes et...
-
Ingénieur(e) RMS
il y a 1 semaine
Palaiseau, France AXODYN Temps pleinQui sommes nous ?Créée en 2013, AXODYN est une société de services techniques spécialisée dans le domaines des infrastructures , des industries et des énergies.Nous intervenons intervenons sur des projets d'envergures dans les fonctions suivantes :Management de projets : Pilotage de projets, Planification, Contract & Cost management.Etudes et...
