Emplois actuels liés à PhD Position in Code and Proof Generation with Large Language Models - Paris, Île-de-France - INRIA
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 2 semaines
Paris, Île-de-France INRIA Temps pleinJob Opportunity: PhD Position in Code and Proof Generation with Large Language ModelsINRIA is seeking a highly motivated PhD candidate to work on a research project focused on code and proof generation with large language models.Project OverviewThe project aims to explore new research in neural code generation and applications to formal verification. To...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 2 semaines
Paris, Île-de-France INRIA Temps pleinResearch OpportunityWe are seeking a highly motivated PhD student to join our team at INRIA and work on a research project focused on code and proof generation with large language models.Project OverviewGenerative AI has gained significant attention in recent years, and large language models have shown promise in tackling various problems, including...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 3 semaines
Paris, Île-de-France INRIA Temps pleinJob Description:We are seeking a highly motivated PhD student to join our team at INRIA and work on a research project focused on code and proof generation with large language models. The successful candidate will have the opportunity to explore new research directions in neural code generation and applications to formal verification.Research Project:The...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 4 semaines
Paris, Île-de-France INRIA Temps pleinJob Description:We are seeking a highly motivated PhD student to join our team at INRIA to work on a research project focused on code and proof generation with large language models. The successful candidate will have the opportunity to explore new research directions in neural code generation and applications to formal verification.Research Project:The...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 4 semaines
Paris, Île-de-France INRIA Temps pleinJob Description:We are seeking a highly motivated PhD student to join our team at INRIA to work on a research project focused on code and proof generation with large language models. The successful candidate will have the opportunity to explore new research directions in neural code generation and applications to formal verification.Research Project:The...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 4 semaines
Paris, Île-de-France INRIA Temps pleinJob Description:We are seeking a highly motivated PhD student to join our team at INRIA and work on a research project focused on code and proof generation with large language models. The successful candidate will have the opportunity to explore new research directions in neural code generation and applications to formal verification.Research Project:The...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 3 semaines
Paris, Île-de-France INRIA Temps pleinJob Description:We are seeking a highly motivated PhD student to join our team at INRIA to work on a research project focused on code and proof generation with large language models. The successful candidate will have the opportunity to explore new research directions in neural code generation and applications to formal verification.Research Project:The...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 4 semaines
Paris, Île-de-France INRIA Temps pleinJob Description:We are seeking a highly motivated PhD student to join our team at INRIA and work on a research project focused on code and proof generation with large language models. The successful candidate will have the opportunity to explore new research directions in neural code generation and applications to formal verification.Research Project:The...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 3 semaines
Paris, Île-de-France INRIA Temps pleinJob Opportunity: We are seeking a highly motivated PhD researcher to join our team at INRIA and explore new research in neural code generation and applications to formal verification. About the Project: Generative AI has gained significant interest in tackling problems from linguistics, maths, commonsense reasoning, biology, physics, etc. Transformers have...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 2 semaines
Paris, Île-de-France INRIA Temps pleinResearch OpportunityWe are seeking a highly motivated PhD student to join our team at INRIA and contribute to the development of new research in neural code generation and applications to formal verification.Job DescriptionThe successful candidate will work on exploring new research in neural code generation and applications to formal verification. To...
-
PhD Position in Code and Proof Generation with Large Language Models
il y a 2 semaines
Paris, Île-de-France INRIA Temps pleinResearch Opportunity in Neural Code Generation and Formal VerificationINRIA is seeking a highly motivated PhD candidate to explore new research in neural code generation and applications to formal verification.Project OverviewGenerative AI is gaining momentum, and Large Language Models (LLMs) have shown promise in tackling various problems, including...
-
Postdoctoral Researcher in Code Generation
il y a 4 semaines
Paris, Île-de-France Meta Temps pleinPostdoctoral Researcher in Code GenerationWe are seeking a highly skilled Postdoctoral Researcher to join our team at Meta, working on innovative approaches to code generation with Large Language Models (LLMs). As a Postdoctoral Researcher, you will contribute to the development of state-of-the-art algorithms and models for code analysis and...
-
Large Language Model Engineer
il y a 3 semaines
Paris, Île-de-France Datadog Temps pleinJob Title: Large Language Model EngineerWe're looking for a skilled Large Language Model Engineer to join our team at Datadog. As a key member of our team, you'll work on building large-scale distributed fine-tuning and training infrastructure, deploying LLMs on GPU instances for real-time use cases, designing robust, secure infrastructure, or supporting...
-
Data Scientist
il y a 2 semaines
Paris, Île-de-France Datadog Temps pleinData Scientist - Large Language Models SpecialistAt Datadog, we're seeking a highly skilled Data Scientist to join our Large Language Models team. As a key member of our team, you'll contribute to building impactful features using Large Language Models as a core computation unit.Key Responsibilities:Design and develop large-scale distributed fine-tuning and...
-
Senior Research Scientist, Code Analysis and Generation
il y a 3 semaines
Paris, Île-de-France oilandgas Temps pleinJob DescriptionWe are seeking a highly skilled Postdoctoral Researcher to join our team exploring innovative approaches to code generation with Large Language Models (LLMs). As a key member of our research team, you will contribute to the development of state-of-the-art algorithms and models for code analysis and generation. Your expertise in LLMs, code...
-
Research Scientist, Artificial Intelligence and Code Generation
il y a 3 semaines
Paris, Île-de-France oilandgas Temps pleinJob OverviewWe are seeking a highly skilled Postdoctoral Researcher to join our team exploring innovative approaches to code generation with Large Language Models (LLMs). As a key member of our research team, you will contribute to the development of state-of-the-art algorithms and models for code analysis and generation. Your expertise in LLMs, code...
-
Senior Data Scientist
il y a 3 semaines
Paris, Île-de-France Datadog Temps pleinJob DescriptionWe are seeking a highly skilled Senior Data Scientist to join our Large Language Models team at Datadog. As a key member of our team, you will contribute to building the foundation of impactful features using Large Language Models as a core computation unit to enable our users to understand their data and systems, reason, plan, and act.Key...
-
Postdoctoral Researcher, Code Generation Expert
il y a 3 semaines
Paris, Île-de-France oilandgas Temps pleinPostdoctoral Researcher, Code GenerationWe are seeking a highly motivated and experienced Postdoctoral Researcher to join our team at Meta, working on innovative approaches to code generation with Large Language Models (LLMs). As a Postdoctoral Researcher, you will contribute to the development of state-of-the-art algorithms and models for code analysis and...
-
Data Scientist
il y a 4 semaines
Paris, Île-de-France Datadog Temps pleinJoin Our Team as a Data Scientist - Large Language ModelsAbout the Role:We are seeking a highly skilled Data Scientist to join our Large Language Models team at Datadog. As a Data Scientist, you will contribute to building the foundation of impactful features using Large Language Models as a core computation unit to enable our users to understand their data...
-
Machine Learning Engineer
il y a 3 semaines
Paris, Île-de-France RECRUIT2retail AUSTRALIA Temps pleinJob DescriptionWe are seeking a highly skilled Machine Learning Engineer - Large Language Models to join our team at RECRUIT2retail AUSTRALIA. As a Machine Learning Engineer - Large Language Models, you will be responsible for designing, building, and maintaining AI applications utilizing large language models (LLMs). You will work closely with our data...
PhD Position in Code and Proof Generation with Large Language Models
Il y a 2 mois
We are seeking a highly motivated PhD researcher to join our team at INRIA and contribute to the development of novel techniques for code and proof generation using large language models.
Job DescriptionResearch Focus: The successful candidate will work on the development of new methods for neural code generation and formal verification, leveraging the capabilities of large language models.
Key Responsibilities:
- Design and implement novel techniques for code and proof generation using large language models
- Conduct experiments and evaluate the performance of the developed methods
- Collaborate with the research team to integrate the developed methods into existing tools and frameworks
- Contribute to the development of new research directions and ideas
Requirements:
- Master's degree in Computer Science, Mathematics, or a related field
- Strong background in machine learning, programming languages, and formal verification
- Excellent programming skills in languages such as Python, Java, or C++
- Good understanding of large language models and their applications
- Excellent communication and collaboration skills
What We Offer:
- Subsidized 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 (sick children, moving home, etc.)
- Possibility of teleworking
- Flexible organization of working hours (after 12 months of employment)
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
Language: English
