Principal/Staff Applied Research Scientist

Responsibilities

• Lead research projects applying formal methods, program analysis, automated reasoning, and AI-driven techniques to cloud data platform problems
• Translate research ideas into prototypes and shipped capabilities that improve quality, velocity, and reliability
• Partner with engineering leaders, product managers, and customers to identify high-leverage opportunities
• Influence engineering and product roadmaps by advising on pragmatic research directions
• Train and uplevel engineering teams on new methods and scale them across the organization
• Maintain expertise through publications, conference participation, open-source contributions, and patent filings

Requirements

• PhD or equivalent research experience in Computer Science or a related field
• Expertise in formal methods (model checking, theorem proving, SAT/SMT, program verification, or type systems)
• Expertise in distributed systems design and verification
• Strong software engineering fundamentals with ability to write production-quality code
• Practical experience applying AI/ML and LLMs to systems problems like code generation or synthesis
• 8+ years applying theoretical computer science to large-scale software systems
• Proven track record of technical contributions such as publications, open-source work, or patents
• Ability to drive company-level initiatives in partnership with leadership

About the Company

Snowflake's Data Engineering organization builds the platform that ingests, transforms, and stores data for modern lakehouse architectures, powering billions of queries and operations with industry-leading performance.