Amazon
Senior Machine Learning Engineer, Neuro-Symbolic AI Labs
$168K–$227K
Boston, MA · Senior · Full-time · Posted Aug 17, 2026
- Experience
- 5+ years in each of the three stated experience categories; leadership experience as a mentor, tech lead, or engineering team lead is also required.
- Education
- Bachelor's degree in computer science or equivalent.
About the job
Develop neuro-symbolic AI applications that use proof assistants to guide learning and reasoning across science and engineering domains.
What you'll do
- Define and implement scalable, efficient neuro-symbolic applications for complex problems.
- Shape product features from definition and vision through development.
- Deliver high-quality scientific artifacts.
What they ask for
- 5+ years of non-internship professional software development experience.
- 5+ years of programming experience in at least one software programming language.
- 5+ years leading design or architecture of new and existing systems, including design patterns, reliability, and scaling.
- Experience as a mentor, tech lead, or engineering team lead.
Nice to have
- 5+ years of full software development life cycle experience, including coding standards, code reviews, source control management, build processes, testing, and operations.
- Bachelor's degree in computer science or equivalent.
Pay
168,100.00 - 227,400.00 USD annually (base salary)
Tools
proof assistants
AI focus
Build neuro-symbolic AI systems that leverage proof assistants to guide learning and reasoning; develop applications for science and engineering.
Model-written summary · the original posting is authoritative