Programmes en Ligne Droite, Performances Extrêmes

Il y a 2 mois

Palaiseau, France CNRS Temps plein

Cette offre est disponible dans les langues suivantes:

- Français
- Anglais

Date Limite Candidature : mardi 15 octobre 2024 23:59:00 heure de Paris

**Informations générales**:
Référence : UMR7161-GOVVAN-007
Nombre de Postes : 1
Lieu de travail : PALAISEAU
Date de publication : mardi 24 septembre 2024
Type de contrat : CDD Doctorant/Contrat doctoral
Durée du contrat : 36 mois
Date de début de la thèse : 1 novembre 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**:

- Considérons le type le plus simple de problèmes numériques que l'on peut construire sur un processeur en utilisant une séquence d'opérations arithmétiques sur des nombres à virgule flottante et sans aucune structure de contrôle non triviale. Nous les appelons programmes en ligne droite ou SLP. Plus généralement, on peut considérer tout ensemble fini d'opérations « de base » (au lieu des opérations arithmétiques) sur un type de données « de base » (au lieu des nombres à virgule flottante de la machine).

Par exemple, le SLP suivant peut être utilisé pour calculer la fonction x^2 + 2 (y - 3 z)^4:
v_4 3 × v_3
v_4 v_2 - v_4
v_4 v_4 × v_4
v_4 v_4 × v_4
v_4 2 × v_4
v_5 v_1 × v_1
v_4 v_4 + v_5.

Ici, v_1,...,v_5 sont un nombre fini de « registres » que nous utilisons pour contenir nos données (nombres à virgule flottante). Certains de ces registres correspondent à l'entrée de notre SLP (à savoir v_1=x, v_2=y, et v_3=z) et d'autres à la sortie (à savoir v_4). Les arguments des instructions sont soit des registres, soit des constantes (telles que 2 et 3).

D'une part, les SLP peuvent naturellement être considérés comme un type de données. Par exemple, le programme ci-dessus est une représentation possible du polynôme x^2 + 2 (y - 3 z)^4 et il est naturel de prendre en charge cette représentation dans les bibliothèques dédiées aux calculs avec des polynômes multivariés. D'autre part, les SLP peuvent être considérés comme des programmes. Par conséquent, nous pouvons utiliser les techniques des compilateurs pour effectuer des tâches de base sur les SLP, telles que l'élimination des sous-expressions communes, l'allocation des registres, ou la génération de bytecode qui peut être directement exécuté sur le CPU.

L'objectif principal de cette thèse est de développer et d'implémenter des algorithmes extrêmement efficaces pour de nombreux calculs avec des SLP, en exploitant leurs avantages spécifiques:

- Contrairement aux programmes d'usage général, les SLP peuvent être représentés de manière simple et adaptée à des manipulations efficaces.
- L'absence de structures de contrôle non triviales permet également de spécialiser les techniques de compilation à usage général afin d'obtenir des gains d'efficacité supplémentaires.
- Bien que le formalisme des SLP soit limité et fortement contraint par sa conception, il permet des ensembles arbitraires d'opérations de base et des types de données de base arbitraires. Pour plusieurs types de données de base intéressants, cela permet de développer des optimisations mathématiques spécifiques qui seraient difficiles à réaliser pour des programmes d'usage général.
- La simplicité du formalisme nous invite à étudier et à prendre en charge des types de matériel plus exotiques, tels que les GPU, les coprocesseurs matriciels ou les grands réseaux.

**Contexte de travail**:
Le projet sera financé par l'ERC ODELIX. L'étudiant travaillera au sein de l'équipe MAX de calcul formel, disposera de matériel informatique adéquat, et sera incité de participer régulièrement à des manifestations scientifiques.

**Informations complémentaires**:
Le projet sera financé par l'ERC ODELIX qui démarre le 1er octobre 2024.

  • Responsable performance gares Metro F/H

    il y a 1 semaine

    Palaiseau, Île-de-France Keolis Temps plein

    Description du posteVous rejoignez l'équipe de Keolis Compagnie du Métro du Grand Paris (KCMGP L18) en tant que responsable des performances des gares. Votre mission consiste à garantir le niveau de service proposé aux voyageurs en gare, en pilotant les équipements et les équipes opérationnelles.Fonctions clésGestion des performances des gares :...

  • Manager de La Performance Des Gares

    il y a 15 heures

    Palaiseau, France IDF - Transkeo Temps plein

    Manager de la performance des gares - F/H Marketing Keolis est un des leaders mondiaux de la mobilité partagée et le partenaire privilégié des Autorités Organisatrices de Mobilité. Ensemble, nous co-construisons des solutions de transport en commun sûres, performantes et durables qui renforcent l'attractivité des territoires. En 2023, le Groupe a...

  • Responsable Performance Gares Metro

    il y a 15 heures

    Palaiseau, France IDF - Keolis Compagnie du Métro du Grand Paris Temps plein

    Responsable performance gares Metro F/H Exploitation **Rejoignez la grande aventure du métro automatique en Île-de-France avec Keolis !** Le Groupe Keolis est un acteur majeur du transport de voyageurs présent sur le territoire français et dans 13 pays à travers le monde. Dès octobre 2024, **Keolis **se mobilise pour préparer la première phase de...

  • Responsable performance gares Metro F/H

    il y a 1 semaine

    Palaiseau, France Keolis Temps plein

    Responsable performance gares Metro F/H  Exploitation  Rejoignez la grande aventure du métro automatique en Île-de-France avec Keolis ! Le Groupe Keolis est un acteur majeur du transport de voyageurs présent sur le territoire français et dans 13 pays à travers le monde. Dès octobre 2024, Keolis se mobilise pour préparer la première phase de mise...

  • Ingénieur de Recherche en Programmation Quantique

    il y a 4 semaines

    Palaiseau, Île-de-France Thales Temps plein

    Qui sommes-nous ?Thales Research & Technology est le centre de recherche et de technologies du groupe Thales. Nous sommes situés sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay.Nos équipes de recherche travaillent en partenariat avec le monde académique et les...

  • Développeur de codes haute performance

    il y a 3 semaines

    Palaiseau, Île-de-France CNRS Temps plein

    Présentation de l'offreL'Institut des sciences de l'ingénierie et des systèmes (INSIS) recherche un Développeur de codes haute performance pour rejoindre son équipe informatique. L'ingénieur travaillera sur le développement de codes open source et communautaires massivement parallèles pour étudier la physique des...

  • Ingénieur en programmation quantique

    il y a 4 semaines

    Palaiseau, Île-de-France Thales Temps plein

    QUI 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 à...

  • Développeur haute performance pour la physique des plasmas

    il y a 3 semaines

    Palaiseau, Île-de-France CNRS Temps plein

    MissionsL'ingénieur travaillera sur la conception et le développement de codes de simulation numérique pour étudier la physique des plasmas.Il travaillera également sur des codes de visualisation et d'analyse de données.Activités principales :Développer des codes de simulation numériqueConcevoir des architectures logicielles...

  • Ingénieur de recherche en conception matérielle haute performance pour processeurs RISC-V

    il y a 3 semaines

    Palaiseau, Île-de-France THALES Temps plein

    Rôle et responsabilitésVous rejoindrez l'équipe de recherche de Thales Research & Technology France, spécialisée dans le développement de technologies innovantes pour les systèmes embarqués. En tant qu'ingénieur de recherche, vous serez chargé(e) de concevoir et de développer des architectures de calcul pour processeurs RISC-V haute...

  • Responsable Du Service Des Affaires Juridiques

    Il y a 5 mois

    Palaiseau, France PARCOURS PUBLIC RH Temps plein

    Rejoindre Palaiseau, c'est rejoindre une ville jeune, attractive et originale qui concilie développement économique et qualité de vie ! Avec ses 38 000 habitants, Palaiseau est ancrée au sein du Grand Paris et accessible grâce à ses 4 gares situées sur la ligne de RER B et en 2026 avec une gare de la ligne 18 sur le territoire. PARCOURS PUBLIC RH,...

  • Développeur calcul haute performance H/F

    il y a 4 semaines

    Palaiseau, France CNRS Temps plein

    Informations générales Ouverte aux titulaires et CDI CNRS & fonction publique Intitulé de l'offre : Développeur calcul haute performance H/F Référence : UMR7648-MOBINT-F56621 Lieu de travail : PALAISEAU Institut : INSIS - Institut des sciences de l'ingénierie et des systèmes Date de publication : lundi 4 novembre 2024 Session : Mobilité au...

  • Développeur calcul haute performance H/F

    il y a 2 semaines

    Palaiseau, France CNRS Temps plein

    Informations générales Ouverte aux titulaires et CDI CNRS & fonction publique Intitulé de l'offre : Développeur calcul haute performance H/F Référence : UMR7648-MOBINT-F56621 Lieu de travail : PALAISEAU Institut : INSIS - Institut des sciences de l'ingénierie et des systèmes Date de publication : lundi 4 novembre 2024 Session : Mobilité au...

  • Stage Generalisation de La Modelisation Rlcg de

    il y a 1 mois

    Palaiseau, France EDF Temps plein

    Mise en ligne le 19/10/2024 Principales caractéristiques de l'offre d'emploi - Type de contrat: - Stage - Niveau de formation: - BAC +4 / BAC +5 - Spécialité(s): - Ingénierie / Expertise / Recherche - Pays / Région: - France / Ile-de-France - Département: - Essonne (91) - Ville: - 7 bOULEVARD GASPARD MONGE 91120 - EDF est labellisé Happy...

  • Postdoctorant en co-conception stratégique

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreNous recherchons un postdoctorant pour rejoindre notre équipe de recherche en intelligence artificielle pour systèmes embarqués. Le candidat idéal sera titulaire d'un doctorat en IA pour systèmes embarqués avec une expérience en conception de réseau de neurones optimisé ciblant des composants numériques (GPU/FPGA/Asic) avec...

  • Ingénieur de Recherche en programmation et calcul quantique

    Il y a 4 mois

    Palaiseau, France Thales Temps plein

    QUI 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...

  • Référent programme européen « Excellence Scientifique » CDI-(F/H)

    Il y a 3 mois

    Palaiseau, France Institut Polytechnique de Paris Temps plein

    Présentation du service : Le Grants Office, service mutualisé avec tous les établissement membres de l’Institut Polytechnique de Paris (IP Paris), a pour principale mission de soutenir le développement de la recherche au sein d’IP Paris, prioritairement par la croissance des financements, notamment européens. Plus largement, le Grants Office a...

  • Spécialiste en Propriété Intellectuelle pour un Développement Innovent

    il y a 2 semaines

    Palaiseau, Île-de-France THALES Temps plein

    La société Thales recherche un spécialiste en propriété intellectuelle pour rejoindre son équipe de développement innovent.Description du posteL'objectif principal de ce poste est d'apporter une expertise dans la gestion et le suivi des brevets, marques et autres droits de propriété intellectuelle. Vous contribuerez à l'élaboration de stratégies...

  • Stage en vision par ordinateur et deep learning H/F

    il y a 6 jours

    Palaiseau, France CEA Temps plein

    Description de l'offre Contexte du stage Le développement de robots autonomes, qu’il s’agisse de robots terrestres comme volants, nécessite la mise en place d’intelligences artificielles (IA) capables d’interpréter l’environnement observé par ce dernier. Pour pouvoir raisonner au-delà du seul environnement observable par ses capteurs à...

  • Responsable Des Circulations Et Interventions en

    Il y a 6 mois

    Palaiseau, France ALSTOM Temps plein

    POURQUOI REJOINDRE L'AVENTURE ALSTOM ? - À la tête des entreprises qui s’engagent vers un avenir plus vert, Alstom développe et commercialise des solutions de mobilité qui apportent les fondements durables pour l'avenir des transports. Notre portefeuille de produits s'étend des trains à grande vitesse, métros, monorails et tramways jusqu’aux...

  • PostDoc: Co-design strategy

    Il y a 6 mois

    Palaiseau, France CEA Temps plein

    Description de l'offre Sujet PostDoc en Intelligence Artificielle pour les systèmes embarqués Stratégie de co-conception pour l'exploitation de la sparsité spatio-temporelle dans les réseaux de neurones Transformer à l'inférence et à l'apprentissage L'objectif du PostDoc est d'identifier, d'analyser et d'évaluer les mécanismes de modulation...