PhD (or equivalent research experience) in Computer Science or a closely related field
Depth across the areas this role sits at the intersection of
Formal methods — e.g., model checking, theorem proving, SAT/SMT, program verification, type systems, or program analysis
Distributed systems — designing, reasoning about, or verifying large-scale concurrent and distributed systems
Software engineering — strong fundamentals; able to go from a research idea to production-quality code in collaboration with engineering teams
AI / ML — practical experience applying modern ML, including LLMs, to systems problems such as code generation, synthesis, or automated reasoning
8+ years applying theoretical computer science to large-scale software systems — ideally cloud data platforms, distributed systems, or developer infrastructure
Demonstrated ability to drive company-level initiatives in partnership with engineering and product leadership. (Weighted more heavily for Principal-level candidates.)
Track record of technical contribution to the field — publications, open-source work, patents, or comparable evidence of impact
Comfortable in a fast-paced, ambiguous environment where impact is measured by what ships
Every Snowflake employee is expected to follow the company's confidentiality and security standards for handling sensitive data, and to keep customer information secure and confidential as an essential part of their duties
Snowflake is growing fast, and we’re scaling our team to help enable and accelerate our growth. We are looking for people who share our values, challenge ordinary thinking, and push the pace of innovation while building a future for themselves and Snowflake
How do you want to make your impact?
For jobs located in the United States, please visit the job posting on the Snowflake Careers Site for salary and benefits information: careers.snowflake.com