João Souto

Lead Software Engineer at Cadence Design Systems

Minas Gerais, Brazil
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
João Souto is a Lead Software Engineer with a decade of industry and research experience building efficient computing solutions, currently driving R&D at Cadence Design Systems. He blends academic rigor—MSc in Computer Science from UFSC and a summa cum laude BSc—with hands-on systems work developing a distributed operating system for lightweight manycore processors. His background spans verification IP, manycore communication APIs, and physical design tooling, reflecting deep expertise in low-level, performance-critical software. Known for favoring simplicity as a route to reliability, he has transitioned research prototypes into production-grade components and led cross-functional teams through complex designs. Based in Minas Gerais, Brazil, João pairs a strong research pedigree with practical delivery experience across academia and industry. An early career in prepress operations also gives him an uncommon operational perspective on production workflows and process rigor.
code10 years of coding experience
job6 years of employment as a software developer
bookMaster’s degree in Computer Science, Computer Science, Master’s degree in Computer Science, Computer Science at Universidade Federal de Santa Catarina
bookHigh school, HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES, High school, HIGH SCHOOL/SECONDARY DIPLOMAS AND CERTIFICATES at E. E. B. Romildo Czepanhik
github-logo-circle

Github Skills (45)

verilog10
euler10
symbolic-math10
mathematics10
cas10
hardware10
operating-system10
unix9
javascript9
physical-design9
computer-algebra-system9
eda9
formal-languages9
x869
vhdl9

Programming languages (9)

JavaC++ShellCRustTeXMakefileJavaScript

Github contributions (5)

github-logo-circle
joaovicentesouto/INE5421

May 2018 - Jun 2018

Formal Languages and Compilers
Contributions:161 commits, 40 PRs, 138 pushes in 1 month
compilerformal-languages
nanvix/benchmarks

May 2020 - Nov 2022

Benchmarks for Nanvix
Contributions:115 commits, 6 PRs, 131 pushes in 2 years 6 months
benchmarkbenchmarksnanvix
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.
Request Free Trial