Jobs in the United States

25+ jobs

Save this search

Added 1 min ago
Senior Specialist, Systems Engineering (Optical)
L3Harris
Palm Bay, FL
…missions for our customers with both space-based and ground-based applications. The Systems Engineers that support these missions lead the technology across the entire system lifecycle.…
Added 2 mins ago
PT
Hardware Engineer
PDS Tech Commercial
Orlando, FL
- $28.19 to $72 USD / hour
Ready to design, develop, and lead the next generation of advanced aerospace hardware systems? PDS Tech Commercial is partnering with a leading aviation industry innovator to hire a Lead…
Added 2 mins ago
PT
Integration and Test Engineer
PDS Tech Commercial
Orlando, FL
- $29 to $80 USD / hour
Are you an experienced Integration and Test Engineer ready to lead mission-critical testing efforts across cutting-edge aerospace technologies? PDS Tech Commercial is partnering with a…
Added 3 mins ago
Mergers and Acquisitions Product Technology Diligence Senior Manager
Deloitte
Jacksonville, FL · Tampa, FL · Miami, FL
As a Senior Manager, you will sell, lead and deliver complex strategic engagements that help refine our clients' IT and product tech / software strategy with a focus on inorganic growth.…
Added 3 mins ago
M&A Product Tech Diligence Architect, Manager
Deloitte
Tampa, FL · Miami, FL · Jacksonville, FL
Technology (tech) Diligence is part of Deloitte's M&A Transaction Strategy & Diligence Transaction (TS&D) Offering, within our broader Strategy & Transactions practice. Our Technology…
Added 11 mins ago
Engineering Technology Lead Senior
The Elevance Health Companies, Inc.
United States
The Engineering Tech Lead Senior is responsible for leading the end to end application system development and maintenance on large complex enterprise wide technology platforms.
Added 15 mins ago
R&D Laboratory Technician II
Fresenius Medical Care
Ogden, UT
Research and Development (R&D) Technician II will assist in the development of innovative products for patients with End Stage Renal Disease (ESRD). Development activities may consist of…
Added 21 mins ago
SL
Access Control Officer PT: Morning
SITEMETRIC LLC
Jeffersonville, OH
- From $18 USD / hour
…and documentation and other support related to those areas, tech troubleshooting, and other responsibilities as…
Added 21 mins ago
SL
Access Control Officer PT: Morning
SITEMETRIC LLC
Jeffersonville, OH
- From $18 USD / hour
…and documentation and other support related to those areas, tech troubleshooting, and other responsibilities as…
Added 22 mins ago
Application Analyst - Epic Inpatient
Duke Health
Durham, NC
The Maestro Care Inpatient Application Analyst is primarily responsible for the development, deployment, post-implementation support, product design and testing cycles of the Maestro Care…
Added 25 mins ago
S
Maintenance Tech 2
StuartCo
Edina, MN
- $23 to $25 USD / hour
York Plaza is seeking a professional full-time Maintenance Tech 2 to join their team in Edina, MN. The Maintenance Technician II is an entry-level maintenance role responsible for assisting…
Added 31 mins ago
Senior Manager, Platform Software Engineering
Oracle
United States
Lead multiple platform teams to standardize middleware patterns and client libraries used by several consumer teams.
Added 32 mins ago
Full Stack Java/Python Tech Lead - Vice President
Citigroup
Rutherford, NJ
The Full Stack Java/Python Tech Lead -VP is a senior level position responsible for establishing and implementing new or revised application systems and programs in coordination with the…
Added 32 mins ago
Applications Development Tech Lead Analyst
Citigroup
Rutherford, NJ
Citibank, N.A. seeks an Applications Development Tech Lead Analyst for its Rutherford, New Jersey location.
Added 32 mins ago
Territory Manager (Comfort Medical) - San Diego, CA
Coloplast A/S
San Diego, CA
Plans daily call routine to ensure appropriate coverage of key accounts given sales time allocation, sales potential, geographical location, development of sales process, etc.
Added 32 mins ago
Remote Technology Project Lead - SOX Compliance & IT Controls
NTT Data Americas, Inc.
Mahwah, NJ
We are currently seeking a Remote Technology Project Lead - SOX Compliance & IT Controls to join our team in Plano, Texas (US-TX), United States (US).
Added 34 mins ago
Application Engineer
Navy Federal Credit Union
Vienna, VA · Winchester, VA · Pensacola, FL
…engineering industry technologies/competition, concepts and trends. Lead and own complex projects or workstreams with limited supervision. Provide technical leadership to provide robust…
Added 49 mins ago
Systems Engineering Senior Associate
Salesforce, Inc.
TX · IN
Salesforce is the #1 AI CRM, where humans with agents drive customer success together. Here, ambition meets action. Tech meets trust. And innovation isn’t a buzzword - it’s a way of life.…
Added 49 mins ago
Sr. Lead Application Developer
ADP
Roseland, NJ
ADP Innovation Labs is looking for a Sr. Lead Software Engineer with extensive NodeJS experience to join an emerging team.
Added 50 mins ago
Senior Software Engineer
ASG
Remote, United States
This role is a hands-on builder and enabler for ASG’s portfolio companies. The Senior Software Engineer will directly lead and contribute to software development projects across the full…
Added 52 mins ago
Senior DevOps Engineer
Sword
Remote, United States
To get to know more about our Tech Stack, check here.
Added 56 mins ago
Senior Data Architect
Datavail Corporation
Remote, United States
Datavail is hiring a Senior Data Architect to lead the design and delivery of modern data platforms for our clients
Added 1 hour ago
Sr Forward Deployed Engineer (FDE), AWS Forward Deployed Engineering, US Government
Amazon Web Services, Inc.
Jessup, MD · Arlington, VA · Seattle, WA · Denver, CO · Herndon, VA
- Experience as a mentor, tech lead or leading an engineering team
Added 1 hour ago
Senior Software Engineer, Graviton Software
Annapurna Labs (U.S.) Inc.
Austin, TX · Cupertino, CA
You'll drive performance optimization across open-source projects, internal services, and customer applications, working on everything from Linux kernel development to C++ and Rust code…
Added 1 hour ago
Applications Development Technology Lead Analyst, Vice President
Citi
JERSEY CITY, NJ · Jersey City, NJ · Jersey City
The Applications Development Technology Lead Analyst is a senior level position responsible for establishing and implementing new or revised application systems and programs in coordination…

Amazon

Sr. Software Development Engineer, Automated Reasoning Group

New York, NY, United States

Apply About employer

Applications open in a new tab.

Job details

Posting language: English
Posted: Jul 15, 2026

Original job description

Description

We are building new capabilities in the Amazon Web Services (AWS) Automated Reasoning Group, by using Automated Reasoning in new, novel and exciting ways to enhance AWS services. Our team owns Automated Reasoning Checks (ARc), a service that uses mathematical logic to verify the accuracy of Generative AI outputs, tackling hallucinations, one of AI’s most persistent challenges. ARc is at the forefront of Amazon's initiative on combining AI and math to give customers confidence in their Generative AI applications. See for more info: https://www.wsj.com/articles/why-amazon-is-betting-on-automated-reasoning-to-reduce-ais-hallucinations-b838849e

We are seeking a talented and passionate Senior Software Development Engineer who wishes to work at the intersection of Automated Reasoning and AWS services.

As a Senior Software Engineer on this team, you will design and build new services and capabilities that enable the application of automated reasoning in a variety of use cases, contribute to the evolution of Automated Reasoning Checks, and help make the power of automated reasoning more readily available within AWS and for our customers.

Delivering a reliable and high-performance service at AWS scale requires engineers with deep technical expertise and boundless creativity. At Amazon, we also expect engineers like you to interact with internal and external customers, to understand our business goals, and to innovate rapidly, delivering high-quality and ground-breaking functionality.

What does it take to thrive as a developer at AWS? You need to be creative, responsible, and curious while working with others to move quickly in turning code into customer solutions. You're excited about rolling up your sleeves, implementing big ideas, and learning from those around you. You want the opportunity to grow your technical and professional skills while helping AWS grow. You relish the opportunity to dig into challenging operational issues and to help customers build the next generation of applications. You're somebody who knows how to be both productive and have fun with others. This role also offers the opportunity to work alongside world-class technical and scientific leaders in the automated reasoning discipline.

Key job responsibilities

Collaborate with experienced cross-disciplinary Amazonians to conceive, design, and bring innovative products and services to market.
Design and build innovative technologies in a large distributed computing environment, and help lead fundamental changes in the industry.
Create solutions to run predictions on distributed systems with exposure to innovative technologies at incredible scale and speed.
Build distributed storage, index, and query systems that are scalable, fault-tolerant, low cost, and easy to manage/use.
Ability to design and code the right solutions starting with broadly defined problems.
Work in an agile environment to deliver high-quality software.

About the team

Our team is dedicated to supporting new members. We have a broad mix of experience levels and tenures, and we’re building an environment that celebrates knowledge-sharing and mentorship. Our senior members enjoy one-on-one mentoring and thorough, but kind, code reviews. We care about your career growth and strive to assign projects that help our team members develop your engineering expertise so you feel empowered to take on more complex tasks in the future.

Basic Qualifications

5+ years of non-internship professional software development experience
5+ years of programming with at least one software programming language experience
5+ years of leading design or architecture (design patterns, reliability and scaling) of new and existing systems experience
Experience as a mentor, tech lead or leading an engineering team

Preferred Qualifications

5+ years of full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations experience
Bachelor's degree in computer science or equivalent
Automated Reasoning or formal methods experience or interest

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits .

USA, NY, New York - 184,900.00 - 250,200.00 USD annually

Apply About employer

Report this job