Ingénieur Logiciel
Current
Sep 2024 - Present
AeroLeads people directory · profile
Corentin Machu Email & Phone Number
I am currently in the final year of my engineering school (Computer Science Msc) and I am looking for a 6-month end-of-studies internship starting from February 2024.
at
AdaCore
LinkedIn matched
✓ Verified May 2026
3 data sources
Profile completeness 86%
Current company
Role
I am currently in the final year of my engineering school (Computer Science Msc) and I am looking for a 6-month end-of-studies internship starting from February 2024.
Location
Paris, Île-de-France, France
Company size
Who is Corentin Machu? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Corentin Machu is listed as I am currently in the final year of my engineering school (Computer Science Msc) and I am looking for a 6-month end-of-studies internship starting from February 2024. at AdaCore, a company with 100 employees, based in Paris, Île-de-France, France. AeroLeads shows a matched LinkedIn profile for Corentin Machu.
Corentin Machu previously worked as Ingénieur logiciel at Adacore and Software Engineer Intern at Adacore. Corentin Machu holds Diplôme D'Ingénieur, Computer Science from Epita: Ecole D'Ingénieurs En Informatique.
Company email context
Email format at AdaCore
This section adds company-level context without repeating Corentin Machu's masked contact details.
AdaCore
Review company-level records connected to Corentin Machu before choosing the right outreach path.
Profile bio
About Corentin Machu
I am currently in my final year of engineering school at EPITA, focusing onthe Embedded System Safety and Security major. My primary area of expertiserevolves around low-level programming, where I've cultivated strong technicalskills. I am now seeking a 6-month internship in embedded systems startingin February 2024
Current workplace
Corentin Machu's current company
Company context helps verify the profile and gives searchers a useful next step.
Adacore
6 roles
Corentin Machu work experience
A career timeline built from the work history available for this profile.
Software Engineer Intern
Improve error messages and unify CLI for RecordFlux a protocol prover and proven code generator (SPARK).- Implemented new error message system in Rust- Improve user experience while enhancing existing diagnostic- Help to integrate Rust to the actual codebase
Mar 2024 - Aug 2024
Teaching Assistant (Acu)
Teaching C, Shell, and SQL languages to third-year engineering students at EPITA. Assisting in the completion of various semester projects such as: a POSIX-compliant shell, an HTTPd clone, a memory allocator (malloc clone), and more.
Sep 2023 - Mar 2024
Teaching Assistant (Yaka)
Teaching programming and assisting with project development (C++, Java, JavaScript) for first-year engineering students.
Jan 2023 - Sep 2023
R&D Intern
Development of Parsec in Python and Rust. Porting the core codebase from Python to Rust.
Sep 2022 - Jan 2023
It Apprentice
Second year of Computer Science second year Degree (french DUT) completed through an apprenticeship program. The main mission was to automate complex tasks performed by the beneficiary research service team at Sogécap.
Sep 2020 - Aug 2021
Team & coworkers
Colleagues at AdaCore
Other employees you can reach at adacore.com. View company contacts for 100 employees →
AM
Arnald Mint
Colleague at Adacore
United Kingdom, United Kingdom
View →
TA
Thomas Abou
Colleague at Adacore
Greater Lyon Area, France
View →
AS
Alexander Senier
Colleague at Adacore
Dresden, Saxony, Germany, Germany
View →
BD
Bob Duff
Colleague at Adacore
Melrose, Massachusetts, United States, United States
View →
PK
Patrick K.
Colleague at Adacore
Morrisville, Pennsylvania, United States, United States
View →
GR
Guillaume Rivier
Colleague at Adacore
Kagoshima, Kagoshima, Japan, Japan
View →
DT
Daniel Tuulik
Colleague at Adacore
Estonia, Estonia
View →
CN
Cara Noonan
Colleague at Adacore
Bristol, England, United Kingdom, United Kingdom
View →
LC
Léo Cardao
Colleague at Adacore
Toulouse, Occitanie, France, France
View →
MR
Maxim Reznik
Colleague at Adacore
Ukraine, Ukraine
View →
Arnald Mint
Colleague at Adacore
United Kingdom, United Kingdom
View →
TA
Thomas Abou
Colleague at Adacore
Greater Lyon Area, France
View →
AS
Alexander Senier
Colleague at Adacore
Dresden, Saxony, Germany, Germany
View →
BD
Bob Duff
Colleague at Adacore
Melrose, Massachusetts, United States, United States
View →
PK
Patrick K.
Colleague at Adacore
Morrisville, Pennsylvania, United States, United States
View →
GR
Guillaume Rivier
Colleague at Adacore
Kagoshima, Kagoshima, Japan, Japan
View →
DT
Daniel Tuulik
Colleague at Adacore
Estonia, Estonia
View →
CN
Cara Noonan
Colleague at Adacore
Bristol, England, United Kingdom, United Kingdom
View →
LC
Léo Cardao
Colleague at Adacore
Toulouse, Occitanie, France, France
View →
MR
Maxim Reznik
Colleague at Adacore
Ukraine, Ukraine
View →
2 education records
Corentin Machu education
Diplôme D'Ingénieur, Computer Science
Dut Informatique, Computer Science, Admis
Iut Orléans
FAQ
Frequently asked questions about Corentin Machu
Quick answers generated from the profile data available on this page.
What company does Corentin Machu work for?
Corentin Machu works for AdaCore.
What is Corentin Machu's role at AdaCore?
Corentin Machu is listed as I am currently in the final year of my engineering school (Computer Science Msc) and I am looking for a 6-month end-of-studies internship starting from February 2024. at AdaCore.
Where is Corentin Machu based?
Corentin Machu is based in Paris, Île-de-France, France while working with AdaCore.
What companies has Corentin Machu worked for?
Corentin Machu has worked for Adacore, Epita, Parsec, and Sogecap S.A (Société Générale Group).
Who are Corentin Machu's colleagues at AdaCore?
Corentin Machu's colleagues at AdaCore include Arnald Mint, Thomas Abou, Alexander Senier, Bob Duff, and Patrick K..
How can I contact Corentin Machu?
You can use AeroLeads to view verified contact signals for Corentin Machu at AdaCore, including work email, phone, and LinkedIn data when available.
What schools did Corentin Machu attend?
Corentin Machu holds Diplôme D'Ingénieur, Computer Science from Epita: Ecole D'Ingénieurs En Informatique.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Corentin Machu you were looking for.
View similar profiles