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

il y a 4 semaines


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

    Research Opportunity at INRIAThe PhD student will conduct original research on scalable translation validation for high-performance computing and machine learning. The overall objective of this research is to investigate translation validation of programs with reductions and compile-time data allocation.Key ResponsibilitiesFormalize reduction transformations...


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

    Seeking a motivated PhD candidate to join our team at Inria, the French National Research Institute of Research in Computer Science, and conduct innovative research on translation validation for high-performance computing.We are looking for a talented individual with strong programming skills and a passion for addressing complex technical challenges. As an...


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

    Context and Advantages of the PositionThe PhD position is located in the CASH team, part of the LIP laboratory in Lyon, France. It will be supervised by Gabriel Radanne, an expert in high-level language compilation. The researcher will collaborate with Richard Membarth, a Professor at DFKI-Saarbrücken in Germany.Main ActivitiesDomain-Specific Languages...


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

    Research Opportunity in High-Performance ComputingThe PhD researcher will be part of the CASH team at LIP, Lyon, France, working under the supervision of Gabriel Radanne, Inria researcher, and in collaboration with Richard Membarth, Professor at DFKI-Saarbrücken, Germany.Key Responsibilities:Design and develop novel programming techniques for...

  • ​Software Engineer

    il y a 3 semaines


    Lyon, Auvergne-Rhône-Alpes, France Grant Thornton Temps plein

    Job Description:We are seeking a highly skilled Software Engineer to join our team as a Cloud Computing Specialist. The ideal candidate will have expertise in designing and developing high-performance cloud architectures and solutions. Responsibilities:Design and develop scalable and secure cloud-based systems.Collaborate with cross-functional teams to...


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


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

    Context and Key Features of the PositionThe PhD research will be conducted in the CASH team at LIP, Lyon, France, under the supervision of Gabriel Radanne, an Inria researcher specialising in high-level language compilation. The project will involve collaboration with Richard Membarth, a professor at DFKI-Saarbrücken, Germany.Main Research Activities#...


  • Lyon, Auvergne-Rhône-Alpes, France ITL-FR (Services) Temps plein

    About the Role:As a Senior Software Developer with proficiency in AI and Machine Learning, you will be responsible for designing, developing, and maintaining software applications that utilize cutting-edge technologies. Your expertise in machine learning and AI will enable our team to create innovative solutions that drive business growth.Key...

  • Senior Software Engineer

    il y a 3 semaines


    Lyon, Auvergne-Rhône-Alpes, France AGENCE CADRES Temps plein

    About the Role:As a Senior Software Engineer on our Cloud Architecture and Development team, you will be responsible for designing and implementing scalable cloud-based systems. Your expertise in cloud computing will enable you to ensure high availability and performance of our applications. If you are passionate about cloud infrastructure and have a strong...


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

    About the Role:We are seeking a skilled Sr. Software Engineer with expertise in cloud computing to join our team at {company}. The successful candidate will be responsible for designing, developing, and maintaining scalable cloud-based software systems.Key Responsibilities:Design and develop cloud-based software systems using AWS, Azure, or Google Cloud...


  • Lyon, Auvergne-Rhône-Alpes, France Diderot Education - Campus de Lyon Temps plein

    About the Role: As a senior software developer, you will be responsible for designing and developing scalable cloud-based applications using Python. Key Responsibilities:1. Design and develop cloud-based applications using Python2. Collaborate with cross-functional teams to identify and prioritize project requirements3. Ensure high-quality code delivery and...


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

    Job Title: Software EngineerWe are looking for a skilled Software Engineer with expertise in Artificial Intelligence and Machine Learning to join our team at Company.As a Software Engineer, you will be responsible for designing, developing, and testing AI and ML models to improve our products and services. Your primary focus will be on developing...

  • Senior Software Engineer

    il y a 3 semaines


    Lyon, Auvergne-Rhône-Alpes, France Partnaire LYON SIPRA Temps plein

    About the RoleWe are seeking a highly skilled Senior Software Engineer to join our team and help us design and implement high-performance systems that meet the needs of our clients.The ideal candidate will have a strong background in software engineering and a proven track record of delivering scalable and efficient solutions.The successful candidate will be...


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

    As a seasoned Senior Software Developer, you will play a key role in driving our company's mission to deliver innovative cloud-based solutions. With expertise in cloud computing and DevOps, you will lead the design and implementation of scalable and secure applications that meet the highest standards of quality and efficiency.Key Responsibilities:Design...


  • Lyon, Auvergne-Rhône-Alpes, France Association PAPAVL MAD SP Temps plein

    Job Title: Cloud Computing and Python DeveloperAbout the Role: We are seeking an experienced Cloud Computing and Python developer to join our team. The successful candidate will have a strong background in cloud computing and Python development and will be responsible for designing, developing, and maintaining our cloud-based...


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

    Job Title: Software EngineerAbout the Role:We are seeking a skilled software engineer to join our team. The ideal candidate will have expertise in machine learning and data analysis. In this role, you will be responsible for designing and developing software solutions that meet business needs.Responsibilities:* Design and develop software solutions using...

  • Senior Researcher

    il y a 4 semaines


    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, 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 DIT SYSTEMES (93130) Temps plein

    We are looking for a skilled Social Media Content Creator to join our team at {company}. The ideal candidate will have a strong background in software development and data science, with expertise in machine learning and data analysis. The successful candidate will be responsible for developing and deploying AI models, as well as analyzing and interpreting...