Blaise Paradeza

Senior AI Software Engineer at Quantium

Greater Sydney Area Australia
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

👤
Senior
🎓
Top School
Blaise Paradeza is a Senior AI Software Engineer based in Greater Sydney with eight years' experience building production-grade, cloud-native systems. He currently drives development of an AI-powered chatbot using LangGraph and the Model Context Protocol, and serves as the team's Kubernetes deployment SME across frontend, backend and ancillary services like LiteLLM and Langfuse. At Quantium he has led end-to-end projects spanning cloud migration, Terraform provisioning and BigQuery integration, and has a track record of halving CI/CD build times through workflow and test-suite optimisations. He combines full‑stack engineering with data-aware backend work—redesigning SQL generation for improved memory and runtime in retail metrics—and coordinates complex cross-functional migrations under tight deadlines. Blaise also invests in team capability, having redesigned a Bash bootcamp for new graduates, showing a practical focus on upskilling and operational excellence. His profile reflects a pragmatic engineer who bridges AI model orchestration, Kubernetes ops and data platform engineering.
code8 years of coding experience
job6 years of employment as a software developer
bookHigh School, High School at Hurlstone Agricultural High School
bookUNSW Sydney
languagesEnglish
github-logo-circle

Github Skills (17)

1c10
tla9
verification9
sat9
sat-solver8
model-checking8
idris8
agda8
tlaplus8
coq-library7
dependent-types7
proof7
coq7
theorem-proving7
test-suite7

Programming languages (1)

Isabelle

Github contributions (5)

github-logo-circle
niriksha99/Seng2011

Aug 2018 - Oct 2018

Contributions:63 pushes, 1 branch in 2 months
BlaiseParadeza/cogent

Jun 2020 - Jun 2020

Contributions:1 push in 1 day
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
Blaise Paradeza - Senior AI Software Engineer at Quantium