Corentin Machu
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
Location: Paris, ÎLe-De-France, France 6 work roles 2 schools
LinkedIn matched
✓ Verified Jul 2026 3 data sources Profile completeness 86%

Contact Signals

LinkedIn Profile matched
3 free lookups remaining · No credit card
Current company
AdaCore
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
100 employees

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 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.

View email format View company profile Management contacts
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
Adacore
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.
france, aquitaine, france
Website
adacore.com
Employees
100
AeroLeads page
Company profile
View company profile Email format
6 roles

Corentin Machu work experience

A career timeline built from the work history available for this profile.

Ingénieur Logiciel

Current
Adacore

Ville De Paris, Île-De-France, France

Sep 2024 - Present

Software Engineer Intern

Adacore

Dresden, Saxony, Germany

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)

Epita

Toulouse, Occitanie, France

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)

Epita

Toulouse, Occitanie, France

Teaching programming and assisting with project development (C++, Java, JavaScript) for first-year engineering students.

Jan 2023 - Sep 2023

R&D Intern

Parsec

Gentilly, Île-De-France, France

Development of Parsec in Python and Rust. Porting the core codebase from Python to Rust.

Sep 2022 - Jan 2023

It Apprentice

Sogecap S.A (Société Générale Group)

Orléans, Centre-Val De Loire, France

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 →

DC Dennis Chun Dennis Chun Colleague at AdacoreBurbank, California, United States View → WM William Michael William Michael Colleague at AdacoreCarefree, Arizona, United States View → RD Rachel Dove Rachel Dove Colleague at AdacoreNew York, United States View → PS Paul Sivac Paul Sivac Colleague at AdacoreNew York, United States View → AP Aleksandra Pasek Aleksandra Pasek Colleague at AdacoreJersey City, New Jersey, United States View → JA João Azevedo João Azevedo Colleague at AdacoreBristol, England, United Kingdom View → MF Michael Frank Michael Frank Colleague at AdacoreCranston, Rhode Island, United States View → CN Cara Noonan Cara Noonan Colleague at AdacoreBristol, England, United Kingdom View → EF Elsa Ferrara Elsa Ferrara Colleague at AdacoreGreater Paris Metropolitan Region, France View → BD Bob Duff Bob Duff Colleague at AdacoreMelrose, Massachusetts, United States View →
2 education records

Corentin Machu education

Dut Informatique, Computer Science, Admis

Iut Orléans

Activities and Societies: Président pôle communication du Bureau des étudiants du département Informatique (2020-2021).DUT Informatique à.

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 Dennis Chun, William Michael, Rachel Dove, Paul Sivac, and Aleksandra Pasek.

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.

People with similar names

Check these profiles if this is not the Corentin Machu you were looking for.

View similar profiles