High-Performance Computing Researcher in Scalable Translation Validation

Há 14 horas


Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiro

About the Position

We are seeking a highly skilled researcher to join our team at Inria, the French National Research Institute for the Digital Sciences. As a High-Performance Computing Researcher in Scalable Translation Validation, you will be working on investigating translation validation of programs with reductions and compile-time data allocation.

Job Description

The successful candidate will address several key points:

  • Verifying reductions: Formalizing reduction transformations in a unified way, supporting composition with loop transformations, and producing formalization by the compiler.
  • Verifying data allocation: Investigating compile-time data allocation required by automatic parallelization and proposing a relevant formulation.
  • Scalability: Proposing a first direct solver approach for simple cases and addressing scalability to handle real-life HPC programs.

Expected Outcomes

The PhD student will conduct original research on the topic described above, resulting in verification algorithms and correctness proofs, an effective implementation in C++, and the presentation of results at conferences.

Requirements

To succeed in this role, you should have notions in compilers, parallelism, and program analysis, experience with C++, and fluency in English reading, writing, and speaking. Excellent communication skills are also essential.

Benefits

This position offers a competitive salary of €2,100 per month (gross) in the first two years, increasing to €2,190 per month (gross) in the third year. You will also receive partial reimbursement of public transport costs, 7 weeks of annual leave, and access to vocational training.

Company Overview

Inria is a world-renowned research institute dedicated to advancing the digital sciences. Our researchers work at the forefront of innovation, pushing the boundaries of what is possible in computing and related fields.



  • Porto, Porto, Portugal Inria, The French National Research Institute For The Digital Sciences Tempo inteiro

    About InriaInria, The French National Research Institute For The Digital Sciences is a world-class research institution dedicated to advancing the field of digital sciences.Job DescriptionWe are seeking a highly motivated PhD researcher to join our team in Lyon, France. The successful candidate will have the opportunity to work on a cutting-edge project...


  • Porto, Porto, Portugal ALTER SOLUTIONS Tempo inteiro

    About ALTER SOLUTIONSWe're a cutting-edge company that's always pushing the boundaries of innovation. As a High-Performance Computing Specialist, you'll be part of our elite team that's dedicated to delivering top-notch performance engineering solutions.Job DescriptionAs a Performance Engineer, you'll work closely with our development teams to provide...


  • Porto, Porto, Portugal Université Paris-Saclay Gs Biosphera - Biologie, Société, Ecologie & Environnement, Ressources, Agri Tempo inteiro

    Company Overview: Université Paris-Saclay GS Biosphera - Biologie, Société, Ecologie & Environnement, Ressources, Agriculture & Alimentation is a renowned institution dedicated to advancing biological sciences.Estimated Salary: €45,000 - €60,000 per annum, depending on experience and qualifications.Job Description: We are seeking a skilled biologist...


  • Porto, Porto, Portugal Inesc Id Tempo inteiro

    About INESC IDINESC ID is a leading research institute dedicated to advancing technology and innovation. With a strong focus on Information Technologies, Electronics, Communications, and Energy, our team of experts has a proven track record of success in delivering cutting-edge projects.Salary and BenefitsThe successful candidate will receive a competitive...


  • Porto, Porto, Portugal Etp Nanomedicine Tempo inteiro

    Job DescriptionProject SummaryThe MOBILIsE project focuses on boosting the translation of molecular target design into diagnostic tools and therapies for major health challenges, particularly cancer, infection, neurodegenerative diseases, and tissue repair/regeneration, being explored at i3S.Job Responsibilities• Leading a new research direction in...


  • Porto, Porto, Portugal Cnrs Tempo inteiro

    Company Overview:">CNRS is a leading scientific research institution with a rich history of innovation and discovery.">Salary:">We offer an attractive salary package, estimated to be around €45,000-€60,000 per annum, depending on experience, to support your career growth and well-being.">Job Description:">This postdoctoral position focuses on advancing...


  • Porto, Porto, Portugal Ecole Polytechnique Tempo inteiro

    Job Opportunity at Ecole Polytechnique">Overview">Ecole Polytechnique, a prestigious French public institution of higher education and research, invites applications for a PhD researcher position in the field of advanced data analytics for cloud computing. Our team is focused on developing innovative solutions to optimize cost-performance in big data...

  • Senior Software Engineer

    4 semanas atrás


    Porto, Porto, Portugal Vertente Humana, Lda Tempo inteiro

    Job Title: Senior Software EngineerWe are seeking a highly skilled Senior Software Engineer to join our team. The ideal candidate will have expertise in cloud computing and software engineering. Key responsibilities include designing and developing scalable cloud-based applications, collaborating with cross-functional teams, and ensuring high-quality...


  • Porto, Porto, Portugal Etp Nanomedicine Tempo inteiro

    About the RoleWe are seeking an exceptional Senior Researcher to join our team at i3S, specializing in Molecular Bioengineering and Materials Engineering/Nanotechnology. As a Research Coordinator, you will lead a new research group, fostering a new research direction in Translation in Molecular Bioengineering.Key Responsibilities:Develop and execute a...


  • Porto, Porto, Portugal Etp Nanomedicine Tempo inteiro

    Senior Researcher in Molecular Bioengineering and Materials EngineeringWe are seeking a highly experienced and accomplished Senior Researcher in Molecular Bioengineering and Materials Engineering to join our team at Etp Nanomedicine.Job SummaryThe successful candidate will be responsible for leading a research group focused on Translation in Molecular...


  • Porto, Porto, Portugal Cnrs Tempo inteiro

    Job Opportunity**Company Overview**CNRS, a leading research institution, invites applications for a postdoctoral position in the Algorithms & Complexity group. The team is part of the Institut de Recherche en Informatique Fondamentale and focuses on theoretical computer science.SalaryThe estimated monthly salary for this position is around €3,500-€4,000,...


  • Porto, Porto, Portugal Université De Strasbourg Tempo inteiro

    About the PositionWe are seeking a highly motivated postdoctoral researcher to join our team at Université de Strasbourg. The successful candidate will investigate many-body phases, phase transitions, and dynamics of bosonic and fermionic quantum systems with long-range couplings.Job DescriptionThe position involves developing and utilizing quantum Monte...


  • Porto, Porto, Portugal Ecole Des Hautes Etudes En Sciences Sociales (Ehess) Tempo inteiro

    **Job Overview**Ecole des Hautes Etudes en Sciences Sociales (EHESS) is seeking a highly skilled postdoctoral researcher to join our Cognitive Machine Learning (CoML) team. The successful candidate will work on the ERC-funded InfantSimulator project, exploring the computational mechanisms that enable young children to learn their native language(s) more...


  • Porto, Porto, Portugal Cnrs Tempo inteiro

    Company OverviewThe CNRS is a leading research institution in France, dedicated to advancing scientific knowledge and innovation. Our researchers work in various fields, including energy, health, and the environment.SalaryWe offer a competitive salary, estimated at €45,000 - €60,000 per annum, depending on experience and qualifications.Job...

  • Cloud Computing Expert

    2 semanas atrás


    Porto, Porto, Portugal Five9 Tempo inteiro

    Company OverviewFive9 is a leading provider of cloud contact center solutions, empowering businesses to deliver exceptional customer experiences.About the RoleWe are seeking an experienced Senior Software Engineer to join our team. As a key member of our engineering department, you will play a critical role in designing and developing scalable, highly...


  • Porto, Porto, Portugal Rws Group Tempo inteiro

    Job Purpose:As a key member of our Translation and Resourcing teams, you will perform a variety of administrative and coordination functions to deliver high-quality results and on-time delivery of translation projects. You will apply your working knowledge of the translation function and coordination skills to ensure effective resourcing and delivery of...


  • Porto, Porto, Portugal Mindera Group Tempo inteiro

    About the PositionWe are seeking a highly skilled Cloud Engineer to join our team at Mindera Group. As a key member of our software development team, you will be responsible for designing, implementing, and maintaining scalable and secure cloud-based systems.Key ResponsibilitiesDesign and implement cloud-based architectures for scalable and resilient...

  • Software Engineer

    4 semanas atrás


    Porto, Porto, Portugal Mota-Engil Tempo inteiro

    About the Role:At our company, we are seeking a skilled Cloud Computing Engineer to join our software development team. As a key member of our team, you will be responsible for designing, implementing, and maintaining scalable cloud-based systems. If you have a passion for cloud computing and are eager to contribute to our innovative projects, we encourage...

  • Senior Software Engineer

    4 semanas atrás


    Porto, Porto, Portugal Grupo Barreiros Tempo inteiro

    Our company is seeking a skilled Senior Software Engineer to join our team and contribute to the development of our cloud computing solutions. The ideal candidate will have experience with cloud infrastructure and be able to design and implement scalable and secure systems.Design and implement cloud-based solutions using cloud infrastructure...


  • Porto, Porto, Portugal Etp Nanomedicine Tempo inteiro

    Company OverviewEtp Nanomedicine is a renowned research institution focused on advancing the field of nanomedicine. Our organization is committed to fostering innovation and excellence in molecular bioengineering, materials engineering, and nanotechnology.SalaryWe are offering a highly competitive salary of €120,000 per annum, commensurate with experience,...