Omar Leija
Senior Software Engineer at AllSpice.io
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolOmar Leija is a Senior Software Engineer and PhD-trained researcher who blends systems-level rigor with pragmatic engineering to build production Rust services and cryptographic infrastructure. With 11 years of experience and over seven years focused on Rust, he has driven end-to-end development of critical backend systems—most recently a Rust-based key management SaaS and distributed crypto protocol libraries at Bolt Labs. His work spans Linux systems programming, custom async runtimes, and performance-focused CI/CD improvements (cutting CI time from ~50 to 15 minutes), reflecting both deep technical craft and operational discipline. A published researcher who built Dettrace, he brings a reproducible-execution mindset to production problems, making complex systems more debuggable and auditable. Based in foggy San Francisco, Omar pairs advanced language expertise and tooling fluency with a taste for elegant, research-informed engineering.
11 years of coding experience
9 years of employment as a software developer
Bachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at University of Nevada-Las VegasDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Pennsylvania
Github Skills (136)
servo10
bypass10
markdown10
javascript10
linux10
browser10
site-generator10
rust10
webbrowser10
webengine10
tera10
static-site10
network10
static-site-generation10
threshold10
Programming languages (8)
Github contributions (5)
gatoWololo/rr_channel
Jun 2019 - Oct 2021
Lightweight RR Implementation
Contributions:14 PRs, 61 pushes, 14 branches in 2 years 4 months
gatoWololo/servo
Jun 2019 - Mar 2021
The Servo Browser Engine
Contributions:19 pushes, 6 branches in 1 year 9 months
servojavascriptbrowser-enginebrowser
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.