Nikita Volodin
Senior Software Engineer at Lincoln Electric Automation
Canada
Summary
🤩
Rockstar🎓
Top SchoolNikita Volodin is a senior software engineer with 13 years of experience bridging applied research and production software across Canada. Trained with an MCS from the University of Waterloo and a background in undergraduate research, he blends formal-methods thinking—interest in functional programming, type theory, and formal verification—with pragmatic engineering at companies like Influitive and Lincoln Electric Automation. He has moved between research and industry roles, bringing rigor from graduate research into robust product code and automation systems. Notably, his profile reflects a long-standing curiosity about program correctness rather than just shipping features, making him a strong fit for teams that value reliability, type-driven design, and technically nuanced problem solving.
13 years of coding experience
10 years of employment as a software developer
Bachelor’s Degree, Computer Science, Bachelor’s Degree, Computer Science at University of Prince Edward IslandMaster’s Degree, Computer Science, Master’s Degree, Computer Science at University of Waterloo
English, Russian
Github Skills (200)
programming-language10
epub10
standalone-server10
agda10
quickcheck10
testing10
test-framework10
typescript-definitions10
material-ui10
publish10
opentelemetry10
assert10
schema10
clustering10
ansible-role10
Programming languages (16)
Github contributions (5)
qlonik-forks/DefinitelyTyped
Jul 2020 - Dec 2021
The repository for high quality TypeScript type definitions.
Contributions:6 PRs, 10 pushes, 4 branches in 1 year 5 months
typescript-definitionstype-definitionshigh-qualitycjsdefinitions
dettanym/prose
Sep 2023 - Jun 2026
PRivacy ObServability and Enforcement Frameworks
Contributions:10 reviews, 31 PRs, 401 pushes in 2 years 8 months
observability
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.