About the job
We are looking for researchers who aim to build super-intelligent AI systems that leverage proof assistants to guide learning and reasoning. Our neuro-symbolic AI technology is applied across a wide range of science and engineering domains within Amazon, and you will join the team at the forefront of this research.
Responsibilities
Define and implement new neuro-symbolic applications that employ scalable and efficient approaches to solve complex problems.
Work in an agile, startup-like development environment, where you are always working on the most important stuff.
Deliver high-quality scientific artifacts.
Qualifications
Minimum
3+ years of building machine learning models for business application experience
PhD, or Master's degree and 6+ years of applied research experience
Experience programming in Java, C++, Python or related language
Experience with neural deep learning methods and machine learning
Preferred
Demonstrated research experience in top ML conferences