Programme de recherche NumPEx
Internship on Fault-tolerant scheduling strategies for iterative algorithms
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
Internship Opportunity
Anne Benoit and Yves Robert are looking for their next M2 student.
Application Details
Applications should be sent to Anne Benoit (Anne.Benoit@ens-lyon.fr).
General Information
- Duration: 6 months
- Starting Date: Spring, 2025 (PhD thesis starting Fall 2025)
- Location: ENS Lyon, LIP laboratory
This internship is expected to continue with a PhD thesis, for which funding from the NumPEx PEPR program is already secured.
Context
Launched in 2023 for a duration of 6 years, The NumPEx PEPR aims to contribute to the design and development of numerical methods and software components that will equip future European Exascale and post-Exascale machines. NumPEx also aims to support scientific and industrial applications in fully exploiting their potentials.
Several error sources may impact the execution of iterative algorithms on large-scale platforms. They include fail-stop errors, that are immediately detected, and silent errors (silent data corruptions), that can be detected through some verification mechanism. Fail-stop errors correspond to permanent failures, e.g., processor crashes. Silent errors are disruptions that strike and stay undetected until they manifest eventually through strange application behavior. Silent errors arise from two main sources: computation errors and memory bit-flips.
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
Protecting algorithms and software libraries from all these errors is a major concern within the HPC community.
Mission
The first (and main) objective of this internship is to design and assess scheduling strategies based upon a combination of checkpoints and imperfect detectors to guarantee protection from a single source of silent errors with a high probability. This requires to introduce some assumptions, such as upper bounding the latency of the detection, or to introduce randomized tests on the data.
The second step (that may come later during a PhD) is to provide a resilient holistic methodology to protect iterative algorithms from all error types, namely fail-stop errors and all sources of silent errors.
Get help with your application
Your very own career expert that helps elevate your application to the next level.
Required Skills
- Some knowledge in algorithm design, complexity, and probabilities.
- The work is on the algorithmic side of the problem, with potential simulations to validate the results.
How to Apply
Applications should be sent to Anne Benoit (Anne.Benoit@ens-lyon.fr). They should include in a single PDF file:
- A motivation letter
- A Detailed CV
- An academic transcript (bachelor/master)
- One-page summary of the research work conducted so far, and list of publications (if any)
- At least two recommendation letters.
More Information and References
For further information, please contact Anne Benoit (Anne.Benoit@ens-lyon.fr), Yves Robert (Yves.Robert@ens-lyon.fr) or Emmanuel Agullo (Emmanuel.Agullo@inria.fr).
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London
Skills