Zakaria Teffah
|
Experienced professional in software & hardware development. My areas of interest are: compilers, formal methods, optimization and scientific computing
More about me
I am an experienced professional with 14+ years in computer science, specializing in compilers and formal verification. I'm excited to tackle cutting-edge software & hardware problems.
My expertise spans C/C++ development, combinatorial and numerical optimization, mathematical modelling, and software architecture design. I am specialized in formal verification using Lean, TLA+ and SMT solvers like Z3.
Experience
C++/Python R&D Engineer
NanoXplore
Feb 2021 - Dec 2025
FPGA compiler development, DSP pattern matching, formal verification with SMT solvers, Reduced Ordered Binary Decision Diagram development for equivalence checking, graph/hypergraph algorithms for circuit abstractions.
Scientific Tools Engineer
Liebherr Aerospace
Jan 2015 - Apr 2019
Heat transfer algorithms for aircraft icing prediction, scientific computation library for roller bearing modeling, uncertainties propagation computation for sensor-dependent physical quantities.
Methods & Tools Consultant at Altran for Airbus
Airbus
Aug 2011 - Dec 2014
Airbus flight simulator stability optimization, aircraft trajectory simulation and optimization tools, multi-physics simulation for A30X wing optimization using kriging ML.
Skills
Core Expertise
Languages
Education
Degree
INSA Toulouse
Master of Science
Computer Science, Mathematics and Modelling
2006 - 2011
Department of Mathematics Engineering
Interests
Internships
IMFT Toulouse
Graduate Internship
Finite volume code for Biot poro-elastic coupling simulation and numerical analysis.
Mercator Ocean
Internship
Generation of oceanic initial conditions from meso-scale oceanic re-analysis.
Norwegian Meteorological Institute
Internship
OSI SAF daily ice drift product development and validation.