PhD Position: Advanced Optimisation Techniques for Domain-Specific Languages

il y a 3 jours


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

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 plein

    Job 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 plein

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


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

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


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

    Join 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

    Job 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 plein

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


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

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


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


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

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


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

    UCLy'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...


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

    French 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 Capijobnew Temps plein

    French 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 plein

    Research 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 plein

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