ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Snowflake
Snowflake is hiring a Staff or Principal level expert to lead research projects applying formal methods, automated reasoning, and AI techniques to improve the reliability and velocity of their cloud data platform. This role involves translating theoretical research into production capabilities, influencing engineering roadmaps, and mentoring engineering teams while publishing findings at the field's frontier.
Headquarters
St. Cloud, Minnesota, United States
Company Size
5001-10000 employees
Founded
2012
Snowflake is a data cloud platform that powers AI, data engineering, applications, and analytics on a trusted, scalable AI Data Cloud. It eliminates data silos by enabling unified data storage, secure data sharing, and governance across cloud environments, empowering collaboration and the creation of AI-powered data apps. The platform delivers high performance, security, and scalability to accelerate data-driven innovation and insights across the enterprise. Snowflake supports a broad ecosystem of partners and tools, helping organizations mobilize data, apps, and AI at scale.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Snowflake.
109% above the average for this role
Research Scientist – Cryptography with an interest in formal methods
riversideresearchinstitute.com
Applied Scientist - Automated Reasoning
Markon
Formal Methods Research Intern
Leidos
Research Scientist, AI
Pramaana Labs
Postdoctoral Fellowship
Carnegie Mellon University
Applied Formal Methods Research for Safety‑Critical Aerospace Systems - Intern
Analytical Mechanics Associates