Senior Applied Scientist (AI)

TL;DR

Senior Applied Scientist (AI): Designing and implementing production-grade neuro-symbolic systems that integrate formal reasoning with GenAI for AWS customers with an accent on reliable and verifiable AI outcomes. Focus on building tools for hallucination detection, policy verification, and automated guardrails at cloud scale.

Location: Must be based in Seattle, WA or New York, NY, USA

Salary: $167,100 – $248,700 annually

Company

AWS (hirify.global Web Services) provides the world's most comprehensive cloud platform, pioneering cloud computing and innovative services for startups and Global 500 companies.

What you will do

• Design and implement scalable neuro-symbolic systems integrating formal reasoning and GenAI to deliver verifiable outcomes.
• Develop features for hallucination detection, policy verification, and automated guardrails for agentic applications.
• Collaborate cross-functionally with product and engineering teams to translate customer pain points into technical features.
• Own the full science lifecycle from research and experimentation to production deployment.
• Mentor junior scientists and engineers to foster a culture of scientific rigor.
• Advance the state of the art through publications at top-tier venues, patents, or open-source contributions.

Requirements

• PhD or Master's degree with 5+ years of applied research experience.
• Proficiency in Java, C++, Python, or similar languages.
• 5+ years of experience in formal verification, program analysis, constraint-solving, or theorem proving.
• Must be based in the USA (Seattle or New York).

Nice to have

• Experience with AI/ML, GenAI, Analytics, Database, or Storage technologies.
• Experience with symbolic execution, model checking, or SAT/SMT solver implementation.
• Knowledge of code-reasoning languages such as Lean.
• Proven track record of delivering results for large cross-functional projects.

Culture & Benefits

• Comprehensive health insurance including medical, dental, and vision.
• 401(k) matching and restricted stock units (RSUs) as part of the compensation package.
• Focus on work-life harmony and flexibility within the working culture.
• Inclusive team culture with employee-led affinity groups.
• Extensive mentorship and professional development resources.