Abderrahmane Faiz profile picture

Abderrahmane Faiz

Software Engineer · Problem Solver · Creator

About Me

I'm a software engineer with a strong foundation in Algorithms, Formal Methods and static analysis. I work at Randstad Digital France as a subcontractor for Airbus Commercial Aircraft in the Avionics Software Departement since 2021.

At my job, I'm responsible of the development and maintenance of the avionics software production system for on-board and ground avionics products and components, in an environment with industrial and certification constraints (DO178, DAL A to D software, DO330) that are used in critical on-board products (e.g. flight controls, flight alerting, communication, maintenance equipment) for all Airbus aircrafts

I work mainly with C/C++, Python, OCaml, and scripting tools to build reliable software and automation.

I love creating and building things. I’ve started a blog and a podcast in the past, and I also enjoy drawing, I keep a travel journal where I sketch and capture moments from my trips. I'm also passionate about languages, culture, philosophy, and I enjoy exploring new ideas and perspectives.

Interests

  • Functional programming
  • Static Analysis
  • Formal Methods
  • Logic & Algorithmic Puzzles

Education

  • Bordeaux INP – Enseirb-Matmeca: Engineering Degree in Computer Science (2018–2021)
  • University of Bordeaux: Master’s Degree in Software Verification (2020–2021)
  • CPGE MPSI–MP: Classes Préparatoires aux Grandes Écoles – Mathematics & Physics (2016–2018)

Contact

Feel free to reach out via email or connect with me on GitHub.