Senior Applied Scientist (AI)

TL;DR

Senior Applied Scientist (AI): Building and optimizing production-grade neuro-symbolic systems that integrate formal reasoning with GenAI to deliver reliable, verifiable outcomes for AWS customers with an accent on the intersection of neural learning and symbolic logic. Focus on designing scalable formal reasoning solutions, implementing hallucination detection, and verifying AI-generated policy content.

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

Salary: $167,100 – $248,700

Company

hirify.global is a world-leading cloud computing and AI company through its AWS platform.

What you will do

• Design and implement scalable neuro-symbolic systems combining formal reasoning and GenAI.
• Develop features for hallucination detection, policy verification, and automated guardrails for AI agents.
• Translate real-world customer policy challenges into research priorities and production features.
• Mentor junior scientists and engineers to foster a culture of scientific rigor.
• Advance the state of the art through patents and publications at top-tier venues.

Requirements

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

Nice to have

• Experience with SMT solver implementation, symbolic execution, or Lean.
• Proven track record of delivering large, cross-functional initiatives.
• Experience with GenAI, AI/ML, and cloud-scale data/storage technologies.

Culture & Benefits

• Comprehensive health insurance (medical, dental, vision, prescription).
• 401(k) matching and sign-on payments including RSUs.
• Commitment to work-life harmony and flexible working culture.
• Inclusive environment with employee-led affinity groups and diversity events.
• Strong focus on mentorship and professional career growth.