$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$72.50 - $95.50/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... group settings, adapting your approach based on customer industry, technical background, and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... such as automated reasoning, physical AI digital solutions, and advanced analytics. You will ... group settings. You'll work with customers in person and remotely, sharing your expertise and ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... You will present demonstrations in one-on-one and group settings, adapting your approach based on ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... You will present demonstrations in one-on-one and group settings, adapting your approach based on ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... You will present demonstrations in one-on-one and group settings, adapting your approach based on ...
Arlington, VA · On-site
$74.50 - $97.75/hr
... across automated reasoning, physical AI digital solutions, regulatory compliance, and advanced ... You will present demonstrations in one-on-one and group settings, adapting your approach based on ...
Mclean, VA · On-site
Hive Group is an award-winning Small Business specializing in acquisition management, financial ... Build, maintain, and enhance automated solutions and applications within a secured ecosystem.
Quick apply
Apply Early
Mclean, VA · On-site
Hive Group is an award-winning Small Business specializing in acquisition management, financial ... Build, maintain, and enhance automated solutions and applications within a secured ecosystem.
Apply Early
Mclean, VA · On-site
$115K - $135K/yr
Hive Group is an award-winning Small Business specializing in acquisition management, financial ... Build, maintain, and enhance automated solutions and applications within a secured ecosystem.
Mclean, VA · On-site
$115K - $135K/yr
Hive Group is an award-winning Small Business specializing in acquisition management, financial ... Build, maintain, and enhance automated solutions and applications within a secured ecosystem.
Reston, VA · On-site
... reasoning to resolve On a shift working basis, be responsible for ensuring that SPOC in-orbit ... I4S automated procedures. Provide the Spacecraft (S/C) Analyst Group with support in writing ...
Reston, VA · On-site
... reasoning to resolve On a shift working basis, be responsible for ensuring that SPOC in-orbit ... I4S automated procedures. Provide the Spacecraft (S/C) Analyst Group with support in writing ...
Arlington, VA · On-site +1
$157K - $224K/yr
The Collaborative Autonomy and Control (CAC) Group in the AC2 Division works to build software ... reasoning, and more. The Role: As a System Engineer, you will work as part of a tightly knit team ...
Arlington, VA · On-site +1
$157K - $224K/yr
The Collaborative Autonomy and Control (CAC) Group in the AC2 Division works to build software ... reasoning, and more. The Role: As a System Engineer, you will work as part of a tightly knit team ...
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
New
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
New
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
New
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
New
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
New
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
New
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
If so, we want you to join our group of offensive cyber experts! We are seeking reverse engineers ... Have familiarity with virtualization, emulation, sandboxing, or automated analysis environments
Tysons, VA · Remote
$70 - $88/hr
Design agent harnesses that combine LLM reasoning with deterministic execution including skill or ... Ability to leverage AI pair programming for suggestions, debugging, refactoring, and automated test ...
Tysons, VA · Remote
$70 - $88/hr
Design agent harnesses that combine LLM reasoning with deterministic execution including skill or ... Ability to leverage AI pair programming for suggestions, debugging, refactoring, and automated test ...
Arlington, VA · On-site +1
$157K - $224K/yr
The Collaborative Autonomy and Control (CAC) Group in the AC2 Division works to build software ... reasoning, and more. The Role: As a System Engineer, you will work as part of a tightly knit team ...
Quick apply
Apply Early
Arlington, VA · On-site +1
$157K - $224K/yr
The Collaborative Autonomy and Control (CAC) Group in the AC2 Division works to build software ... reasoning, and more. The Role: As a System Engineer, you will work as part of a tightly knit team ...
Apply Early
$38.8K - $41.9K
13% of jobs
$42.4K is the 25th percentile. Wages below this are outliers.
$41.9K - $45.1K
77% of jobs
$45.1K - $48.2K
1% of jobs
$48.2K - $51.4K
2% of jobs
$51.4K - $54.5K
1% of jobs
$54.5K - $57.7K
1% of jobs
$57.7K - $60.8K
1% of jobs
$60.8K - $64K
1% of jobs
$64K - $67.1K
1% of jobs
$67.1K - $70.2K
1% of jobs
$70.2K - $73.4K
1% of jobs
$38.8K
$47.1K
$73.4K
| Aspect | Automated Reasoning Group | Formal Methods Engineer |
|---|---|---|
| Required Credentials | Computer Science degree, knowledge of logic, algorithms | Computer Science or Software Engineering degree, expertise in formal verification |
| Work Environment | Research labs, academia, industry R&D teams | Software development teams, safety-critical systems, industry |
| Employer & Industry Usage | Tech companies, research institutions, government agencies | Automotive, aerospace, hardware design, safety-critical industries |
| Common Search & Comparison Intent | Understanding roles in AI and logic research | Applying formal verification in engineering projects |
Both roles focus on logic and verification but differ in scope. The Automated Reasoning Group typically conducts research on algorithms and logic systems, while Formal Methods Engineers apply formal verification techniques directly to software and hardware development to ensure safety and correctness.
$74.50 - $97.75/hr
Full-time
Posted 24 days ago
7.4
Based on 6,923 frontline employees who took The Breakroom Quiz
6th of 39 rated national retailers
At AWS Professional Services (ProServe), we are building customer solutions that accelerate capacity for business outcomes reinventing customer and employee experiences. Our AWS AI Experience Center Demo Solutions Architect role will drive the strategy for demo solutions and build high-quality demonstrations to showcase with customers visiting the HQ2 location. You will provide customer guidance on technical needs to support activating demo-based solutions viewed in the space and educate customers and partners on current and emerging AI technologies and solutions transforming various industries in areas such as automated reasoning, physical AI digital solutions, and advanced analytics.
You will provide hands-on architectural guidance for real-life customer projects involving various AWS services and Independent Software Vendor (ISV)/partner solutions and collaborate with cross-Amazon teams to develop outcome-based holistic solutions for strategic opportunities for customers who have visited the space. In this role, you'll be a demo creator, storyteller, and presenter, building and publishing demos for customers in one-on-one and group settings.
You'll work with customers in person and remotely, sharing your expertise and insights.
You will also anticipate future trends and identify applications of emerging technologies that should be showcased for customers in the Experience Center space in alignment with key services and product releases.
About the team
ABOUT AWS:
Diverse Experiences
Amazon values diverse experiences. Even if you do not meet all of the preferred 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.
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.
Inclusive Team Culture
AWS values curiosity and connection. Our employee-led and company-sponsored affinity groups promote inclusion and empower our people to take pride in what makes us unique
Our inclusion events foster stronger, more collaborative teams. Our continual innovation is fueled by the bold ideas, fresh perspectives, and passionate voices our teams bring to everything we do.
Mentorship and 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.
Sourced by ZipRecruiter
Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.
It services, book publishers, retail, real estate and computer and electronic product manufacturing
10,000+ Employees
Seattle, WA, US
