Principal Applied Scientist, Automated Reasoning & Privacy
Amazon.com, Inc.
Seattle, United States of America
yesterday
Role details
Contract type
Permanent contract Employment type
Full-time (> 32 hours) Working hours
Regular working hours Languages
EnglishJob location
Seattle, United States of America
Tech stack
Categorical Abstract Machine Language (CAML)
Adobe InDesign
Amazon Web Services (AWS)
Computer Programming
Software Engineering
Information Technology
Glasgow Haskell Compiler
Requirements
Amazon Development Center U.S., Inc. is seeking Applied Scientists for AWS Automated Reasoning. The role requires innovative problem solving and leadership in design and implementation of long-term solutions. Candidates should have a PhD in Computer Science or Mathematics, along with experience in professional software development and programming in languages like O'Caml and Haskell.