Nathaniel St Amour
Software Engineer at thatDot
United States
Summary
👤
Senior🎓
Top SchoolNathaniel St Amour is a software engineer with a decade of experience building reliable systems and leading engineering teams, currently coding at thatDot. His background blends applied research in formal verification and verified algorithms from graduate work at Ohio University with practical product and supervisory experience at Tangram Flex. He has hands-on experience across languages and domains—from Coq-verified hardware and OCaml compilers labs to Python bioinformatics pipelines and Selenium/.NET automation for enterprise web apps. Nathaniel’s trajectory shows a pattern of turning academic rigor into production-quality software and test frameworks, and he’s comfortable both mentoring peers and shipping features. Notably, he contributed to formal verification projects and coauthored published research early in his career, signaling a depth beyond typical application engineering. Based in the United States, he brings a mix of research-grade correctness and pragmatic engineering leadership to team-scale problems.
10 years of coding experience
9 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at Ohio University
English
Github Skills (8)
tla7
synthesis5
source-code-analysis4
verification2
tlaplus1
model-checking1
idris1
security1
Programming languages (1)
Github contributions (5)
neewamp/Resume
Apr 2016 - Mar 2020
Contributions:18 pushes, 1 branch in 3 years 11 months
neewamp/ns3Project
Apr 2016 - Apr 2016
Contributions:49 pushes, 1 branch in 20 days
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.