Sr. Software Development Engineer, Automated Reasoning Group
Core
Design and build new services and capabilities applying automated reasoning to verify Generative AI outputs and enhance AWS services.
Role type
Senior Software Development Engineer (Automated Reasoning)
Builds
Automated Reasoning Checks (ARc) service and distributed computing solutions for AWS
Domain
Cloud computing, Generative AI, Automated Reasoning, Distributed Systems
Deliverable
production ML models | product features | infrastructure
Required skills
software development, system design, architecture, distributed systems, mentoring, agile delivery
Preferred skills
full software development life cycle, automated reasoning, formal methods
Technologies
distributed storage, index systems, query systems
Responsibilities
Conceive and design innovative products and services; Build distributed storage, index, and query systems; Create solutions to run predictions on distributed systems; Lead fundamental changes in industry technologies; Work in an agile environment to deliver high-quality software
Seniority
Senior, hands-on IC with mentorship responsibilities