Principal Applied Scientist, Neuro-Symbolic AI Labs (Lead) - Amazon
Amazon | Boston | full-time — 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 ...