- Developing infrastructure to allow Coccinelle to interact with Software Heritage
- Identifying and resolving weaknesses in Coccinelle (typically in the parser) with respect to the software projects found in Software Heritage
- Identifying transformation and bug finding rules that can be applicable to a wide range of software projects found in Software Heritage
- Contributing to the design and evaluation of an approach to inferring transformation rules from examples, targeting the range of software projects found in Software Heritage
- Restauration subventionnée
- Transports publics remboursés partiellement
- Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
- Possibilité de télétravail et aménagement du temps de travail (après 12 mois d'ancienneté)
- Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
- Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
- Accès à la formation professionnelle
- Sécurité sociale
-
Ir Director
il y a 2 semaines
Heritage Holdings Paris, France**Who we are**: · At Heritage, we are dedicated to being at the forefront of the **alternative investment industry** by creating a next-generation fund that combines traditional investment sourcing and evaluation strategies with proprietary technology solutions and data-driven ap ...
-
Apprentissage - Marketing Et Communication Des
il y a 3 semaines
Capgemini Paris, France**Description de la mission**: · Au sein de la Direction Marketing du Groupe et de l'équipe Solutions développement durable, vous aurez pour mission d'accompagner l'équipe marketing dans: · - _le développement de projets marketing et communication tels qu'un lancement d'offres, r ...
-
Senior Media Trader
il y a 2 semaines
Zeta Global Paris, FranceZeta Global recrute un ou une Senior Media Trader · **DESCRIPTION** · - Optimisation de campagnes programmatiques : via plusieurs DSP multi-devices Display/Vidéo · - Analyses quantitatives et optimisations des campagnes par KPI. · - Relation clients et explications des résultats ...
-
Architecte E/e
il y a 3 semaines
Capgemini Engineering Paris, France**About Capgemini Engineering** · - World leader in engineering and R&D services, Capgemini Engineering combines its broad industry knowledge and cutting-edge technologies in digital and software to support the convergence of the physical and digital worlds. Coupled with the capa ...
-
IT Coordinator
il y a 3 semaines
Margiela Paris, France**IT Coordinator**: · Maison Margiela is a Paris-based fashion house founded in 1988 by Belgian designer Martin Margiela. Celebrating unconventional aesthetics and embracing the philosophy that fashion is an art of expression rather than a cult of personality, Maison Margiela off ...
-
Global Senior PR Manager
il y a 2 semaines
Capgemini Paris, France**About Capgemini**: · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainabl ...
-
Programme Assistant
il y a 2 semaines
UNESCO Paris, FranceOVERVIEW · **Parent Sector**: Culture Sector (CLT) · **Duty Station**: Paris · **Job Family**: Culture · **Type of contract**: Non Staff · **Level**: Level 3 · **Duration of contract**: From 1 to 6 months · **Application Deadline (Midnight Paris Time)**: 06-MAR-2024 · **UNESCO Co ...
-
Global PR Manager
il y a 2 semaines
Capgemini Paris, France**About Capgemini**: · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainabl ...
-
Customer First
il y a 2 semaines
Capgemini Paris, France**About Capgemini**: · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainabl ...
-
IT Support Administrator
il y a 3 semaines
Compliance Solutions Strategies Paris, France**Why Confluence** · Over the past several years we have undergone a great deal of positive change and growth to become the company we are today. Our global footprint now spans multiple countries, giving our employees the opportunity to get exposure to other countries and culture ...
-
Telecom Industry Marketing Director
il y a 2 semaines
Capgemini Paris, France**About Capgemini**: · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainabl ...
-
Head of Design
il y a 2 semaines
Be Ys Paris, FranceThe** European digital trust ecosystem **is accelerating its transformation, boosting the need for more efficient and secured solutions. Digital technology can be found at every level of a person's life. · Contracts, loans, insurance, with so many documents available online, all ...
-
Knowledge Manager
il y a 3 semaines
HILTI Paris, France StageSHIP**What's the role?**: · It's an incredibly exciting time to join the Engagement Marketing management team to be the first contact for digital marketing and sales forces at Hilti At Hilti, we are redesigning the future of digital and are looking for new team members who will be an ...
-
Brand Campaign and Content Manager
il y a 3 semaines
Capgemini Paris, France**About Capgemini**: · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainabl ...
-
Business Relationship Leader
il y a 2 semaines
Capgemini Paris, France**Capgemini**: · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainable futu ...
-
IT Support Specialist
il y a 2 semaines
Compliance Solutions Strategies Paris, France**Why Confluence** · Over the past several years we have undergone a great deal of positive change and growth to become the company we are today. Our global footprint now spans multiple countries, giving our employees the opportunity to get exposure to other countries and culture ...
-
IT Support Administrator
il y a 3 semaines
Confluence Technologies Inc. Paris, France**Why Confluence** · Over the past several years we have undergone a great deal of positive change and growth to become the company we are today. Our global footprint now spans multiple countries, giving our employees the opportunity to get exposure to other countries and culture ...
-
Showroom Officer
il y a 3 semaines
Margiela Paris, France**Showroom Officer**: · Maison Margiela is a Paris-based fashion house founded in 1988 by Belgian designer Martin Margiela. Celebrating unconventional aesthetics and embracing the philosophy that fashion is an art of expression rather than a cult of personality, Maison Margiela o ...
-
Business Relationship Leader
il y a 2 semaines
CAPGEMINI ENGINEERING Paris, FranceCapgemini · Capgemini is a global leader in partnering with companies to transform and manage their business by harnessing the power of technology. The Group is guided everyday by its purpose of unleashing human energy through technology for an inclusive and sustainable future. I ...
-
QA Data Engineer
il y a 2 semaines
HILTI Paris, France**What's the role?**: · We're looking for a highly skilled QA Data Engineer who'll act as a testing specialist within the wider Marketing & Sales Data and Digital Impact Measurement team, ensuring the accuracy of our large-scale data pipelines. As a QA engineer you will play a ce ...
Program matching and transformation at a massive scale: Coccinelle meets Software Heritage - Paris, France - INRIA
Description
Contexte et atouts du poste
Coccinelle (
Mission confiée
Expected tasks include:
Note that Coccinelle is implemented in OCaml, and thus improvements to Coccinelle will involve OCaml programming. There is also the possibility to work with Coccinelle for Rust, which is written in Rust. Infrastructure for evaluating Coccinelle on the software projects found in Software Heritage can be developed using other programming languages, subject to the constraints of the task at hand and the interfaces provided by Software Heritage.
Principales activités
The principal activities are described in the previous section.
Compétences
Strong software development skills. Experience in designing and developing software that is robust and can be used and maintained by others.
Experience in programming with OCaml or another functional language.
Familiarity with common code patterns that indicate insecure or poor quality software.
Familiarity with build tools and git.
The ability to work independently.
Avantages
