Staff Applied Research Scientist — AI & Formal Methods

Snowflake; Menlo Park (CA); On-site; USD 236,000 - 339,200; Full time

Benefits offered by this job

Medical, dental, and vision insurance

401(k) retirement plan

Paid time off and parental leave

Job summary

Snowflake in Menlo Park, California, is hiring for a Staff and Principal Researcher to lead innovative projects that apply formal methods and AI-driven techniques to enhance our cloud data platform. Candidates should possess a PhD in Computer Science or equivalent experience.

This role requires 8+ years of directly relevant experience, with a focus on driving company initiatives and a proven track record of contributions to the field. We offer a competitive salary between $236,000 and $339,200, plus bonuses and benefits.

Qualifications

• 8+ years applying theoretical computer science to large-scale software systems.
• Demonstrated ability to drive company-level initiatives with leadership.
• Track record of technical contribution, including publications or patents.

Responsibilities

• Lead research projects applying formal methods and AI techniques.
• Translate research ideas into prototypes and shipped capabilities.
• Partner with engineering and product leaders to identify opportunities.

Skills

Formal methods

Distributed systems

Software engineering

AI / ML

Education

PhD in Computer Science or equivalent research experience

Job description

Snowflake in Menlo Park, California, is hiring for a Staff and Principal Researcher to lead innovative projects that apply formal methods and AI-driven techniques to enhance our cloud data platform. Candidates should possess a PhD in Computer Science or equivalent experience.

This role requires 8+ years of directly relevant experience, with a focus on driving company initiatives and a proven track record of contributions to the field. We offer a competitive salary between $236,000 and $339,200, plus bonuses and benefits.