Dave Aitken
Senior Software Engineer at Goodnotes
London, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolDave Aitken is a Senior Software Engineer based in London with 16 years building production software across startups and research-driven companies. He moved from hands-on R&D engineering into leadership as VP Engineering at Imandra before returning to a senior individual contributor role at Goodnotes, demonstrating both technical depth and people-focused delivery. Trained in theoretical physics and quantum information at Oxford, he brings a rigorous, analytical approach to complex systems and edge-case correctness. His career spans consumer and engineering-focused products—from digital music platforms to formal verification and note-taking apps—showing adaptability across domains. Colleagues know him for combining deep problem-solving with pragmatic shipping, particularly in research-to-product transitions. He maintains a public technical footprint (StackOverflow Careers) and a curiosity for bridging formal methods with real-world software engineering.
17 years of coding experience
12 years of employment as a software developer
MPhys Physics, Theoretical Physics, Quantum Information Processing, MPhys Physics, Theoretical Physics, Quantum Information Processing at Oxford University
Github Skills (158)
vim-plugin10
vim10
lua10
spacemacs10
file-management10
purescript10
linux10
emacs10
financial-markets10
reasonml10
magit10
file-manager10
reason-react10
strongly-typed10
neovim10
Programming languages (21)
Github contributions (5)
imandra-ai/verified-react
Nov 2018 - Oct 2019
Automated reasoning for React/ReasonML
Contributions:162 commits, 15 PRs, 139 pushes in 11 months
reactreasonmlimandrareason-react
actionshrimp/offline-4clojure
May 2013 - Nov 2013
Contributions:97 commits in 6 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.