Improving The Effectiveness of Llm-assisted Iss
Il y a 2 mois
Position description
**Category**:
- Mathematics, information, scientific, software
**Contract**:
- Internship
**Job title**:
- Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F
**Subject**:
- The internship aims to enhance the performance of large language models (LLMs) in generating Instruction Set Simulator (ISS) code by using Reinforcement Learning (RL) to optimize and automate prompt tuning. Additionally, the internship seeks to expand dataset coverage by using simulators such as QEMU (Quick Emulator) in-the-loop to simulate and evaluate a wider range of architectures, enabling access to diverse implementations and increasing dataset diversity. While RL will be the primary focus, alternative methods can also be explored throughout the internship.
**Contract duration (months)**:
- 6
**Job description**:
- The main activities will involve using RL to dynamically adjust the prompts fed to the LLM, guiding it to improve code correctness, compilation success, and functional efficiency. Open questions for investigation include, but are not limited to, how to define rewards that balance compilability and functionality, how feedback from these rewards can be used to refine future prompts, and what strategies can effectively integrate RL rewards into the prompt generation process. The RL agent will iteratively adjust the prompt based on feedback from compilation and functional tests, using QEMU to assess the quality of the generated code. By simulating multiple architectures in the QEMU environment, the internship will aim to broaden the dataset coverage, making the model more adaptable to different hardware implementations. The results of this work have the potential to contribute significant insights into this field and may lead to publication in relevant conferences.- During this internship, the student will gain practical experience with advanced AI techniques, such as RL and automatic prompt tuning, while enhancing their knowledge of LLM-based code generation. This project provides a valuable opportunity to develop key skills in AI-driven hardware design and to contribute to innovative research.**Methods / Means**:
- Python, C/C++
**Applicant Profile**:
- Level required: Master's degree- Duration: 6 months- Skills: Understanding of AI, especially LLM and RL, and knowledge of HW architecture design would be a plus.- Python, C/C++- English, teamwork, curiosityIn line with CEA's commitment to integrating people with disabilities, this job is open to all.Position location
**Site**:
- Saclay
**Job location**:
- France, Ile-de-France, Essonne (91)
**Location**:
- Palaiseau
**Languages**:
- English (Fluent)
**Prepared diploma**:
- Bac+5 - Master of Science
**PhD opportunity**:
- Non
Requester
**Position start date**:
- 03/03/2025
General information
**Organisation**:
The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas:
- defence and security,
- nuclear energy (fission and fusion),
- technological research for industry,
- fundamental research in the physical sciences and life sciences.
Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.
The CEA is established in ten centers spread throughout France
**Reference **:2024-33881**Description de l'unité**:
- The French Atomic Energy and Alternative Energies Commission (CEA) is a major player in research, development and innovation. This technological research organization is active in three main areas: energy, information and health technologies, and defense. Recognized as an expert in its fields, CEA is fully integrated into the European research area and is expanding its presence internationally. The Laboratory for Systems and Technology Integration (LIST), located in the southern Île-de-France region (Saclay), has the mission of contributing to technology transfer and promoting innovation in the field of parallel computing systems.
The Environmental Design and Architecture Laboratory (LECA), within the Digital Systems and Integrated Circuits Department (DSCIN), is a multidisciplinary technological research team comprising experts in hardware IP design and simulation tools.
-
Palaiseau, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Internship Job title Improving the Effectiveness of LLM-Assisted ISS Generation from Design Specification H/F Subject The internship aims to improve LLM performance in generating ISS code by using RL to optimize prompt tuning and automate...
-
Llms for Specifying Data Sharing Policies
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Sciences pour l'ingénieur **Contrat**: - CDD **Intitulé de l'offre**: - LLMs for specifying data sharing policies H/F **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 18 **Description de l'offre**: - Developing physical or digital systems is a complex process involving both technical and human...
-
Stage - Trustworthy Deep Learning: Llms Confidence
il y a 4 semaines
Palaiseau, France CEA Temps pleinPosition description **Category**: - Information system **Contract**: - Internship **Job title**: - Stage - Trustworthy Deep Learning: LLMs Confidence Representation H/F **Subject**: - LLMs Confidence Representation **Contract duration (months)**: - 6 **Job description**: **Context** The List Institute at CEA Tech (CEA’s technological research...
-
Utilisation Llms Pour La Spécification Des
Il y a 2 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Sciences pour l'ingénieur **Contrat**: - CDD **Intitulé de l'offre**: - Utilisation LLMs pour la spécification des politiques de partage des données - CDD - Paris-Saclay F/H **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 36 **Description de l'offre**: **_« Rejoignez le CEA pour donner du...
-
Utilisation Llms Pour La Spécification Des
Il y a 2 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Sciences pour l'ingénieur **Contrat**: - CDD **Intitulé de l'offre**: - Utilisation LLMs pour la spécification des politiques de partage des donnée - CDD - Paris-Saclay F/H **Statut du poste**: - Cadre **Durée du contrat (en mois)**: - 36 **Description de l'offre**: **_« Rejoignez le CEA pour donner du...
-
Palaiseau, France CEA Temps pleinPosition description Category Mathematics, information, scientific, software Contract Internship Job title Formal methodology for the exploration and the evaluation of complex critical SW architecture M/F Subject The internship aims to implement and improve the formalization and implementation of an iterative methodology for...
-
Exploring The Generalizability of Ml-driven
Il y a 2 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Composants et équipements électroniques **Contrat**: - Stage **Intitulé de l'offre**: - Exploring the Generalizability of ML-driven Performance Model Generation for HW Design H/F **Sujet de stage**: - This internship provides a valuable opportunity to gain hands-on experience with machine learning techniques for...
-
Qubo Embedding Optimization for Quantum
il y a 1 mois
Palaiseau, France PASQAL Temps plein**About Pasqal** PASQAL designs and develops Quantum Processing Units (QPUs) and associated software tools. In addition to the exceptional computing power they provide, QPUs are highly energy efficient and will contribute to a significant reduction in the carbon footprint of the HPC industry. As part of our strong growth, we are recruiting an intern to...
-
Benchmarking The Scalability of Model-checker-based
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Mathématiques, information scientifique, logiciel **Contrat**: - Stage **Intitulé de l'offre**: - Benchmarking the scalability of model-checker-based detection of timing anomalies H/F **Sujet de stage**: - Safety-critical systems such as autonomous vehicles and modern avionic computers have to satisfy strong...
-
QUBO Embedding Optimization for Quantum Algorithms Internship
il y a 2 semaines
Palaiseau, France PASQAL Temps pleinAbout PasqalPASQAL designs and develops Quantum Processing Units (QPUs) and associated software tools.Our innovative technology enables us to address use cases that are currently beyond the reach of the most powerful supercomputers; these cases can concern industrial application challenges as well as fundamental science needs.In addition to the exceptional...
-
Multi-view Re-identification of Objects and
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Autre **Contrat**: - Stage **Intitulé de l'offre**: - Multi-view re-identification of objects and individuals based on 3D representation H/F **Sujet de stage**: - Multi-view re-identification of objects and individuals based on 3D representation **Durée du contrat (en mois)**: - [6 mois] **Description de...
-
Formal Analysis of Fault-injection Countermeasures
Il y a 2 mois
Palaiseau, France CEA Temps pleinPosition description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Formal analysis of fault-injection countermeasures within a secure RISC-V processor H/F **Subject**: - The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, devel-opment and...
-
Head of Accounting
il y a 4 semaines
Palaiseau, France Ancient Gaming Temps pleinAt Ancient Gaming, we lead the way in innovation within the iGaming software industry. As pioneers, we are constantly pushing the boundaries of what's possible, setting new standards with engaging software and transformative experiences. Our products are designed to captivate a high-spending, forward-thinking generation eager to reshape the future of...
-
Head of Accounting
il y a 1 mois
Palaiseau, France Ancient Gaming Temps pleinAt Ancient Gaming, we lead the way in innovation within the iGaming software industry. As pioneers, we are constantly pushing the boundaries of what's possible , setting new standards with engaging software and transformative experiences. Our products are designed to captivate a high-spending, forward-thinking generation eager to reshape the future of...
-
Head of Engineering
il y a 1 mois
Palaiseau, France Escape Temps pleinEscape is the pioneering AI-driven cybersecurity startup on a mission to redefine Application and API Security for Europe and North America, with recognition from France 2030, Y Combinator, Forbes 30 Under 30. As a deep tech company, innovation is in our DNA, and our team is united by a passion for technology. We’re hiring our Head of Engineering –...
-
Quantum Optics Engineer
Il y a 5 mois
Palaiseau, France Quandela Temps pleinQuandela is a European scale up that provides photonic quantum computers that are modular, scalable, energy-efficient and accessible both on the cloud and on premise. Our team of 100 employees specializes in the development of both software and hardware solutions for a variety of quantum applications. We offer a wide range of services, from developing the...
-
Head of IT and Devops
il y a 1 mois
Palaiseau, France Market Pay Temps pleinMarket Pay is a fast-growing and profitable Fintech company that provides enterprise payment solutions to globally recognized brands such as Carrefour, Enterprise Rent-a-Car, IBM, Husqvarna, Orange, Tabesto, and many more. With a presence in Belgium, Brazil, Canada, Denmark, France, Italy, Lithuania, Spain, Poland, and the USA, we operate in an international...
-
Understanding The Multisensory Integration Process
Il y a 3 mois
Palaiseau, France CEA Temps pleinDescription du poste **Domaine**: - Recherche biomédicale, clinique, préclinique **Contrat**: - Stage **Intitulé de l'offre**: - Understanding the Multisensory integration process through whole brain network modelling H/F **Sujet de stage**: - Understanding the Multisensory integration process through whole brain network modelling. **Durée du...
-
Secure Decentralized Learning
Il y a 2 mois
Palaiseau, France CEA Temps pleinPosition description **Category**: - Mathematics, information, scientific, software **Contract**: - Internship **Job title**: - Secure Decentralized Learning - Internship H/F **Subject**: - The goal of this internship is to explore the combination of Multi-Party Computation (MPC) and Differential Privacy (DP) to assess the feasibility and...
-
Palaiseau, France CEA Temps pleinDescription de l'offre The Environmental Design and Architecture Laboratory (LECA), within the Digital Systems and Integrated Circuits Department (DSCIN), is a multidisciplinary technological research team comprising experts in hardware IP design and simulation tools. A key contribution of the Lab lies in its innovative methodologies and tools for...
