Vintage Athens Parthenon
Vintage Thessaloniki White Tower
George Petrou

George Petrou

Senior Software Engineer, Ads @ Brave Browser
Athens-Thessaloniki, Greece
8+ Years Professional Experience

Building privacy-first distributed systems. I enjoy working on challenging problems and constantly learning new things!

01 — Experience

Work
History

EXPERIENCE
02/2025 — PresentBrave Browser

Senior Software Engineer, Ads

Building privacy-first browser solutions and distributed systems for millions of users worldwide. Architecting scalable backend services using Python and TypeScript, implementing advanced algorithms for ad-blocking and privacy protection. Leading development of core platform features with React and Angular frontends.

TypeScriptReactPostgreSQLAWS...and many more 🙂
10/2022 — 09/2024Boltive

Software Engineer

Joined Boltive, a company in the AdTech and Privacy space working on complex and challenging backend and frontened features!

PythonJavaScriptPostgreSQLRedisAWSDocker
08/2021-08/2022USC Viterbi School of Engineering

PhD Researcher

PhD researcher in the field of Programming Languages, specifically in the domain of Program Synthesis and Verification.

Software VerificationProgram SynthesisProgram AnalysisPythonZ3 SolverDatalogSMT Solvers
09/2020-07/2021IBM

Software Engineer

Joined IBM's Turbonomic platfrom and specifcally the API core team developing features and maintaining API component. Worked also in the HyperConverged team backend.

PythonReactAngularPostgreSQLElasticsearchAWS
09/2019 — 09/2020Commsquare

Software Engineer

Worked as a Software Enginner in the Telecom Industry building stuff for backend and data engineer/ETL/reporting etc..

PythonDjangoAngularNode.jsPostgreSQLElasticsearch
11/2018 — 07/201932nd Marines Brigade

Software Analyst

Served as a software analyst at Greek Army during my military service at Marine Special Forces.

PythonDjangoAngularNode.jsPostgreSQLElasticsearch
01/2018-09/2018NTUA

Researcher

Conducted research on algorithm verification using Liquid Haskell as part of my MSc thesis statement.

Haskell
02 — Education

Academic
background

USC
University of Southern California
2018 – 2020

University of Southern California

Master of Science (MSc)

Computer Science

Los Angeles, CA
NTUA
National Technical University of Athens
2013 – 2018

National Technical University of Athens

Diploma (Integrated Master's)

Computer Science & Engineering

Athens, Greece
04 — Contact

Let's
connect

Under Construction, please reach out on LinkedIn