Applied Scientist (Automated Reasoning)

TL;DR

Applied Scientist (Automated Reasoning): Developing advanced and rigorous solutions for automated reasoning, privacy, and sovereignty within AWS with an accent on scientific innovation and strategic problem solving. Focus on designing and delivering high-impact technical solutions and providing cross-organizational technical leadership.

Location: Must be based in the USA (Boston, Austin, Seattle, Santa Clara, New York, or Portland)

Salary: $142,800 – $223,400 annually

Company

hirify.global Web Services (AWS) provides cutting-edge cloud computing services, with a specialized focus on automated reasoning to ensure customer trust and system security.

What you will do

• Solve large-scale, complex problems requiring deep domain knowledge and scientific innovation.
• Lead the design, implementation, and delivery of solutions with long-term quantifiable impact.
• Exert cross-organizational technical influence to increase overall productivity and effectiveness.
• Develop strategic plans to identify and implement fundamentally new solutions for business challenges.
• Mentor individuals and the technical community on advanced scientific issues.

Requirements

• PhD or equivalent research experience.
• Must be located in or authorized to work in the United States.

Nice to have

• Experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, or related languages.

Culture & Benefits

• Competitive compensation including sign-on payments and Restricted Stock Units (RSUs).
• Comprehensive health insurance (medical, dental, vision, and prescription).
• 401(k) matching and parental leave.
• Flexible work hours and arrangements to support work-life harmony.
• Culture of curiosity, diversity, and continuous learning with DEI events.