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

Job Description

The 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 Responsibilities

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

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 (90 days/year) and flexible organization of working hours
  • Professional equipment available
  • Social, cultural, and sports events and activities
  • Access to vocational training
  • Complementary health insurance under conditions

Salary

1st and 2nd year: 2,100 euros gross salary/month

3rd year: 2,190 euros gross salary/month



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


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


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

    Job Opportunity We are seeking a skilled developer to join our team at Inria, working on the development and deployment of the Virtual Imaging Platform (VIP). About the Job As a developer on our team, you will be responsible for adapting and implementing the current implementation of VIP and its related dependencies for our targeted infrastructure. This will...


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

    About this role:We are seeking a highly skilled Software Engineer to join our team of experts in high-performance systems.As a member of our team, you will be responsible for designing, developing, and maintaining complex software systems that meet the highest standards of quality and efficiency.Responsibilities:Design and develop high-performance software...


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

    Crop Protection Solutions through Molecular DesignAbout the Role:We are seeking a talented Molecular Designer to join our team in Lyon, France. As a key member of our global R&D organization, you will contribute to the discovery of innovative crop protection solutions against plant diseases.Key Responsibilities:Design and propose new molecules with...