Siddharth Priya

I recently defended my PhD successfully at the University of Waterloo, where I worked on automated reasoning for program verification and compiler optimizations under Prof. Arie Gurfinkel’s supervision. I am now exploring remote-first opportunities where I can contribute to formal methods, verification tooling, or AI-safety-adjacent systems research.

Prior to graduate school, I was a software engineer at Google, where I contributed to firmware, build systems, web applications, and testing tools.

Earlier, I completed my undergraduate studies at the Birla Institute of Technology, Mesra.

I am deeply interested in applying my experience to improve software development through principled and practical techniques.

Email: siddharth ‘dot’ priya ‘at’ uwaterloo.ca