Vedang Naik
Formal Verification Engineer
California, United States
Summary
👤
Senior🎓
Top SchoolVedang 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 TorontoInternational 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
English
Stackoverflow
11reputation
359reached
1answer
0questions
Github Skills (39)
plugin10
hugo9
selenium-webdriver9
administrator9
rise9
filemanager9
monster9
raspberry-pi-38
assembler8
vuejs8
file-browser8
selenium7
javascript7
browser7
management7
Programming languages (9)
Github contributions (5)
vedangnaik/3DModelViewer
Jun 2019 - Oct 2021
Contributions:20 commits, 20 pushes, 7 branches in 2 years 4 months
vedangnaik/MHRUIplusplus
Jan 2022 - Feb 2022
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.