Staff Research Scientist
Snowflake · US-CA-Menlo Park
About this role
## Staff Research Scientist (Staff/Principal) At Snowflake, we’re powering the era of the **agentic enterprise**—and we’re looking for **AI-native thinkers** who are excited to reinvent how work gets done. You’ll partner with teams across the organization to turn research into **verified, trustworthy data infrastructure** that improves **correctness, reliability, and engineering velocity** at scale. ### Team / Focus Snowflake’s **Data Engineering** organization builds the platform that ingests, transforms, and stores data for modern **lakehouse** architectures—powering billions of queries and core operations. We’re also investing in a new applied research line focused on **verified data infrastructure and trustworthy data systems**, bringing together: - **Formal methods** - **Automated reasoning** - **Modern AI techniques** This role applies those tools to hard problems in **distributed systems** and **developer tooling**, with the goal of shipping capabilities that move real business metrics. ### What you’ll do - Lead research projects applying **formal methods, program analysis, automated reasoning, and AI-driven techniques** (including **code generation and modeling**) to real problems in our cloud data platform. - Translate research ideas into **prototypes**, then into **shipped capabilities** that improve quality, velocity, reliability, and operational performance. - Partner with engineering leaders, product managers, and key customers to identify **high-leverage opportunities** and deliver outcomes. - Influence the engineering and product roadmap by advising which research directions are pragmatic. - Train and uplevel engineering teams on new methods, scaling them across the organization. - Stay at the frontier through **publications, conferences, open-source contributions, and patent filings**. ### What we’re looking for - **PhD (or equivalent research experience)** in Computer Science or a closely related field. - Depth across the intersection of: - **Formal methods** (e.g., model checking, theorem proving, SAT/SMT, program verification, type systems, program analysis) - **Distributed systems** (designing, reasoning about, or verifying large-scale concurrent/distributed systems) - **Software engineering** (strong fundamentals; able to collaborate to produce production-quality code) - **AI/ML** (practical experience applying modern ML, including **LLMs**, to systems problems like 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** with engineering and product leadership (weighted more heavily for **Principal** candidates). - Track record of technical impact: **publications, open-source work, patents**, or comparable evidence. - Comfort working in a fast-paced, ambiguous environment where impact is measured by what **ships**. ### Working here All Snowflake employees must follow the company’s **confidentiality and security standards** for handling sensitive data and protecting customer information. For jobs located in the **United States**, please visit the Snowflake Careers Site for salary and benefits information: - https://careers.snowflake.com
Listing freshness
CronJobs last confirmed this listing 46m ago. If its source stops confirming the opening for seven days, this page is removed from active inventory.