Corentin Machu
Software Engineer at AdaCore
Paris, Ile-de-France
Summary
👤
Senior🎓
Top SchoolCorentin Machu is a software engineer specializing in low-level and embedded systems, currently completing an engineering degree at EPITA with a focus on Embedded System Safety and Security. With eight years of hands-on experience across internships, teaching assistant roles, and apprenticeships, he has strong C, Rust, Python and systems programming skills applied to certified toolchains and safety-focused projects. At AdaCore he progressed from intern to software engineer, contributing Rust-based error messaging and diagnostics for SPARK/proof tooling and helping integrate Rust into existing codebases. He has practical teaching experience mentoring first-year engineers on C, Shell and system-level projects, which sharpens his ability to explain complex technical concepts. Comfortable in both research-oriented R&D and production contexts, he blends formal methods exposure with pragmatic engineering. Seeking a six-month embedded systems internship starting February 2024, he brings a rare mix of low-level expertise and safety-minded tooling experience.
8 years of coding experience
DUT Informatique, Informatique, DUT Informatique, Informatique at IUT OrléansDiplôme d'ingénieur, Informatique, Diplôme d'ingénieur, Informatique at EPITA: Ecole d'Ingénieurs en Informatique
French, English, German
Github Skills (23)
security10
privacy10
file-sharing10
api10
dropbox10
encryption10
sharing-data9
ascii6
combine5
alias5
snippet5
annotator4
device-tree3
cpp3
shell3
Programming languages (4)
Github contributions (5)
LG-MSM8916/android_device_lge_msm8916-common
Jun 2018 - Jul 2022
Contributions:22 pushes, 2 branches in 4 years 2 months
LG-MSM8916/android_device_lge_c90
Jun 2018 - Jul 2022
Contributions:9 pushes, 2 branches in 4 years 2 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.