Jay Bosamiya
Senior Researcher at Microsoft
Redmond, Washington, United States
Summary
🤩
Rockstar🎓
Top SchoolJay Bosamiya is a software security researcher and Senior Researcher at Microsoft with a PhD in Computer Science from Carnegie Mellon University where his thesis proposed principled approaches to practical security. A CTF competitor (PPP) and seasoned open-source contributor, he blends hands-on exploit/defense expertise with systems research, informed by internships on Project Everest and work under leading security researchers. Trained at IIT Roorkee (BTech) and with experience dating back to Nmap development and student leadership, he moves comfortably between low-level systems, formal thinking, and real-world engineering. Based in Redmond, he focuses on building auditable, robust security primitives that scale to industry deployments. Notably, his profile reflects both academic rigor and active community engagement, and he maintains an up-to-date project portfolio at jaybosamiya.com.
1 year of coding experience
Indian Institute of Technology RoorkeeSri Kumaran Children's Home (CBSE)Doctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at Carnegie Mellon University
Gujarati, Hindi, English
Github Skills (19)
cmd10
console10
windows10
low-level10
command-line10
formatter9
windows-terminal9
rust8
windows-console8
marks5
difference5
tar5
byte4
latex3
crate3
Programming languages (4)
Github contributions (5)
jaybosamiya-ms/dotfiles
May 2024 - Mar 2025
A collection of my dotfiles.
Contributions:57 pushes, 2 branches in 10 months
verus-lang/verusfmt
Jun 2024 - Apr 2025
An Opinionated Formatter for Verus
Contributions:16 reviews, 82 PRs, 83 pushes in 9 months
formatterpretty-printerverus
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.