Paul Cadman
Senior Software Engineer at Irreducible
London, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolPaul Cadman is a Senior Software Engineer and mathematician with a PhD in algebraic geometry and 13 years’ experience building production-critical systems across fintech, public health, and blockchain. He has led mobile and backend teams to deliver large-scale, regulation-sensitive projects—such as OpenID/PSD2 integrations and a 5M-user app migration—and translated academic algorithms into working NHS COVID-19 exposure code using unscented Kalman filters. More recently he designed compiler and language tooling for the Juvix language on the Anoma blockchain, contributing low-level improvements to the Anoma reference implementation and Nock evaluator. A long-standing advocate of formal methods, he founded the Type Driven Development study group to bring certified programming practices to real projects, combining deep theoretical training with pragmatic engineering. Based in London, he pairs rigorous correctness-focused thinking with hands-on delivery across mobile, backend, and compiler stacks, and is known to unwind with opera.
13 years of coding experience
4 years of employment as a software developer
Doctor of Philosophy - PhD Mathematics, Doctor of Philosophy - PhD Mathematics at University of Warwick
Github Skills (12)
protocols10
data-serialization10
erlang10
elixir10
serialization10
cryptography9
blockchain9
distributed-systems9
command-line-interface8
cli8
command-line8
testing7
Programming languages (19)
Github contributions (5)
anoma/anoma
Oct 2024 - Feb 2025
Reference implementation of Anoma
Role in this project:
Back-end Developer
Back-end DeveloperContributions:3 PRs, 8 pushes, 6 branches in 4 months
Contributions summary:Paul focused on improving the Anoma project's core functionality, particularly related to Nock evaluation and transaction processing. They added a standalone CLI tool for the Nockma evaluator, integrated the `jam` function for efficient data serialization within the system, and modified the delta structures for correct binary key usage. Furthermore, the user addressed serialization issues related to transaction data and improved the input order handling for the client-side prove function.
cryptographyanomaconsensusprotocolp2p
paulcadman/the-little-typer
Nov 2018 - Apr 2019
Resources for "The Little Typer" study group
Contributions:64 commits, 1 PR, 58 pushes in 5 months
typerstudy-group
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.