Nicolas Phan
Hardware Verification Engineer
Nice, Provence-Alpes-Côte d'Azur, France
Summary
👤
Senior🎓
Top SchoolNicolas Phan is a hardware verification engineer with nine years of experience specializing in formal verification and security-focused validation of SoC designs. He began his career at Arm—advancing from intern to graduate engineer and engineer—where he applied formal methods to find and fix security flaws before moving into software development and back to hardware verification at Codasip. His background blends low-level OS porting and SystemC prototyping from academic research with practical industry experience in verification and software tooling. Based in Nice, France, he pairs rigorous engineering training from Sorbonne Université with a knack for tackling concurrency and security issues that often lurk below the surface of complex systems.
9 years of coding experience
4 years of employment as a software developer
Master's degree, Computer Science and Electronics Engineering, Master's degree, Computer Science and Electronics Engineering at Sorbonne UniversitéHigher School Preparatory Classes (CPGE), Mathematics, Physics and Engineering, Higher School Preparatory Classes (CPGE), Mathematics, Physics and Engineering at Lycée Condocet
French, English, German
Github Skills (7)
tla10
architecture9
formal-methods8
ocaml7
opam7
package-repository4
package-manager3
Programming languages (3)
Github contributions (5)
NicolasVanPhan/sail
Oct 2024 - Mar 2025
Sail architecture definition language
Contributions:41 pushes, 18 branches in 5 months
NicolasVanPhan/pnl2018
Feb 2018 - May 2018
Contributions:35 pushes, 2 branches in 3 months
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.