Tom D
Senior Software Engineer at Arm
Cambridge, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolTom D is a Senior Software Engineer at Arm with five years' experience in verification and formal methods, progressing from Graduate Verification Engineer to Verification Engineer and now a senior role. He develops tool-agnostic scripting solutions for formal workflows that improve product reliability across Arm’s semiconductor stack, blending deep problem-solving with practical automation. Based in Cambridge, he pairs a Computer Science degree from Lancaster with hands-on expertise in creating auditable, reusable verification tooling. Colleagues know him for translating complex verification requirements into elegant, maintainable scripts that scale across projects — often surfacing subtle corner cases before silicon.
5 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at Lancaster University
Github Skills (31)
modular10
python10
data-science10
llvm10
machine-learning10
numpy10
ml10
deep-learning10
tensorflow10
deep-neural-networks10
gpu10
toolchain10
neural-network10
embedded10
tensor10
Programming languages (4)
Github contributions (5)
ARM-software/ML-zoo
Dec 2020 - Aug 2021
Contributions:1 release, 54 commits, 32 PRs in 8 months
tom-arm/executorch
Aug 2024 - Mar 2025
On-device AI across mobile, embedded and edge for PyTorch
Contributions:29 pushes, 21 branches in 7 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.