Senior Software Engineer — AI & Formal Verification
Amazon
Don’t send a generic resume — generate a resume and cover letter tailored to this exact role.
Benefits offered by this job
Job summary
Amazon in Seattle, WA is seeking a Sr. Software Development Engineer for the Agentic AI team within AWS AR group. You will work at the intersection of Automated Reasoning, AI and AWS services, applying formal verification methods to code correctness and agent safety.
The role requires a strong background in software development and systems design, mentoring others, and leading architecture decisions. You will work with Lean and SAT/SMT tools, contribute to new AWS services, and collaborate with
Qualifications
- 5+ years of non-internship professional software development experience.
- 5+ years of programming with at least one software programming language experience.
- 5+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience.
- Experience as a mentor, tech lead or leading an engineering team.
Responsibilities
- Develop software using formal reasoning for code correctness and agent safety.
- Lead architecture decisions for new AWS services and agentic systems.
- Mentor engineers and provide technical leadership on complex projects.
- Collaborate with AWS teams to integrate automated reasoning into services.
Skills
Education
Tools
Job description
Amazon in Seattle, WA is seeking a Sr. Software Development Engineer for the Agentic AI team within AWS AR group. You will work at the intersection of Automated Reasoning, AI and AWS services, applying formal verification methods to code correctness and agent safety.
The role requires a strong background in software development and systems design, mentoring others, and leading architecture decisions. You will work with Lean and SAT/SMT tools, contribute to new AWS services, and collaborate with
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
