Vedang Naik is a seasoned software engineer focused on formal verification and infrastructure tooling, currently advancing hardware design verification at Nvidia. With 8 years of diverse experience, he has shipped test planning, proof convergence, and formal infrastructure maintenance, alongside DevOps tooling and automated testing across teams. At Tenstorrent, he accelerated onboarding from weeks to a day by Dockerizing developer environments, modernized development Docker images, and scaled the in-house DevInfra tool to 100+ machines across four sites. He holds an HBSc in Computer Science from the University of Toronto with a 3.96/4 GPA and led avionics software development for UTAT, delivering an extensible C++ interface and Docker-based workflows. Based in California, he is open to connecting with peers and exploring opportunities in verification and tooling.
9 years of coding experience
4 years of employment as a software developer
Bachelor of Science, Computer Science Specialist, 3.96/4, Bachelor of Science, Computer Science Specialist, 3.96/4 at University of Toronto
International Baccalaureate Diploma, 42/45, International Baccalaureate Diploma, 42/45 at The International School Bangalore (TISB)
Central Board for Secondary Education, 10th Grade, 9.8/10, Central Board for Secondary Education, 10th Grade, 9.8/10 at National Public School
Enhanced User Interface mod for Monster Hunter Rise
Contributions:7 releases, 117 commits, 14 PRs in 23 days
user-interfacemodhunterrisemonster-hunter-rise
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.