Staff Applied Research Scientist

Навыки

Обязанности

• 01Lead research projects that apply formal methods, program analysis, automated reasoning, and AI-driven techniques to real problems in our cloud data platform
• 02Translate research ideas into prototypes, then into shipped capabilities that move concrete business metrics — quality, velocity, reliability, and operational performance at scale
• 03Partner closely with engineering leaders, product managers, and key customers to identify high-leverage opportunities and turn them into deliverables
• 04Influence the engineering and product roadmap; advise leaders on which research directions are pragmatic and which are not
• 05Train and uplevel engineering teams on new methods, and scale those methods across the organization
• 06Maintain expertise at the frontier of the field through publications, conference participation, open-source contributions, and patent filings

Требования

• 01PhD (or equivalent research experience) in Computer Science or a closely related field
• 02Depth across the areas this role sits at the intersection of: Formal methods — e.g., model checking, theorem proving, SAT/SMT, program verification, type systems, or program analysis
• 03Distributed systems — designing, reasoning about, or verifying large-scale concurrent and distributed systems
• 04Software engineering — strong fundamentals; able to go from a research idea to production-quality code in collaboration with engineering teams
• 05AI / ML — practical experience applying modern ML, including LLMs, to systems problems such as code generation, synthesis, or automated reasoning
• 068+ years applying theoretical computer science to large-scale software systems — ideally cloud data platforms, distributed systems, or developer infrastructure
• 07Demonstrated ability to drive company-level initiatives in partnership with engineering and product leadership
• 08Track record of technical contribution to the field — publications, open-source work, patents, or comparable evidence of impact
• 09Comfortable in a fast-paced, ambiguous environment where impact is measured by what ships

Условия

• 01Confidentiality and security standards for handling sensitive data
• 02Growing fast, scaling team to enable and accelerate growth
• 03People who share company values, challenge ordinary thinking, and push the pace of innovation