CronJobs

backend jobs

Staff Research Scientist

Snowflake · US-CA-Menlo Park

remotestaff$236,000–$339,200Posted Oct 29, 2026GoLLMsSAT/SMTmodel checkingtheorem provingprogram verificationtype systemsautomated reasoning

Apply on the employer site

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.

Browse all software engineering jobs →

Follow fresh jobs in Discord