PhD Position F/M Scalable Translation Validation for High-Performance Computing and Machine Learning
Il y a 2 mois
Contexte et atouts du poste
The PhD thesis will be held at Ecole Normale Supérieure (ENS-Lyon), in Lyon, France . ENS-Lyon is one of the top public universities in France and its ranked among the best universities in the world (QS world university ranking: 184).
The PhD student will be an employee of Inria, the French National Research Institute of Research in Computer Science which covers a wide spectrum of research in Computer Science.
This PhD thesis is within a collaboration framework between Inria Lyon and Iowa State University (USA).
Mission confiée
The overall objective of this PhD thesis is to investigate translation validation of programs with reductions and compile-time data allocation . In particular, the PhD student will address the following points.
Verifying reductions. Many reduction transformation exist (factorization, semantic tiling, reduction parallelization). How to formalize them in unified way? How to support the composition with loop transformations? How that formalization might be produced by the compiler? Finally, how to check it in a scalable way? The polyhedral model provides a formalization of some of these transformations which enables solver-based checking. A reduction-compliant extension could be investigated. Verifying data allocation. The same questions arise for compile-time data allocation required by automatic parallelization (array privatisation, array contraction, struct/array permutation, etc) and will be investigated as well. In particular the framework of linear intra-array allocation and affine inter-array allocation could help to find a relevant formulation. Scalability. If possible, a first direct solver approach will be proposed for simple cases. Then, the scalability will be addressed to handle real-life HPC programs. How to parallelize the whole process? How to reduce the overall complexity? A trace-based solution could also be investigated. Validation. The approach will be validated on HPC benchmarks.
Principales activités
The PhD student will conduct original researches on the topic described above. The expected outcome includes:
Verification algorithms and correctness proofsEffective implementation in C++
Successful benchmarking using Iowa State's compiler
Activities includes, but are not limited to: bibliographical synthesis, research, proof writing, software implementation, presentation of results at conferences, attending research schools, etc.
Compétences
Technical skills and level required : Notions in compilers, parallelism and program analysis. Experience with C++.
Languages : Fluent english reading, writing and speaking
Relational skills : Excellent
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 (90 days / year) 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 Complementary health insurance under conditions
Rémunération
1st and 2nd year: 2 100 euros gross salary /month
3rd year: 2 190 euros gross salary / month
-
Sustainability and Explainability Through Learning
il y a 1 mois
Lyon, France École des Mines de Saint-Étienne Temps plein**Sustainability and Explainability through Learning on Large Knowledge Graphs**: - Réf **ABG-122014** - Sujet de Thèse- 29/03/2024- Contrat doctoral- École des Mines de Saint-Étienne- Lieu de travail- Saint-Étienne - Auvergne-Rhône-Alpes - France- Intitulé du sujet- Sustainability and Explainability through Learning on Large Knowledge Graphs- Champs...
-
Lyon, France INRIA Temps pleinContexte et atouts du poste The PhD will take place in the CASH team, in LIP, Lyon, France. It will be supervised by Gabriel Radanne, Inria researcher, specialist in compilation of high level languages. It will be made in collaboration with Richard Membarth, Professor at DFKI-Saarbrücken, Germany. Principales activités # Abstract ...
-
Lyon, France INRIA Temps pleinContexte et atouts du poste The PhD will take place in the CASH team, in LIP, Lyon, France. It will be supervised by Gabriel Radanne, Inria researcher, specialist in compilation of high level languages. It will be made in collaboration with Richard Membarth, Professor at DFKI-Saarbrücken, Germany. Principales activités # Abstract ...
-
Developer R&d
il y a 1 semaine
Lyon, France Atos Temps plein**Developer R&D - Software for Energy Efficiency and Decarbonization (M/F)**: - Publication Date: Feb 6, 2024- Ref. No: 505766- Location: Échirolles, FR, 38130**Eviden** is an **Atos** Group business with an annual revenue of circa € 5 billion and a global leader in data-driven, trusted and sustainable digital transformation. As a next generation digital...
-
Apport de L'approche Fonctionnelle Pour La Conduite
il y a 1 mois
Lyon, France Université Grenoble Alpes Temps plein**Apport de l'approche fonctionnelle pour la conduite d'expérience reproductible des systèmes distribués // Functional Experimental Design for Reproducible Distributed Systems**: - Réf - **ABG-114831** **ADUM-50273** - Sujet de Thèse- 30/05/2023- Université Grenoble Alpes- Lieu de travail- Saint-Martin-d'Hères - France- Intitulé du sujet- Apport de...
-
Machine Learning Engineer
il y a 4 jours
Lyon, France Konecranes Temps pleinEmployment type: Undefined term- Full-time/part-time position: Full time- Job Code USA/CA: **MACHINE LEARNING ENGINEER (W/M) - Lyon (Part Dieu)**: - Konecranes is a world-leading group of Lifting Businesses, serving a broad range of customers. We are truly a global company with 18,000 employees at 600 locations in 50 countries. For over 80 years, we have...
-
Lecturer in Financial and Managerial Accounting F/m
il y a 1 mois
Lyon, France Institut Paul Bocuse Temps plein**LECTURER in Financial and Managerial Accounting F/H As part of its strategic development and rapid growth, Institut Paul Bocuse, international school of hospitality, food services and culinary arts management, is looking for highly qualified and high-potential - Lecturer in Accounting (Financial Accounting, Managerial Accounting, Cost-Control,...
-
Lyon, France INRIA Temps pleinPost-Doctoral Research Visit F/M Classical algorithms for quantum Hamiltonians Le descriptif de l’offre ci-dessous est en Anglais Type de contrat : CDD Contrat renouvelable : Oui Niveau de diplôme exigé : Thèse ou équivalent Fonction : Post-Doctorant A propos du centre ou de la direction fonctionnelle The Inria...
-
Lecturer in Accouting and Finance F/m
il y a 1 mois
Lyon, France Institut Paul Bocuse Temps plein**Lecturer in Accounting and Finance F/M As part of its strategic development and rapid growth, the Institut Lyfe (ex-Institut Paul Bocuse), international school of hospitality, food service and culinary arts management, is seeking for a: - **Lecturer in Accounting and Finance** (courses include Accounting, Cost Control, Performance Analysis, Introduction...
-
Machine Learning Engineer
il y a 4 jours
Lyon, France Konecranes Temps pleinPays: France- Localisation: LYON, 69, FR- Localisation détaillée: - Type d'emploi: Terme non défini- Poste à plein temps / temps partiel: Temps plein**Machine Learning Engineer (F/H) - Lyon (Part-Dieu)**: - Konecranes is a world-leading group of Lifting Businesses, serving a broad range of customers. We are truly a global company with 18,000 employees...
-
Associate Professor in Marketing F/m
il y a 1 mois
Lyon, France Institut Paul Bocuse Temps plein**ASSISTANT OR ASSOCIATE PROFESSOR in Marketing F/M As part of its strategic development and rapid growth, Institut Paul Bocuse, international school of hospitality, food service and culinary arts management, is looking for highly qualified and high-potential - **Associate Professor in Marketing F/M (digital, sales, negotiation)** - Institut Paul Bocuse is...
-
Associate Professor in Entrepreneurship F/m
il y a 1 mois
Lyon, France Institut Paul Bocuse Temps plein**ASSISTANT OR ASSOCIATE PROFESSOR in Entrepreneurship F/M As part of its strategic development and rapid growth, Institut Paul Bocuse, international school of hospitality, food service and culinary arts management, is looking for highly qualified and high-potential - **Associate Professor in Entrepreneurship F/M (Entrepreneurship, strategy)** - Institut...
-
Learning Technology Officer
il y a 1 mois
Lyon, France World Health Organization Temps plein**Grade**: P3 **Contractual Arrangement**: Fixed-term appointment **Contract Duration (Years, Months, Days)**: 2 years **Job Posting**: Apr 3, 2024, 6:31:07 AM **Closing Date**: Apr 24, 2024, 4:59:00 PM **Primary Location**: France-Lyon **Organization**: HQ/ACD WHO Academy **Schedule**: Full-time **OBJECTIVES OF THE PROGRAMME**: The World Health...
-
Associate Professor in Management F/m
il y a 1 mois
Lyon, France Institut Paul Bocuse Temps plein**ASSOCIATE PROFESSOR in Management F/M As part of its strategic development and rapid growth, Institut Paul Bocuse, international school of hospitality, food service and culinary arts management, is looking for highly qualified and high-potential - **Associate Professor in Management F/M (profile: change management, digital** **transformation, educational...
-
Internship: Adaptive Sampling for Training Deep
il y a 1 semaine
Lyon, France Inria Temps pleinLe descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat **:Convention de stage**Niveau de diplôme exigé **:Bac + 4 ou équivalent**Fonction **:Stagiaire de la rechercheA propos du centre ou de la direction fonctionnelle The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7 research...
-
Process Validation for Biological Safety
Il y a 2 mois
Lyon, France Talents Solutions Temps pleinThe Company: The company is an innovative French company of 30 people specializing in the design and manufacture of orthopedic Medical Devices for extremity surgery. The expectations regarding practitioners' performance are constantly increasing, regulatory requirements are rising, and the optimization of technical platforms is a necessity. In this...
-
Process Validation for Biological Safety
il y a 1 jour
Lyon, France Talents Solutions Temps pleinThe Company: The company is an innovative French company of 30 people specializing in the design and manufacture of orthopedic Medical Devices for extremity surgery. The expectations regarding practitioners' performance are constantly increasing, regulatory requirements are rising, and the optimization of technical platforms is a necessity. In this...
-
Validation engineer and computer systems F/M
Il y a 2 mois
Lyon, France Audensiel Temps pleinValidation engineer and computer systems F/M Lyon, France Type contrat Full time Présentation de l'entreprise A multi-specialist player in digital transformation, business consulting and technology consulting, Audensiel supports its clients in all sectors of activity in France and internationally in the following areas: - Digital: digital...
-
Validation engineer and computer systems F/M
il y a 17 heures
Lyon, France Audensiel Temps pleinValidation engineer and computer systems F/M Lyon, France Type contrat Full time Présentation de l'entreprise A multi-specialist player in digital transformation, business consulting and technology consulting, Audensiel supports its clients in all sectors of activity in France and internationally in the following areas: - Digital: digital...
-
Using Artificial Intelligence for The Development
il y a 4 semaines
Lyon, France Laboratoire de Biométrie et Biologie Evolutive (LBBE), Lyon Temps plein**Using Artificial Intelligence for the Development of a Clinical Prediction Model in Clinical Toxicology (TOX-KBS)**: - Réf - **ABG-110251** - Stage master 2 / Ingénieur- Durée 6 mois- Salaire net mensuel 500- 15/01/2023- Laboratoire de Biométrie et Biologie Evolutive (LBBE), Lyon- Lieu de travail- lyon Auvergne-Rhône-Alpes France- Champs...