Marcos Benevides
Software Engineer at TradeKart
Nova Brasilândia d'Oeste, Rondônia, Brazil
Summary
🤩
Rockstar🎓
Top SchoolMarcos Benevides is a pragmatic software engineer with a decade of experience building and modernizing backend systems, particularly using functional programming languages like F# and OCaml. He has driven migrations of legacy monorepos and cloud infra (AWS→Azure) while improving security and automation—implementing SCRAM for PostgreSQL and cutting infrastructure costs by ~80% at Datarisk. Comfortable as an individual contributor and technical lead, he has led cross-team integrations, mentored juniors, and created tooling to make debugging and local testing reproducible. Now at TradeKart, he continues to blend pragmatic maintenance of critical systems with functional-imperative designs that ease migrations. An inquisitive problem-solver based in Rondônia, Brazil, he describes himself playfully on GitHub as “a prototype of a much larger system,” hinting at a taste for clever, system-level thinking.
10 years of coding experience
7 years of employment as a software developer
Bachelor's degree Computer Science, Bachelor's degree Computer Science at UFMA - Universidade Federal do Maranhão
English, Portuguese, Chinese, Spanish
Github Skills (171)
nix10
xaml10
windows10
nixos10
linux10
dotnet10
browser10
rio10
nix-flake10
latex10
face-recognition10
avalonia10
cross-platform10
mvvm10
nixpkgs10
Programming languages (19)
Github contributions (5)
mtrsk/PUGMA-bot
May 2018 - Apr 2023
Um bot para o Telegram do Python User Group - MA.
Contributions:55 pushes, 4 branches in 5 years
telegram-botpythonbottelegramuser-group
mtrsk/coursebook
Aug 2019 - Sep 2024
Open Source Introductory Systems Programming Textbook for the University of Illinois
Contributions:7 pushes in 5 years 2 months
illinoissystems-programmingtextbookuniversity-of-illinoisintroductory
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.