Efficient Space and Garbage Collection Specialist

il y a 3 semaines


Palaiseau, Île-de-France INRIA Temps plein

Job Opportunity:

We are seeking a talented PhD candidate to join our team at INRIA Saclay-Île-de-France Research Centre in a PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi.

About the Centre:

The INRIA Saclay-Île-de-France Research Centre was established in 2008, in partnership with Paris-Saclay University and the Institut Polytechnique de Paris.

Research Project:

The PhD Position F/M Efficient Space and Garbage Collection for Functional Languages and Lambda Calculi aims to develop a theoretical study of the efficient space consumption of lambda terms and functional programs.

Key Responsibilities:

The successful candidate will be responsible for developing abstract machines with garbage collection and sharing, studying the time / space trade-off, and modeling via type systems the space consumptions of these space-efficient machines.

Requirements:

We are looking for a candidate with a strong background in the lambda calculus, functional programming, and basic concepts of computational complexity and rewriting theory.

Benefits:

The centre offers a canteen and cafeteria, sports equipment, and transport reimbursement.

Compensation:

The monthly gross salary is €2100.



  • Palaiseau, Île-de-France INRIA Temps plein

    The Inria Saclay-Île-de-France Research Centre is seeking a highly skilled PhD researcher to join its team. Located in France, this research opportunity offers a competitive salary and benefits package.About the PositionAs a PhD researcher, you will be working on efficient space and garbage collection for functional languages and lambda calculi. Your...


  • Palaiseau, Île-de-France INRIA Temps plein

    PhD Position OverviewThe Inria Saclay-Île-de-France Research Centre is seeking a highly motivated PhD candidate to work on efficient space and garbage collection for functional languages and lambda calculi.About the ProjectThe project focuses on developing a theoretical study of efficient space consumption of lambda terms and functional programs. The goal...


  • Palaiseau, Île-de-France INRIA Temps plein

    Research Opportunity in Functional ProgrammingThe Inria Saclay-Île-de-France Research Centre is seeking a PhD candidate to contribute to the development of efficient space and garbage collection techniques for functional languages and lambda calculi.About the ProjectThe project aims to explore the efficient space consumption of lambda terms and functional...


  • Palaiseau, Île-de-France INRIA Temps plein

    PhD Position in Efficient Space and Garbage Collection for Functional Languages and Lambda CalculiThe Inria Saclay-Île-de-France Research Centre is seeking a PhD candidate to work on the development of efficient space consumption models for functional programming languages and lambda calculus.About the ProjectThe project aims to develop a theoretical study...


  • Palaiseau, Île-de-France INRIA Temps plein

    About the JobWe are seeking a talented researcher to join our team at INRIA Saclay-Île-de-France Research Centre.Job DescriptionThe successful candidate will be responsible for conducting research on efficient space consumption of lambda terms and functional programs. This involves developing abstract machines with garbage collection and studying the...


  • Palaiseau, Île-de-France CEA Temps plein

    Job Title: PhD Position in AI-Assisted Generation of High-Level Models and SimulatorsCategory: Electronics components and equipmentsContract: Fixed-term contractSocio-professional category: Non CadreContract duration (months): 36Job description:The design and validation of digital circuits rely heavily on simulation tools. These tools employ different levels...

  • Quantum Optics Specialist

    il y a 2 semaines


    Palaiseau, Île-de-France Quandela Temps plein

    Unlock the Power of Quantum Computing with QuandelaQuandela is a pioneering European company at the forefront of photonic quantum computing, offering modular, scalable, and energy-efficient solutions both on the cloud and on premise. Our team of experts specializes in developing cutting-edge software and hardware for a wide range of quantum applications.Join...

  • Senior Software Engineer

    il y a 3 semaines


    Palaiseau, Île-de-France Horiba Temps plein

    As a key member of our development team, you will be responsible for designing and implementing advanced algorithms to drive business growth. Your expertise in computer science and algorithmic thinking will be invaluable in creating efficient software solutions that meet our clients\' needs. We are looking for a highly skilled developer who can work...


  • Palaiseau, Île-de-France INRIA Temps plein

    Job DescriptionWe are seeking a highly skilled Research Scientist to join our team at INRIA in the role of Grid Coloring for Object Sensing and Localization. This exciting project involves designing and coding an algorithm that labels a grid so that a robot can uniquely determine its location due to the combination of sensed labels.Working closely with our...


  • Palaiseau, Île-de-France Quandela Temps plein

    About QuandelaQuandela is a spin-off company from the French national laboratory CNRS founded in 2017. The company brings together teams of quantum technology specialists with broad experience in semiconductor nanotechnologies, quantum optics, computer science, and quantum information processing.Located in the southern suburbs of Paris, with its main offices...


  • Palaiseau, Île-de-France CEA Temps plein

    Software Engineer for AI-enabled Systems Job DescriptionThe CEA is looking for a skilled software engineer to join their research team in Paris-Saclay, France. The ideal candidate will have a strong background in web development and proficiency in coding including Java, Python, and JavaScript.About the Job:This is a 36-month fixed-term executive position...


  • Palaiseau, Île-de-France INRIA Temps plein

    Job Context and RequirementsThe postdoctoral research visit is a unique opportunity to contribute to the development of efficient statistical modeling tools for large distributed HPC outputs. The successful candidate will work closely with the MIND team at INRIA Saclay to leverage machine learning techniques and bypass IO bottlenecks in the context of...


  • Palaiseau, Île-de-France Institut Polytechnique de Paris Temps plein

    Job Title: Backend DeveloperAs a key member of our engineering team, you will be responsible for designing, developing, and maintaining scalable and efficient software systems. Key Responsibilities:- Design and develop high-quality software components using Java, Python, or C++- Collaborate with cross-functional teams to identify and prioritize project...


  • Palaiseau, Île-de-France Quandela Temps plein

    Job SummaryWe are seeking a highly skilled Fiber Optics Engineer to join our team at Quandela, a leading company in the development and commercialization of quantum computing solutions. As a Single Photon Source Specialist, you will be responsible for the fiber pigtailing process, ensuring stable and efficient coupling of emitted single photons into monomode...


  • Palaiseau, Île-de-France Institut Mines-Télécom Temps plein

    A dynamic and innovative cybersecurity specialist is sought to join the IT and Networks Department at Institut Polytechnique de Paris.About Cyber-Physical SystemsCyber-physical systems involve computational and physical components that are seamlessly integrated, interacting closely to sense the changing state of the real world. However, interconnecting the...


  • Palaiseau, Île-de-France INRIA Temps plein

    Job DescriptionThe Inria Saclay Center is seeking a researcher to join the COMETE project team, specializing in security and privacy protection. The successful candidate will work with the team to develop methods and software for estimating statistics from data protected with local differential privacy (DP).Classical data analysis methods assume that all...


  • Palaiseau, Île-de-France INRIA Temps plein

    Job DescriptionThe Inria Saclay Center is seeking a researcher to join the COMETE project team, specializing in security and privacy protection. The team consists of sixteen researchers.Job MissionThe purpose of this position is to work with the COMETE research team to develop methods and software for estimating statistics from data protected with local...


  • Palaiseau, Île-de-France INRIA Temps plein

    Job Context and RequirementsThe successful candidate will be part of the MIND team at Inria Saclay, working on mathematical methods for statistical modeling of brain function using neuroimaging data. The team focuses on machine learning techniques, numerical and parallel optimization, applications to human cognitive neuroscience, event detection, and...

  • Senior Software Engineer

    il y a 3 semaines


    Palaiseau, Île-de-France Atalian Maintenance et Energy Temps plein

    We are seeking a highly skilled and motivated Senior Software Engineer to join our team. The ideal candidate will have a strong background in full stack development, with expertise in Python and cloud computing. You will be responsible for designing, developing, and maintaining scalable software systems that meet the needs of our business.Key...


  • Palaiseau, Île-de-France Institut Polytechnique de Paris Temps plein

    Job SummaryWe are seeking a highly skilled Machine Learning Research Engineer to join our team at the Interdisciplinary Center Hi PARIS. As a key member of our Engineering Team, you will be responsible for developing and deploying machine learning algorithms in various fields, including NLP, Image, Sound, Signal, and Economy.Main ResponsibilitiesDevelop and...