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)
epub10
testing10
material-ui10
effects10
schema10
jsx10
dependent-types10
unicorns10
faker10
html10
json10
changelog10
generative-testing10
nodejs10
unit-testing10
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 - Mar 2025
PRivacy ObServability and Enforcement Frameworks
Contributions:10 reviews, 31 PRs, 394 pushes in 1 year 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.