Home / Jobs / Sr Software Development Engineer Automated Reasoning Group

Jobs by Role

Sr Software Development Engineer Automated Reasoning Group
Jobs

No openings found right now · Updated daily

Active Sr Software Development Engineer Automated Reasoning Group roles are indexed directly from company ATS systems — Greenhouse, Lever, Workday, Ashby, and 15+ others. Advertised salaries average $310k/year based on live listings. 8% of roles are remote-friendly. These listings don't come from other job boards — they're pulled from source, so many won't appear on LinkedIn, Indeed, or Glassdoor.

Open Roles

0

Avg Salary

$310k

Remote-Friendly

8%

Added This Week

20

Sectors Hiring Sr Software Development Engineer Automated Reasoning Groups

Technology 23 Applied Science, Cloud Computing 12 E-Commerce 2 Retail 2 FinTech 1 Cloud Computing 1 SaaS 1 Education 1 Healthcare 1 Financial Services 1

Key Specialisations

automated-reasoning 19 privacy 19 sovereignty 19 program-analysis 9 type-systems 8 mechanical-theorem-proving 7 symbolic-simulation 7 cloud-computing 5 distributed-systems 5 cloud-database-services 2

In-Demand Skills

Program analysis Automated reasoning Theorem proving Symbolic simulation Type systems Mechanical theorem proving Software development Distributed systems Applied research Privacy

|

|

50 shown

Principal Applied Scientist, Agentic Automated Reasoning Group

Amazon Development Center U.S., Inc.

Boston, Massachusetts, USA Onsite Senior Direct

Principal Applied Scientist, Automated Reasoning Group

Amazon Development Center U.S., Inc.

Seattle, Washington, USA Onsite Senior Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA onsite Direct

Sr. Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Senior Direct

Sr. Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Senior Direct

Sr. Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Senior Direct

Sr. Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Senior Direct

Sr. Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Senior Direct

Sr Software Development Engineer

Wizards of the Coast

Canada Senior Direct

Sr Software Development Engineer

Wizards of the Coast

Canada Senior Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Austin, Texas, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Direct

Software Engineer, Automated Trading

Cobblestone Energy

Dubai, Dubai, United Arab Emirates Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Austin, Texas, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Austin, Texas, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Development Centre (London) Limited

London, England, GBR Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Seattle, Washington, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Boston, Massachusetts, USA Onsite Direct

Applied Scientist, AWS Automated Reasoning

Amazon Web Services, Inc.

Austin, Texas, USA Onsite Direct

Software Engineer – Networking Group

Cato Networks

Tel Aviv District, Israel Onsite Mid Direct

Sr. Associate Engineer Software Development (Backend Engineer)

Anaplan

Gurugram - Office Senior Direct

Sr. Software Engineer

Edmentum

United States Remote Senior Direct

Sr. Software Development Engineer

PitchBook Data

Seattle, Washington, United States Onsite Senior Direct

Sr Engineer, Software

BlackSky

Remote-US Remote Senior Direct

Sr. Software Engineer

Globality, Inc.

Palo Alto, CA Senior Direct

Sr. Software Engineer

Globality, Inc.

Palo Alto, CA Senior Direct

Software Development Engineer

Hasbro

Sr. Software Development Engineer

Amazon Development Center U.S., Inc.

Bellevue, Washington, USA Onsite Senior Direct

Software Development Engineer

Hasbro

Sr Manager Software Development

US Remote Manager Direct

Sr. Software Development Engineer

Annapurna Labs

Seattle, Washington, USA Onsite Senior Direct

Sr. Software Development Engineer

ADCI

Bengaluru, Karnataka, IND Onsite Senior Direct

Software Development Engineer, System SW group

Annapurna Labs Ltd.

Haifa, Haifa, ISR Onsite Mid Direct

Sr Software Engineer

Mattel

Hyderabad, IN mid Direct

Sr Software Engineer

Mattel

Hyderabad, IN mid Direct

Sr. Software Development Engineer

Amazon Development Centre (London) Limited

London, England, GBR Onsite Senior Direct

Agency Development Group Lead

Reddit

New York, NY, United States Lead Direct

Sr. Software Development Engineer

Amazon Development Center U.S., Inc.

Redmond, Washington, USA Onsite Senior Direct

Sr. Software Development Engineer

Servicios Comerciales Amazon Mexico

Mexico City, Mexico City, MEX Onsite Senior Direct

Sr. Software Development Engineer

Amazon Development Center U.S., Inc.

Redmond, Washington, USA Onsite Senior Direct

Sr. Software Development Engineer

Amazon Development Centre Canada ULC

Toronto, Ontario, CAN Onsite Senior Direct

Sr. Software Engineer

Uber Freight

United States Remote Senior Direct

Sr. Software Engineer, Inference

CoreWeave

Warszawa, Masovian Voivodeship, Poland Senior Direct

Sr. Software Development Engineer, Amazon Robotics Manipulation

Amazon.com Services LLC

Seattle, Washington, USA Onsite Senior Direct

Related Searches

Similar Roles

Software Engineer Jobs →Data Engineer Jobs →Product Manager Jobs →Backend Engineer Jobs →Frontend Engineer Jobs →

Sr Software Development Engineer Automated Reasoning Group by City

Sr Software Development Engineer Automated Reasoning Group in New York →Sr Software Development Engineer Automated Reasoning Group in San Francisco →Sr Software Development Engineer Automated Reasoning Group in London →Sr Software Development Engineer Automated Reasoning Group in Austin →Sr Software Development Engineer Automated Reasoning Group in Toronto →Sr Software Development Engineer Automated Reasoning Group in Singapore → Remote Sr Software Development Engineer Automated Reasoning Group →

Common Questions

How many Sr Software Development Engineer Automated Reasoning Group jobs are available?: JobsGlitch lists active Sr Software Development Engineer Automated Reasoning Group jobs sourced daily from Greenhouse, Lever, Ashby, Workday, and other top ATS platforms.
What skills are required for Sr Software Development Engineer Automated Reasoning Group roles?: The most in-demand skills for Sr Software Development Engineer Automated Reasoning Group roles are Program analysis, Automated reasoning, Theorem proving, Symbolic simulation, Type systems. Requirements vary by seniority and company.
What is the average salary for a Sr Software Development Engineer Automated Reasoning Group?: The average salary for Sr Software Development Engineer Automated Reasoning Group roles on JobsGlitch is approximately $310k/year. Compensation varies by location, seniority, and company.
Are there remote Sr Software Development Engineer Automated Reasoning Group jobs?: Yes — 8% of Sr Software Development Engineer Automated Reasoning Group jobs on JobsGlitch are remote-friendly. Browse remote Sr Software Development Engineer Automated Reasoning Group jobs at jobsglitch.com/jobs/remote/sr-software-development-engineer-automated-reasoning-group.