Skip to main content
Company banner

Job Posting

Software Development Engineer, Automated Reasoning Group

Amazon Web Services

Mentra Logo

Mentra Partner

EngineeringBusiness DevelopmentArt & Design

Basic Info

Position

Full Time Job


Office Environment

In-Person


Location

352 7th Avenue, New York, NY 10001
523 Union Street, Seattle, WA 98101
221 A Street, San Diego, CA 92101
and 2 others

Compensation

Preferred Qualifications

Work Experience

There are no work experience requirements.

Education

Bachelor's degree in one of the following areas below:
  • Engineering
Equivalent Experience Accepted!
Must be a student to qualify

Neuroexceptional Strengths

Detail-oriented ThinkerMathematical CalculationMethodical Task Executor

Skills

"Must have" skills are indicated with a icon. You may not need every "nice to have" skill to be a great fit!

Requirements

Job Description

The automated reasoning group is building the next generation of agile software development tools, aided by generative AI and automated reasoning/formal methods technology. We use software verification tools and advances in artificial intelligence, t...

Skills

Artificial IntelligenceDesign VerificationStatic Program AnalysisSoftware Validation

Work Experience

There are no work experience requirements.

Education

Bachelor's degree in one of the following areas below:
  • Engineering
Equivalent Experience Accepted!
Must be a student to qualify


Neuroexceptional Strengths

Detail-oriented ThinkerMathematical CalculationMethodical Task Executor

Workplace Envrionment

Hours

Standard Hours (9am-5pm)

Environment

Varying Temperatures