PhD Position: Advanced Optimisation Techniques for Domain-Specific Languages
il y a 3 jours
Context and Key Features of the Position
The 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
# Abstract
Domain-Specific Languages (DSLs) play a crucial role in exploring novel complex use cases through innovative programming techniques. DSLs have been at the forefront of recent computer science advancements, including blockchains, quantum computing, and machine learning. However, designing custom optimisations for DSLs is a challenging task, often requiring the extension of existing compilers or the creation of new languages from scratch.
Some languages, such as AnyDSL, have made defining Domain-Specific Libraries easier by leveraging partial evaluation. Although this provides a convenient user interface, writing complex code transformations within such a context remains difficult.
This project aims to propose *first-class optimisations*, which enable users to define optimisations and program transformations as first-class objects of the language, similar to functions. Such first-class optimisations can be defined by the user for a specific purpose, composed with other transformations, and then packaged as libraries and distributed to other users of the language.
Advantages
- Subsidised meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave
- Possibility of teleworking (90 days/year) and flexible organisation 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 pleinJob OverviewThe PhD position in our team will focus on developing novel optimisation techniques for Domain-Specific Languages (DSLs). As a researcher, you will work closely with our team to design and implement efficient optimisation methods, leveraging partial evaluation and analytic macros.Key ResponsibilitiesYou will be responsible for:Designing and...
-
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch OpportunityThe PhD researcher will work in the CASH team at LIP, Lyon, France, under the supervision of Gabriel Radanne and in collaboration with Richard Membarth. The project aims to develop first-class optimisations for Domain-Specific Languages, enabling users to define and compose optimisations as first-class objects.Key ResponsibilitiesDesign...
-
PhD Researcher in Domain-Specific Languages and Optimizations
il y a 2 semaines
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinpbResearch Opportunity in Domain-Specific Languages/b/ppThe PhD research project will be conducted in the CASH team at INRIA, in collaboration with Richard Membarth from DFKI-Saarbrücken, Germany. The project aims to propose first-class optimisations for Domain-Specific Languages, allowing users to define and package optimisations as libraries./ppbKey...
-
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 Opportunity at INRIAThe PhD position is available in the CASH team at LIP, Lyon, France, under the supervision of Gabriel Radanne, Inria researcher, and in collaboration with Richard Membarth, Professor at DFKI-Saarbrücken, Germany.Research ProjectThe project aims to propose first-class optimisations, which allow defining optimisations and program...
-
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...
-
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...
-
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...
-
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...
-
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob OpportunityThe INRIA is seeking a PhD candidate 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...
-
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...
-
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...
-
PhD Researcher in Compiler Optimizations
il y a 7 jours
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinJob OpportunityThe INRIA PhD position in compiler optimizations is a unique opportunity to contribute to the development of innovative compiler technologies. As a PhD researcher, you will work in the CASH team, in LIP, Lyon, France, under the supervision of Gabriel Radanne, Inria researcher, and in collaboration with Richard Membarth, Professor at...
-
High-Performance Computing Researcher Position
il y a 23 heures
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch 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...
-
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...
-
Legal Scholars Sought for Faculty of Law Positions
Il y a 2 mois
Lyon, Auvergne-Rhône-Alpes, France UCLy Temps pleinUCLy's Faculty of Law in Lyon is actively seeking accomplished legal professionals to join our esteemed institution.We invite applications from individuals with a demonstrated commitment to teaching and research excellence within the dynamic field of law.Areas of SpecializationCivil LawBusiness Law (Domestic and International)Comparative Law (Comparative...
-
French Language Expert for Retail Project
il y a 4 semaines
Lyon, Auvergne-Rhône-Alpes, France Capijobnew Temps pleinFrench Language Expert for Retail ProjectWe are seeking a highly skilled French language expert to join our team as a French Advisor for a Cosmetic Retail Project. As a French native with a C2 level of proficiency, you will be responsible for providing language support and expertise to our clients in the retail industry.Key Responsibilities:Provide language...
-
French Language Expert for Retail Project
il y a 3 semaines
Lyon, Auvergne-Rhône-Alpes, France Capijobnew Temps pleinFrench Language Expert for Retail ProjectWe are seeking a highly skilled French language expert to join our team as a French Advisor for a Cosmetic Retail Project. As a French native with a C2 level of proficiency, you will be responsible for providing language support and expertise to our clients in the retail industry.Key Responsibilities:Provide language...
-
Lyon, Auvergne-Rhône-Alpes, France INRIA Temps pleinResearch Position in Scalable Translation ValidationThe 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...
-
Language Specialist
il y a 2 semaines
Lyon, Auvergne-Rhône-Alpes, France INTERPOL Temps pleinJob SummaryINTERPOL is seeking a highly skilled Language Document Specialist to join its Language Support Unit. The successful candidate will be responsible for providing language support services to the Organization.Key ResponsibilitiesProvide language support services to the OrganizationTranslate and interpret documents as requiredCollaborate with...