Abderrahmane Faiz
Tech Lead Software Engineer - Toolchains and Formal Methods Engineer @Randstad Digital France
Signup · Get unlimited contacts
WORK HISTORY
Tech Lead Software Engineer - Toolchains and Formal Methods Engineer @Randstad Digital France
Toulouse, FR
Developed and maintained avionics toolchains for Airbus.• Maintained a C++ compiler for an internal domain-specific language, enabling automated verification, improved design workflows.• Built automated CI/CD pipelines (Jenkins, Docker, Git).• Created tooling in Python for traceability generation (JSON/YAML/HTML), test linking, and automation of verification steps.• Collaborated closely with avionics engineers, system engineers, and tool vendors to troubleshoot issues and validate toolchain behavior.
EDUCATION
Université de Bordeaux
Master's degree, Computer Science
CPGE Al Khansaa, Casablanca, Morocco
MP / MPSI, Maths & Physics
ENSEIRB-MATMECA - Bordeaux INP
Engineer's degree, Computer Science
ABOUT ABDERRAHMANE FAIZ
I\'m a software engineer with a strong foundation in formal methods, software verification, and static analysis.
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.