Marcos Benevides
Software Engineer at TradeKart
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 (172)
xaml10
nix10
windows10
erlang-otp10
terraform10
devenv10
automation10
opentofu10
nixos10
linux10
dotnet10
browser10
rio10
pulumi10
nix-flake10
Programming languages (23)
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
Dr-Nekoma/lyceum
May 2024 - Jul 2026
An MMO game written in Erlang + PostgreSQL (+ Omnigres) + Zig (+ Raylib), powered by a Nix-based devenv
Contributions:1 release, 38 reviews, 121 PRs in 2 years 2 months
devenverlangnixpostgresqlraylib
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.