Paulo Sanz
Software Engineer at Railway
Rio de Janeiro, Brazil
Summary
🤩
Rockstar🎓
Top SchoolPaulo Sanz is a senior software engineer with nine years of experience building scalable, resilient systems for startups and enterprise customers from Rio de Janeiro. He has led engineering and CTO roles where he cut infrastructure costs dramatically, drove internationalization, and turned products into more self-service, profitable offerings. Technically versatile, Paulo has shipped production services in Rust, Go, Node/TypeScript and PostgreSQL, and contributed to notable open-source projects including ESP8266 Arduino core and the Rust parking_lot crate. At System Initiative he helped design a Hyper Graph-based Digital Twin platform with CRDT-powered editing and reactive dependency reconciliation, and at Railway he built enterprise-grade ZFS backups and real-time alerts. He pairs product-minded engineering with clear communication and user-focused design, bringing lean methodology and investor-facing experience from earlier EdTech work. He stepped back from CTO duties to prioritize work-life balance while continuing to tackle interesting distributed-systems challenges.
9 years of coding experience
6 years of employment as a software developer
Computer and Information Engineering, Computer and Information Engineering at Federal University of Rio de Janeiro
English, Portuguese
Github Skills (23)
c-language10
strings10
primitive10
mutex10
text-manipulation10
synchronized10
memory-management10
mux10
esp826610
sys10
synchronize10
synchronization10
embedded10
rust10
cprogramming-language10
Programming languages (10)
Github contributions (5)
esp8266/Arduino
Nov 2020 - Jun 2022
ESP8266 core for Arduino
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:11 reviews, 12 commits, 17 PRs in 1 year 7 months
Contributions summary:Paulo contributed to the core of the ESP8266 Arduino core, addressing issues related to string manipulation, error handling, and memory management. The commits focused on improving stability, preventing potential crashes, and enhancing functionality of core string and HTTP client libraries. Several changes involved preventing null pointer dereferences and buffer overflows, crucial for the reliability of embedded systems.
platformioesp8266esp32arduino
Amanieu/parking_lot
Jan 2020 - Jan 2020
Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.
Role in this project:Back-end Developer
Back-end DeveloperContributions:5 commits, 1 PR, 5 comments in 1 day
Contributions summary:Paulo's contributions primarily focus on developing a fair mutex implementation in Rust for the `parking_lot` repository. Their work involved creating the API for the `FairMutex`, including the core logic for ensuring fairness in the locking mechanism. They also made updates to the documentation, including adding more detail on the rationale behind and the differences between the fair mutex and the regular mutex provided by the library. Further commits included bug fixes and debug implementations related to the fair mutex.
apisemaphorecompactsynchronizationrust
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.