Renaud Hartert
Staff Software Engineer at Databricks
Amsterdam, North Holland, Netherlands
Summary
👤
Senior🎓
Top SchoolRenaud Hartert is a Staff Software Engineer with nine years of experience building large-scale, high-impact systems—from Google-scale data pipelines and ML-driven routing to consumer-facing booking and measurement platforms. He has led teams and engineering transformations that scaled products to tens of millions of users, doubled ARR, and increased deployment cadence from monthly to daily at Bodygram, and now contributes at Databricks. A PhD-trained algorithmist, he blends deep research in combinatorial optimization with pragmatic system design, shipping solutions that span low-level performance tuning to privacy-preserving, GDPR-compliant architectures. Colleagues recognize him for thriving in ambiguity, mentoring engineers to outperform their size, and winning cross-functional buy-in for complex initiatives. Outside work he pursues hands-on projects—currently attempting to build a coffee grinder—which reflects his curiosity about how things work end-to-end.
9 years of coding experience
8 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Ecole Polytechnique de Louvain
English, French
Github Skills (9)
satisfiability10
linear-programming10
combinatorial-optimization10
operations-research10
optimization10
solver9
architecture8
constraint-programming8
sat-solver2
Programming languages (3)
Github contributions (5)
google/kiwi-solver
Jan 2017 - Jun 2017
Kiwi is a minimalist and extendable Constraint Programming (CP) solver.
Contributions:28 commits in 4 months
constraint-programmingsolverarchitectureoptimizationsatisfiability
rhartert/yass
Apr 2024 - Jun 2024
Yet Another SAT Solver
Contributions:3 PRs, 79 pushes, 3 branches in 1 month
sat-solver
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.