Arthur Ramos
Senior Software Engineer at Microsoft
Tampa, Florida, United States
Summary
👤
Senior🎓
Top SchoolArthur Ramos is a Senior Software Engineer at Microsoft with 11 years of industry experience and a PhD in logic and theoretical computer science. He blends rigorous academic insight into the mathematical foundations of computation with practical engineering, having progressed through multiple software roles at Microsoft since 2018. Comfortable across research-adjacent topics and production systems, he brings deep expertise in formal reasoning, lambda calculus, and axiomatic set theory to real-world software problems. Based in Tampa, Florida, he also has teaching experience from Universidade Federal de Pernambuco, where he lectured on advanced formal topics. His background suggests a rare combination of production-grade coding skills and a strong theoretical lens that informs robust design and correctness-minded implementation.
11 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Universidade Federal de Pernambuco
English, Portuguese
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (32)
facebook-ads10
facebook-api9
facebook-messenger9
instagram-api9
facebook-graph-api9
facebook8
api-client7
java7
api7
graph6
wrapper5
mailjet5
mongodb4
php3
elixir3
Programming languages (4)
Github contributions (5)
ArthurFreitas/ReallyOldProjects
Jul 2015 - Jan 2020
Contributions:1 push, 1 branch in 4 years 6 months
Caio-Machado/onboarding_environment
Dec 2021 - Mar 2022
Contributions:76 reviews, 80 comments in 3 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.