Applied Scientist, Agentic Automated Reasoning Group
Amazon
New York, NY, US
172,400.00 - 223,400.00 usd annually py
On-site
Neuro-symbolic system design
Formal reasoning implementation
Reinforcement learning pipelines
The role involves pioneering next-generation neuro-symbolic tools that fuse artificial intelligence breakthroughs with automated reasoning at cloud scale
Job Summary
The role involves pioneering next-generation neuro-symbolic tools that fuse artificial intelligence breakthroughs with automated reasoning at cloud scale.
You will design and run reinforcement learning pipelines to optimize language models for formal reasoning and autoformalization tasks.
AWS offers a culture of inclusion, mentorship, and work-life balance while enabling employees to shape product features from beginning to end.
Matching Summary
The role involves pioneering next-generation neuro-symbolic tools that fuse artificial intelligence breakthroughs with automated reasoning at cloud scale.
Salary
172,400.00 - 223,400.00 USD annually
Skills & Requirements
Must-have
Neuro-symbolic system design
Formal reasoning implementation
Reinforcement learning pipelines
GenAI integration
Production-grade software engineering
Nice-to-have
Top-tier publication experience
Patent or open-source contributions
Customer-obsessed science mindset
Agile startup-like environment
Cross-functional collaboration skills
Key Requirements
Experience in building scalable formal reasoning solutions
Strong verbal and written communication skills
Ability to move prototypes into production systems