Arthur Araujo
Senior Software Engineer at Microsoft
Minas Gerais, Brazil
Summary
🤩
Rockstar🎓
Top SchoolArthur Araujo is a Senior Software Engineer with a strong hardware-rooted foundation (BSc in Electrical and Electronics Engineering with robotics emphasis) and two-plus years of focused experience building core Windows distribution and novel AI experiences for Microsoft enterprise customers. He brings deep C++ expertise across native Win32 APIs and distribution clients, plus fluency in C#, Java, JavaScript and web stacks from earlier full‑stack and DevOps roles. His background spans formal verification tooling at Cadence to embedded robotics research, which gives him uncommon fluency bridging low-level systems, verification, and higher-level product features. At Microsoft he’s been trusted to represent teams in design reviews, own full code lifecycles from build systems to test infra, and mentor junior engineers. Colleagues benefit from his blend of disciplined systems thinking and practical product delivery across highly technical domains.
2 years of coding experience
10 years of employment as a software developer
Bachelor of Science (BSc), Electrical and Electronics Engineering, Bachelor of Science (BSc), Electrical and Electronics Engineering at Universidade Federal de Minas GeraisExchange Student, Electronic Engineering with Computer Systems, Exchange Student, Electronic Engineering with Computer Systems at University of Surrey
English, Portuguese, Spanish, German, Japanese
Github Skills (24)
windows10
command-line-interface10
linux10
cmake10
windows-service10
powershell-module10
visual-studio10
command-line10
winget10
cpp10
cli10
windows-package-manager9
macos9
vcpkg9
testing7
Programming languages (4)
Github contributions (5)
microsoft/sfs-client
Mar 2024 - Dec 2024
Simple File Solution (SFS) Client
Contributions:2 releases, 40 reviews, 52 PRs in 9 months
arthuraraujo-msft/vcpkg
Mar 2024 - Mar 2024
C++ Library Manager for Windows, Linux, and MacOS
Contributions:14 pushes, 2 branches in 12 days
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.