Overview In this role you will advance automated reasoning in scalable AI systems within AWS, collaborating with cross-functional teams to translate research into impactful cloud solutions. You'll tackle problems at the intersection of theory and production, shaping models and algorithms that power intelligent automation. You will publish findings and contribute to a culture of experimentation and rapid iteration. This is your chance to influence real-world outcomes at scale while working with world-class researchers and engineers.
Compensation / Benefits- health insurance (medical, dental, vision, prescription)
- 401(k) matching
- paid time off
- parental leave
- RSUs (restricted stock units)
- sign-on payments
Responsibilities- Define and implement scalable automated reasoning features using neural learning and symbolic/formal methods
- Apply software engineering best practices to deliver high-quality work
- Work in an agile, startup-like development environment
- Deliver high-quality scientific artifacts
- Collaborate with the team to influence business decisions
Key requirements- 3+ years of building models for business applications
- PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
- Experience in patents or publications at top-tier peer-reviewed conferences or journals
- Experience programming in Java, C++, Python or related language
- Experience in algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing
- team collaboration
- adaptability in a fast-paced environment
- effective communication of complex ideas
- autonomous agents
- API orchestration
- Planning
