Fraser Dunlop
Software Developer at Neptune North
St Andrews, Scotland, United Kingdom
Summary
👤
Senior🎓
Top SchoolFraser Dunlop is a software developer with a decade of experience building reliable, data-driven systems and leading engineering teams across research and industry. Based in St Andrews, he has moved between academic research—extending constraint modelling tools in Haskell and developing spatio-temporal algorithms—and production roles at FanDuel and MLabs where he implemented real-time data pipelines, Kubernetes-based microservices, and blockchain contracts for Cardano. He has hands-on expertise in rigorous testing and verification, having built a SAT-solver-driven test specification system to exhaustively enumerate unit test spaces for financial smart contracts. Fraser combines strong systems thinking (memory-leak debugging, CI/CD automation, Docker/Helm hardening) with a mathematical background (First Class MMath), enabling him to translate formal methods into practical, auditable software. Colleagues describe him as someone who treats software as a language—designing expressive abstractions as well as the low-level plumbing that makes them robust. He brings a rare blend of research-grade formalism and production engineering discipline to complex, mission-critical projects.
10 years of coding experience
5 years of employment as a software developer
Master of Mathematics, MATHEMATICS AND STATISTICS, Honours First Class, Master of Mathematics, MATHEMATICS AND STATISTICS, Honours First Class at University of St Andrews
Github Skills (8)
crossword10
sat-solver10
constraint10
constraint-programming10
combinatorial-optimization10
sat10
python9
essence4
Programming languages (2)
Github contributions (5)
fraser-dunlop/FreeSketch
Aug 2017 - Sep 2017
Contributions:42 pushes, 1 branch in 1 month
fraser-dunlop/permutation-safe
Oct 2018 - Jul 2019
Contributions:4 pushes, 1 branch in 9 months
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.