Applied Scientist (AI)

TL;DR

Applied Scientist (AI/Automated Reasoning): Designing and implementing production-grade neuro-symbolic systems that integrate formal reasoning with GenAI to deliver verifiable outcomes for AWS with an accent on scalability and reliability. Focus on building scalable formal reasoning solutions, hallucination detection, and automated guardrails for agentic AI.

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

Salary: $142,800 – $223,400 USD annually

Company

AWS is the world’s most comprehensive and broadly adopted cloud platform, pioneering cloud computing and providing robust services for startups and Global 500 companies.

What you will do

• Design and implement scalable neuro-symbolic systems combining formal reasoning and GenAI to provide verifiable outcomes.
• Develop and enhance automated reasoning features for hirify.global Bedrock Guardrails to detect hallucinations and verify policies.
• Collaborate cross-functionally with product and engineering teams to translate customer pain points into technical features.
• Own the end-to-end science lifecycle from research and experimentation through to production deployment.
• Advance the state of the art via publications at top-tier venues, patents, or open-source contributions.

Requirements

• PhD or Master's degree in Computer Science, Computer Engineering, Machine Learning, or a related research field.
• Proven track record of publications or patents in top-tier peer-reviewed conferences or journals.
• Proficiency in programming with Java, C++, or Python.
• Experience investigating, designing, and prototyping innovative system solutions.

Nice to have

• Experience in formal verification, program analysis, constraint-solving, or SAT/SMT solver implementation.
• Knowledge of mechanical theorem or code-reasoning languages such as Lean.
• Experience with AI/ML, GenAI, Analytics, Database, or Storage technologies.

Culture & Benefits

• Inclusive team culture with employee-led affinity groups and diversity conferences.
• Strong emphasis on mentorship, knowledge-sharing, and continuous career growth.
• Comprehensive benefits package including health insurance, 401(k) matching, and parental leave.
• Commitment to work-life harmony and flexibility within the working culture.