Paul Brauner
Staff Software Engineer at Digital Asset
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolPaul Brauner is a Staff Software Engineer based in Zurich with 14 years of experience building backends, pipelines and APIs across large-scale, cross-team and international projects. After a long tenure at Google where he shipped production systems and collaborated broadly, he now applies his expertise at Digital Asset focusing on robust distributed systems. He brings deep academic roots—a PhD in computer science and background in formal logic and type systems—that inform a strong affinity for functional programming and type-driven design. Comfortable across the stack, he pairs practical engineering with rigorous reasoning to reduce complexity and runtime errors. Colleagues value his ability to translate formal models into maintainable production code and to navigate multidisciplinary teams.
14 years of coding experience
13 years of employment as a software developer
Master of Engineering - MEng, Master of Engineering - MEng at TELECOM NancyMaster's degree, Computer Science, Master's degree, Computer Science at Universite de LorraineDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at National Polytechnic Institute of Lorraine
French, English, German, French, English, German
Stackoverflow
1,317reputation
77kreached
7answers
12questions
Github Skills (130)
programming-language10
parser10
code-completion10
dart2js10
stack10
sdk10
dart10
fiddle10
ghc10
flutter10
game-programming10
ide10
hackage9
cabal9
parser-combinators9
Programming languages (11)
Github contributions (5)
polux/propcheck
Aug 2012 - Jul 2018
Exhaustive and randomized testing of Dart properties
Contributions:78 commits, 3 PRs, 10 pushes in 5 years 11 months
randomizedexhaustivedartlangtestingdart
polux/advent-of-code
Jan 2022 - Jan 2023
Contributions:43 commits, 95 pushes, 1 branch in 1 year
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.