Principal / Staff Applied Research Scientist
Core
Lead applied research projects applying formal methods, automated reasoning, and AI techniques to solve correctness and reliability problems in Snowflake's distributed cloud data platform.
Role type
Principal/Staff Applied Research Scientist (Formal Methods & AI)
Builds
Verified data infrastructure, trustworthy data systems, and shipped capabilities improving quality, velocity, and reliability at scale.
Domain
Cloud data platforms, distributed systems, formal methods, AI/ML
Deliverable
production ML models | product features
Required skills
formal methods (model checking, theorem proving, SAT/SMT, program verification), distributed systems design and reasoning, software engineering fundamentals, AI/ML (LLMs, code generation, automated reasoning), research leadership, technical publications/patents
Preferred skills
experience with cloud data platforms, ability to drive company-level initiatives, open-source contributions
Technologies
Iceberg, Polaris, Snowpark, LLMs, SAT/SMT solvers, theorem provers
Responsibilities
Lead research projects applying formal methods and AI to real platform problems; translate research ideas into prototypes and shipped capabilities; partner with engineering and product leaders to identify high-leverage opportunities; influence engineering and product roadmaps; train engineering teams on new methods; maintain expertise through publications and open-source contributions
Seniority
Principal/Staff, hands-on IC with strategic impact