José De Souza Magalhães
Lead Software Engineer - AI Compiler at School of Informatics, University of Edinburgh
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 (9)
sparse6
parallelization5
code-generation4
code-generator4
llvm4
linear-algebra4
algorithm3
compiler2
tensor1
Programming languages (3)
Github contributions (5)
JWesleySM/Whiro
Oct 2021 - Nov 2022
Contributions:34 commits, 3 PRs, 12 pushes in 1 year 1 month
JWesleySM/c2taco
Oct 2023 - Mar 2026
Contributions:8 pushes, 1 comment in 2 years 5 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.