Matheus Boy
Principal Software Engineer at Red Hat
São Paulo, Brazil
Summary
👤
Senior🎓
Top SchoolMatheus Boy is a Principal Software Engineer based in São Paulo with 14–15 years of hands-on experience spanning software engineering, DevOps, SRE and generative AI. At Red Hat he leads pipeline availability and a Pipeline AI program, prioritizing work for 20+ engineers while steering generative-AI adoption across a 200-person organization. He has a track record of accelerating release engineering—driving an automation that produced up to a 9x speedup in CDN operations—and has repeatedly blended product ownership with tech leadership across microservice, cloud and CI/CD initiatives. Comfortable in Python, Ansible, OpenShift, Node/TypeScript and React, he pairs low-level automation skills with strategic planning and team coaching. Known on GitHub self-effacingly as a “code janitor,” he brings pragmatic maintenance discipline to large-scale systems and a knack for turning messy operational problems into repeatable automation.
15 years of coding experience
10 years of employment as a software developer
Bachelor of Engineering (B.E.), Engenharia de Computação, Bachelor of Engineering (B.E.), Engenharia de Computação at Universidade Estadual de CampinasTécnico, Informática, Técnico, Informática at IFBA - Instituto Federal da Bahia
Portuguese, Spanish, English, German
Github Skills (18)
bootstrap10
python10
http10
argocd10
python-requests10
openshift9
gitops9
react8
observability8
architecture7
zero-configuration5
developer-tools4
create-react-app4
build-tools3
machine-learning2
Programming languages (5)
Github contributions (5)
mftb/infra-deployments
Jun 2024 - Oct 2025
This repository is an initial set of Argo-CD-based deployments of AppStudio components to a cluster, plus a script to bootstrap Argo CD onto that cluster (to drive these Argo-CD-based deployments, via OpenShift GitOps).
Contributions:32 pushes, 1 branch in 1 year 5 months
mftb/o11y
Nov 2024 - Jan 2026
Stonesoup observability
Contributions:42 pushes, 3 branches in 1 year 2 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.