Amazon Web Services, Inc. | Senior Applied Scientist

22 hours ago


boston, United States Amazon Web Services, Inc. Full time
The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale. You will be part of a larger organization that develops a spectrum of formal software analysis tools and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is powerful yet accessible to all developers.
About the team
AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (Iot), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services.
Diverse Experiences
AWS values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.
Why AWS?
Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
Inclusive Team Culture
Here at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness.
Mentorship & Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.
Work/Life Balance
We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud.
Hybrid Work
We value innovation and recognize this sometimes requires uninterrupted time to focus on a build. We also value in-person collaboration and time spent face-to-face. Our team affords employees options to work in the office every day or in a flexible, hybrid work model near one of our U.S. Amazon offices.
BASIC QUALIFICATIONS- PhD, or Master's degree and 6+ years of applied research experience
- Experience programming in Java, C++, Python or related language
- Experience in formal verification tools and techniques, such as theorem provers (Dafny, Lean), SAT-SMT solvers
PREFERRED QUALIFICATIONS- PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field
- Experience with neural deep learning methods and machine learning
- Experience in compiler technologies
Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit

  • Boston, United States Amazon Web Services, Inc. Full time

    The Automated Reasoning Group is looking for a Senior Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale. You will be part of a larger organization that develops a spectrum of formal software analysis tools and applies them to...


  • Boston, United States Amazon Web Services, Inc. Full time

    7+ years in technical/IT related sales with medium to large software vendors/customers. 7+ years of demonstrated experience working and communicating with multiple stakeholders and cross-functional teams, including Sales reps and managers, solutions architects, partner and direct marketing, business development, and other functional teams. Would you like to...


  • Boston, United States Amazon Web Services, Inc. Full time

    Senior Product Marketing Manager - AWS Data FoundationsThe AWS Data Foundations product marketing team is hiring a senior product marketing manager to develop crisp, highly differentiated, and compelling positioning and messaging for AWS and its data services. We tell AWS’s most important and interesting stories to educate customers about what is possible...


  • Boston, United States Amazon Web Services, Inc. Full time

    The Amazon Web Services’ (AWS) Event tech team is looking for a Software Development Engineer (SDE) with a passion for working on cutting edge technology, obsesses over bar raising experiences for customers, and thrives on the challenge of building something new that will operate at world-wide scale to join our fast paced team. In this role, you will be...


  • Boston, United States Amazon Full time

    Sr. Marketing Data Scientist, AWS Marketplace Demand Generation & Lifecycle EngagementJob ID: 2811428 | Amazon Web Services, Inc.In this role, you will develop data-driven solutions to optimize our marketing efforts across messaging, channels, and features. You will collaborate with stakeholders in marketing, product, engineering, and sales to enhance...


  • Boston, United States Amazon Web Services, Inc. Full time

    As an AWS ISV Partner Sales Strategist in Global Financial Services, you will have the exciting opportunity to help shape and deliver on a strategy to build mindshare and adoption of Amazon Web Services in the Financial Services industry. Your mission is to be the global lead for selling with Data/Analytics/AI ISV Partners in Global Financial Services,...

  • Senior Data Scientist

    4 weeks ago


    Boston, United States Tech Stars Group LLC Full time

    About the job Senior Data Scientist Senior Data Scientist The Senior Data Scientist will play a pivotal role in providing programming, advanced statistical, and machine learning expertise to our Clinical Data Science team. This position is instrumental in supporting research initiatives focused on digital biomarkers and predictive model development within...


  • Boston, United States Amazon Web Services, Inc. Full time

    Minimum Qualifications: 7+ years of leading large-scale, technical or engineering programs with a proven record of thought leadership, business case development, realizing customer benefits, and successful program completion experience. 4+ years of customer-facing work, engaging with customer executives, technologists, or partners to solve business...


  • Boston, Massachusetts, United States Amazon Web Services, Inc. Full time

    Company OverviewAmazon Web Services (AWS) is a cloud computing platform that provides a wide range of services for businesses, governments, and individuals. Our mission is to provide the most comprehensive and broadly adopted cloud platform, enabling customers to innovate faster and run their applications with greater flexibility and reliability.About the...


  • Boston, United States Amazon Full time

    Sr. Machine Learning Engineer, Amazon General Intelligence (AGI)Job ID: 2782055 | Amazon.com Services LLCThe Artificial General Intelligence (AGI) team is looking for a passionate, talented, and inventive Sr. Software Development Engineer (Sr. SDE)/Machine Learning Engineer (MLE) to play a pivotal role in the development of industry-leading multi-modal and...

  • Senior Data Scientist

    2 weeks ago


    Boston, United States Amazee Global Ventures Inc Full time

    This is a Contract W2 opportunity with Amazee Global Ventures Inc.The below job description is a senior data scientist-level position.We welcome all suitable applicants for this Contract W2 role.Job Title: Senior Data ScientistJob Type: Contract W2Job Mode: On siteLocation: Boston, MADuration: 12+ months (long-term possible)Pay Rate: $60/hr on Contract W2Job...


  • Boston, United States Amazon Web Services, Inc. Full time

    We are seeking a dynamic, results-oriented, Sales Ops Lead to join our AMER Partner Operations team, aligned to leaders, partners, and stakeholders driving our AWS Growth Initiatives (AGI). As the AMER AGI Ops Lead, you will be a key member ensuring the Partner leadership team has the necessary information to operate and execute efficiently against AGIs. You...


  • Boston, United States Amazon Web Services, Inc. Full time

    The AWS Industry Products (AIP) is chartered to build solutions that solve some of the biggest automotive technology challenges by partnering and co-developing with segment leading companies. Our team directly collaborates with strategic customers to build new, industry-specific products that directly impact and transform industries at AWS scale. We are a...


  • Boston, United States Amazon Full time

    Are you passionate about securing the cloud? Do you enjoy creating products and services that delight customers? Are you experienced with large scale security data handling and operations? If so, then our team, Amazon Security Lake, has an exciting opportunity for you. We are looking for an experienced Security Engineer to help us support our customers....


  • Boston, Massachusetts, United States Amazon Full time

    The Senior Marketing Manager - Event Strategist is a pivotal role in driving revenue, adoption, and growth from the largest and fastest-growing small- and mid-market accounts to enterprise-level customers. **About the Team** AWS Sales, Marketing, and Global Services (SMGS) is responsible for driving revenue, adoption, and growth from the largest and...


  • Boston, United States Amazon Freight Partner Full time

    Class A CDL Drivers for Amazon Freight Partner (Home every 2 days)Compensation: 25.00/hour take-home pay + benefits + weekly bonusDrop and Hook, Easton MALocation: BostonSahara Express INC is hiring full-time, motivated Class A CDL Short Haul Drivers with a clean driving record for its Amazon Freight Partner program. We are a local small business with the...


  • Boston, United States Amazon Freight Partner Full time

    Job Description:Class A CDL Drivers for Amazon Freight Partner (Home every 2 days) Compensation: 25.00/hour take-home pay + benefits + weekly bonus Drop and Hook, Easton MA Location: Boston Sahara Express INC is hiring full-time, motivated Class A CDL Short Haul Drivers with a clean driving record for its Amazon Freight Partner program. We are a...


  • Boston, United States Amazon Development Center U.S., Inc. Full time

    Software Development Manager, High Performance Computing Job ID: 2796524 | Amazon Development Center U.S., Inc. The AWS High Performance Computing (HPC) group is looking for a Software Development Manager (SDM) based out of Boston to lead a team focused on building HPC products and services. The HPC team is building a core set of technologies that allow our...


  • Boston, United States Abnormal Security Full time

    Job DescriptionJob DescriptionAbout the RoleAbnormal Security is looking for an Applied Data Scientist to join the Message Detection - Attack Detection team. At Abnormal, we protect our customers against nefarious adversaries who are constantly evolving their techniques and tactics to outwit and undermine the traditional approaches to Security. That's...


  • Boston, United States Amazon Full time

    Software Development and DevOps Engineer, EFAAWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the...