Paulo Barros
Principal Software Engineer at SecurityScorecard
Pernambuco, Brazil
Summary
🤩
Rockstar🎓
Top SchoolPaulo Barros is a Principal Software Engineer based in Pernambuco, Brazil, with 12 years of experience designing and operating scalable, cloud-native backend systems. He has led teams and technical initiatives across payments and healthcare, architecting distributed microservices on Kubernetes and building data pipelines that transformed reporting and monitoring into self-service capabilities. At MediLedger he cut incident response from days to minutes through redesigned alerting and observability, and at Acqio his payment platform work drove double-digit TPV gains. An early contributor to the Checker Framework during research internships at the University of Washington, he brings a strong foundation in type-based verification and practical open-source contributions to complex Java tooling. Paulo combines hands-on implementation with leadership in defining engineering culture, OKRs, and mentorship, making him equally effective at shipping systems and developing teams.
12 years of coding experience
10 years of employment as a software developer
Exchange Student Program Informatics, Exchange Student Program Informatics at HSB Hochschule Bremen – City University of Applied SciencesMaster of Science (MS) Computer Science, Master of Science (MS) Computer Science at Universidade Federal de Pernambuco
English, Portuguese
Github Skills (10)
type-system10
javas10
typescript10
typesc10
verification10
java10
annotations10
annotation-processing10
reflection8
reflections8
Programming languages (9)
Github contributions (5)
typetools/checker-framework
Sep 2015 - Nov 2016
Pluggable type-checking for Java
Role in this project:
Back-end Developer
Back-end DeveloperContributions:11 commits, 12 PRs, 5 pushes in 1 year 2 months
Contributions summary:Paulo primarily contributed to the Checker Framework project by implementing and refining features related to pluggable type-checking for Java. Their work involved adding new annotations and associated methods, as well as modifying existing classes to incorporate these features. They also addressed code review feedback and added meta-annotations for specifying type-use locations. This involved making changes to the Java code base, and creating new annotations that support the type-checking features of the framework.
checkingverificationtype-checkingpluggablejava
pbsf/pyne2019-grpc
Jul 2019 - Jan 2022
Contributions:2 pushes in 2 years 6 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.