José De Souza Magalhães
Lead Software Engineer - AI Compiler at Cadence
Minas Gerais, Brazil
Summary
👤
Senior🎓
Top SchoolJosé De Souza Magalhães is a Lead Software Engineer specializing in AI compilers with eight years of experience bridging academic research and production systems. Currently a PhD candidate at the University of Edinburgh and a lead at Cadence, he brings deep compiler and garbage-collection research from his master's work at UFMG into practical engineering—most recently applying compilers and AI techniques during an internship at Uber. Comfortable in Go and Python, he has built features for cloud-native products and data-security services, and has hands-on experience with Docker, AWS and large-scale engineering workflows. Based in Minas Gerais, Brazil, José combines rigorous academic training with pragmatic product delivery, and is known for translating benchmark validation and compiler research into measurable system improvements.
8 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at The University of EdinburghBachelor's degree Computer Science, Bachelor's degree Computer Science at Universidade Federal de ViçosaMaster's degree Computer Science, Master's degree Computer Science at Universidade Federal de Minas Gerais
English, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (15)
sparse6
expressions5
taco5
linear-algebra3
llvm3
pointer3
algebra3
code-generator3
parallelization3
gpu2
programming-language2
python2
cuda2
compiler2
tensor1
Programming languages (2)
Github contributions (5)
JWesleySM/Whiro
Oct 2021 - Nov 2022
Contributions:34 commits, 3 PRs, 12 pushes in 1 year 1 month
JianpingZeng/FlowSensitiveSteensgaardPointerAnalysis
Aug 2018 - Oct 2018
Steensgaard's Pointer Analysis Algorithm with flow-sensitiveness
Contributions:19 commits in 1 month
pythondatamininganalysispointerpointer-analysis
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.