- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in automated test generation (eg, property-based ... You will work in a team of world class automated reasoning experts who, in collaboration with experts in...- PhD, or Master's degree and 6+ years of applied research experience - Experience with programming in languages… more
- Amazon (Boston, MA)
- …AWS Utility Computing is looking for a Senior Applied Scientist with experience in building scalable automated reasoning solutions that delight ... cloud and in the cloud. https://aws.amazon.com/security/provable-security/ Key job responsibilities As a Senior Applied Scientist , you will help shape the… more
- Amazon (Boston, MA)
- …formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code ... You will work with a team of world class automated reasoning experts to deliver code reasoning technology that...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (Boston, MA)
- Description The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive ... You will work with a team of world class automated reasoning experts to deliver code reasoning technology that...- PhD, or Master's degree and 6+ years of applied research experience - Experience programming in Java, C++,… more
- Amazon (Boston, MA)
- …and friendly work environment. Economists at Amazon partner closely with senior management, business stakeholders, scientist and engineers, and economist ... and apply approaches from a variety of skillsets - applied macro/time series, applied micro, econometric theory,...address quantitative problems, and contribute to the design of automated systems around the company. Basic Qualifications - PhD… more