Maxime Perrotin
Technical Authority In Flight Software Engineering at European Space Agency - ESA
The Hague, South Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolMaxime Perrotin is a Technical Authority in Flight Software Engineering at ESA with 12+ years dedicated to real-time embedded systems, formal modelling, verification and code generation for satellite flight software. He led R&D and tool development for the TASTE project and served as avionics and software lead for ESA’s LEO Cargo Return Service, blending deep formal-methods expertise (SDL, MSC, ASN.1) with practical mission delivery. His career spans EADS Astrium to senior ESA roles, making him fluent in both legacy avionics constraints and modern model-driven development practices. Maxime is motivated by improving development processes through new technologies, often translating formal proofs and models into deployable embedded code. Based in The Hague, he pairs engineering rigor from a CNAM engineering education with hands-on systems leadership across the full flight software lifecycle. An uncommon strength: he bridges the gap between formal methods research and operational mission software, ensuring verifiable correctness under real-time constraints.
12 years of coding experience
29 years of employment as a software developer
National Conservatory of Arts and Crafts
Github Skills (48)
sdl10
state-machine10
embedded10
modeling-tool9
compiler9
ada8
toolchain8
parse8
parsing8
csharp7
template-engine7
java7
antlr7
jinja27
python7
Programming languages (6)
Github contributions (5)
maxime-esa/asn1scc
Jan 2015 - Oct 2020
Contributions:12 pushes, 1 branch in 5 years 10 months
compilerembedded-systemsembeddedasn-1asn
esa/opengeode
Feb 2014 - Jan 2023
OpenGEODE - a free SDL State Machine editor for space applications...and more
Contributions:51 reviews, 1855 commits, 25 PRs in 9 years
sdlstate-machine
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.