Summary
Corentin 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éans
Diplôme d'ingénieur, Informatique, Diplôme d'ingénieur, Informatique at EPITA: Ecole d'Ingénieurs en Informatique
French, English, German