PhD Position in Scalable Translation Validation for High-Performance Computing and Machine Learning

il y a 5 jours


Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

Research Position in Scalable Translation Validation

The Ecole Normale Supérieure (ENS-Lyon) and Inria are seeking a PhD student to work on a research project focused on scalable translation validation for high-performance computing and machine learning. The project aims to investigate translation validation of programs with reductions and compile-time data allocation.

Key Responsibilities:

  • Develop verification algorithms and correctness proofs for translation validation
  • Implement the algorithms in C++
  • Validate the approach using Iowa State's compiler and HPC benchmarks

Requirements:

  • Notions in compilers, parallelism, and program analysis
  • Experience with C++
  • Fluent English reading, writing, and speaking skills

Benefits:

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT + possibility of exceptional leave
  • Possibility of teleworking and flexible organization of working hours
  • Professional equipment available
  • Access to vocational training
  • Complementary health insurance under conditions

Salary: 2,100 euros gross salary/month (1st and 2nd year), 2,190 euros gross salary/month (3rd year)



  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job DescriptionThe PhD student will conduct original research on scalable translation validation for high-performance computing and machine learning at INRIA, a French National Research Institute. The research will focus on investigating translation validation of programs with reductions and compile-time data allocation.Key ResponsibilitiesDevelop...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job DescriptionContext and BenefitsThe 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 is 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...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Join Our Research TeamWe are seeking a highly motivated PhD student to join our research team at INRIA, working on a project that aims to develop novel programming techniques for Domain-Specific Languages (DSLs) to optimize High Performance Computing (HPC) tasks.About the ProjectThe PhD will focus on proposing first-class optimisations, allowing users to...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job OpportunityThe INRIA is seeking a highly motivated PhD researcher to join our CASH team in Lyon, France. The successful candidate will work under the supervision of Gabriel Radanne, Inria researcher, and in collaboration with Richard Membarth, Professor at DFKI-Saarbröcken, Germany.Project OverviewThe PhD project aims to develop first-class...

  • Project Engineer

    il y a 4 semaines


    Lyon, Auvergne-Rhône-Alpes, France Siemens Industry Software SAS Temps plein

    About Siemens Industry Software SASSiemens Industry Software SAS is a leading provider of solutions for the design, simulation, and manufacture of products across many different industries. Our software is used in the development of complex systems, such as Formula 1 cars, skyscrapers, ships, and space exploration vehicles.Simcenter Engineering Services...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Context and Key Features of the PositionWithin the framework of a partnership between Inria and the Ecole Normale Supérieure de Lyon, we are seeking a postdoctoral researcher to contribute to the development of resource-efficient machine learning systems.Founded in 1880, the Ecole Normale Supérieure de Lyon is one of the most prestigious Grand Écoles in...

  • Machine Learning Engineer

    il y a 4 semaines


    Lyon, Auvergne-Rhône-Alpes, France Barrington James Temps plein

    Job Title: Machine Learning EngineerOur client, a pioneering AI-driven biotechnology company, is seeking a highly skilled Machine Learning Engineer to join their team. As a key member of the research and development team, you will be responsible for developing and implementing advanced AI algorithms for drug discovery projects, with a focus on macrocyclic...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job Title: Postdoctoral Research Visit F/M Postdoc position F/M Foundations of resource-efficient large-scale learningContext and Key Features of the PositionIn the framework of a partnership between Inria and the Ecole Normale Supérieure de Lyon, we are seeking a highly motivated postdoctoral researcher to join our team and contribute to the development of...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    About the PositionWe are seeking a highly motivated postdoctoral researcher to join our team at INRIA, a world-renowned research institution in computational sciences. The successful candidate will conduct a vigorous research program within the scope of our project, focusing on developing novel algorithms and techniques for resource-efficient machine...

  • Senior Researcher

    il y a 4 jours


    Lyon, Auvergne-Rhône-Alpes, France Inria Temps plein

    About the Centre or DepartmentInria Lyon is one of the 9 research centres of Inria, formally created in January 2022. It brings together approximately 300 people in 17 research teams and research support services. The centre is distributed in Villeurbanne, Lyon Gerland, and Saint-Etienne. Inria Lyon is active in the fields of software, distributed and...


  • Lyon, Rhône, France Barrington James Temps plein

    My client are an innovative AI Driven Biotechnology company working at the forefront of AI Powered Drug Discovery. They are on a mission to equip scientists and researchers globally with cutting-edge AI tools and state-of-the-art molecular modeling techniques to revolutionize pharmaceutical research.If you would like to be part of a dynamic startup, where...

  • PhD Researcher in Biology

    il y a 2 semaines


    Lyon, Auvergne-Rhône-Alpes, France IN-RGY Group Temps plein

    PhD Fellowship in BiologyA fully funded 3-year PhD fellowship is available at the Institut de Génomique Fonctionnelle de Lyon, France, to investigate the gene regulatory networks (GRNs) involved in leg development and regeneration in the crustacean model Parhyale hawaiensis.Job RequirementsMasters degree in Science, preferably in Biology or...


  • Lyon, Auvergne-Rhône-Alpes, France Swapcard Temps plein

    Unlock the Power of AI in Event TechnologyAt Swapcard, we're revolutionizing the event industry with our AI-powered platform. As a Senior Software Engineer, Machine Learning, you'll play a key role in shaping the future of event technology.About the RoleWe're seeking a highly skilled Machine Learning Engineer to join our team. You'll be responsible for...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job OpportunityThe INRIA is seeking a PhD candidate to work on a research project focused on first-class optimizations for code transformations as libraries with partial evaluation. The project aims to propose a novel approach to designing and implementing custom optimizations for Domain-Specific Languages (DSLs).About the ProjectThe PhD will take place in...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job Title: Postdoctoral Research Visit F/M Postdoc position F/M Foundations of resource-efficient large-scale learningContext and Key Features of the PositionIn the framework of a partnership between Inria and the Ecole Normale Supérieure de Lyon, we are seeking a highly motivated postdoctoral researcher to join our team and contribute to the development of...

  • Machine Learning Engineer

    il y a 4 semaines


    Lyon, Auvergne-Rhône-Alpes, France Barrington James Temps plein

    Our client is a pioneering AI-driven biotechnology company at the forefront of AI-powered drug discovery. They aim to equip scientists and researchers worldwide with cutting-edge AI tools and state-of-the-art molecular modeling techniques to revolutionize pharmaceutical research.As a key member of this dynamic startup, you will have the opportunity to work...


  • Lyon, Auvergne-Rhône-Alpes, France Swapcard Temps plein

    Transforming Events with AIAt Swapcard, we're pushing the boundaries of event technology with our AI-powered platform. As a Senior Software Engineer, Machine Learning, you'll be a key member of our team, focusing on developing and maintaining our recommendation system and meetings generator. Our platform is designed to drive revenue growth and foster...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job Opportunity at INRIAWe are seeking a highly skilled postdoctoral researcher to join our team at INRIA, a leading public research body in France dedicated to computational sciences.Research Focus:The recruited postdoc will conduct a vigorous research program within the scope of the project, focusing on developing resource-efficient machine learning...


  • Lyon, Auvergne-Rhône-Alpes, France Swapcard Temps plein

    About the RoleWe are seeking a highly skilled Senior Software Engineer, Machine Learning to join our team at Swapcard. As a key member of our Swapcard Lab team, you will be responsible for developing and maintaining our recommendation system and meetings generator.Key ResponsibilitiesDesign and implement machine learning models to generate new, valuable...


  • Lyon, Auvergne-Rhône-Alpes, France INRIA Temps plein

    Job OpportunityThe INRIA is seeking a PhD researcher to work on a project that aims to propose first-class optimisations for code transformations as libraries with partial evaluation. The project will take place in the CASH team, in LIP, Lyon, France, and will be supervised by Gabriel Radanne, Inria researcher, specialist in compilation of high-level...