Marco Sousa
Staff Software Engineer at Synopsys Inc
Grenoble, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolMarco Sousa is a Staff Software Engineer based in Grenoble with 11 years of hands-on experience building high-assurance EDA tooling and embedded systems, now at Synopsys after a progression from intern to lead engineer at Cadence. He specializes in C/C++ and has deep domain expertise in formal verification, SystemVerilog tooling, functional-safety-aware debugging, and waveform/property debugging components. His background spans wireless indoor positioning research and IoT/embedded projects, giving him a strong systems-to-hardware perspective that helps bridge low-level protocols and large-scale verification products. Known for moving between research and product engineering, he combines rigorous academic training with practical delivery on complex, safety-critical features across multi-language codebases.
11 years of coding experience
10 years of employment as a software developer
Certificate Program, Information Technology, Certificate Program, Information Technology at Universidade Federal de ViçosaPostgraduate degree, Computer Networks and Telecommunications, 15.462/20, Postgraduate degree, Computer Networks and Telecommunications, 15.462/20 at Université Grenoble AlpesBachelor of Engineering (B.E.), Computer Engineering, 80.1744/100, Bachelor of Engineering (B.E.), Computer Engineering, 80.1744/100 at Centro Federal de Educação Tecnológica de Minas Gerais
English, Portuguese, French
Stackoverflow
61reputation
1kreached
0answers
3questions
Github Skills (18)
grammars7
projeto6
matrix6
gcc6
hex6
switch-statement6
printf6
antlr5
parsing5
verilog5
formal-verification4
python4
frontend4
quantum-computing3
yosys3
Programming languages (5)
Github contributions (5)
mtdsousa/antlr4-verilog-python
Jan 2022 - Jul 2022
Generated files from ANTLR4 for Verilog parsing
Contributions:37 commits, 2 PRs, 30 pushes in 5 months
antlrparsingverilog
mtdsousa/landauer
Aug 2022 - Jan 2023
Python toolkit to support fundamental energy limits and reversible computing research
Contributions:10 commits, 2 PRs, 52 pushes in 5 months
python
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.