- 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)
- …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