Mauricio Araujo

Software Engineer at Porter

Mexico
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Mauricio Araujo is a pragmatic backend engineer with 8 years of experience building reliable, cloud-native systems across startups and scale-stage companies in Mexico. He has led backend efforts as a founding engineer and tech lead, shipping production services using Go, Python, TypeScript, and infrastructure-as-code with Terraform. Comfortable owning both architecture and DevOps, he bridges system design and operational delivery to reduce toil and accelerate feature shipping. Currently at Porter, Mauricio combines hands-on coding with infrastructure stewardship and a knack for simplifying complex distributed problems. He brings a startup mindset—prioritizing impact, iteration, and resilient APIs—backed by a Computer Science degree from Benemérita Universidad Autónoma de Puebla.
code8 years of coding experience
job3 years of employment as a software developer
bookBachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Benemérita Universidad Autónoma de Puebla
languagesEnglish, Spanish
github-logo-circle

Github Skills (48)

similarity-search10
vector-search10
search-engine10
kubernetes10
docker10
postgresql10
digitalocean10
vector-database10
analytics10
semantic-search10
sparse-vector10
gcp10
olap10
mpp10
aggregations10

Programming languages (15)

SmartyMDXJavaCRustVueGoMustache

Github contributions (5)

github-logo-circle
paradedb/helm-charts

Aug 2023 - Apr 2024

Helm chart for deploying ParadeDB on Kubernetes
Contributions:7 releases, 1 review, 87 PRs in 8 months
helmkubernetesbm25chartcharts
MauAraujo/fullstack

May 2025 - Jun 2026

Contributions:42 PRs, 63 pushes, 21 branches in 1 year
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.
Request Free Trial