PhD Position in Scalable Translation Validation for High-Performance Computing and Machine Learning
il y a 5 jours
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 pleinJob 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 pleinJob 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...
-
PhD Position in High Performance Computing Optimization
il y a 3 semaines
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinJoin 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 pleinJob 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 pleinAbout 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 pleinContext 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 pleinJob 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...
-
Postdoctoral Researcher in Resource-Efficient Machine Learning
il y a 3 semaines
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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 pleinAbout 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 pleinAbout 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...
-
Machine Learning Engineer
Il y a 2 mois
Lyon, Rhône, France Barrington James Temps pleinMy 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 pleinPhD 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...
-
Senior Software Engineer, Machine Learning
il y a 3 semaines
Lyon, Auvergne-Rhône-Alpes, France Swapcard Temps pleinUnlock 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 pleinJob 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...
-
Postdoctoral Researcher in Resource-Efficient Machine Learning
il y a 3 semaines
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob 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 pleinOur 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...
-
Senior Software Engineer, Machine Learning
il y a 4 jours
Lyon, Auvergne-Rhône-Alpes, France Swapcard Temps pleinTransforming 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 pleinJob 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...
-
Senior Software Engineer, Machine Learning Specialist
il y a 2 semaines
Lyon, Auvergne-Rhône-Alpes, France Swapcard Temps pleinAbout 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 pleinJob 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...