Rígille Menezes
Software Engineering Manager at MixRank
Espírito Santo, Brazil
Summary
🤩
Rockstar🎓
Top SchoolRígille Menezes is a software engineering manager based in Espírito Santo, Brazil, with a decade of industry experience and five years in hands-on engineering roles. He has progressed from C++ trading systems developer to Python engineer and formal methods specialist, now leading engineering at MixRank where he moved from individual contributor to manager in 2023. His background in mathematics underpins a pragmatic approach to building reliable systems, from low-latency market-data pipelines to production Python services. Colleagues would describe him as curious and experimental—his GitHub bio ("trying to learn some things and have fun") reflects a continuous-learning mindset that complements his delivery focus. He brings both technical depth and people leadership, bridging formal verification thinking with practical product engineering.
9 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Mathematics, Bachelor's degree, Mathematics at Universidade Federal do Espírito Santo (Oficial)
English, Portuguese
Github Skills (111)
programming-language10
beautifier10
haskell10
dependent-types10
animation10
type-theory10
lambda-calculus10
proof-assistant10
functional-programming10
rust9
parallel9
python9
css9
verification9
nodejs9
Programming languages (16)
Github contributions (5)
impression28/impression28.github.io
Sep 2020 - Nov 2022
Contributions:50 commits, 7 pushes, 2 branches in 2 years 2 months
rigille/LMC-markets
Jul 2019 - Apr 2020
Contributions:14 commits, 20 pushes, 2 branches in 9 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.