Sr. Applied Scientist (Automated Reasoning)

TL;DR

Sr. Applied Scientist (Automated Reasoning): Developing advanced and rigorous solutions for automated reasoning, privacy, and sovereignty within AWS with an accent on solving large and complex scientific problems. Focus on designing, implementing, and delivering strategic solutions with long-term quantifiable impact.

Location: USA (Boston, Austin, Seattle, or Portland)

Salary: $167,100 - $226,100 USD annually

Company

hirify.global is a global technology leader providing a wide array of cloud services via AWS, focusing on maintaining customer trust through advanced automated reasoning.

What you will do

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

Requirements

• PhD or equivalent research experience.
• Experience in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.
• Must be based in the USA (Boston, Austin, Seattle, or Portland).

Nice to have

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

Culture & Benefits

• Comprehensive health insurance (medical, dental, vision, prescription).
• 401(k) matching and paid time off.
• Inclusive team culture with a strong focus on DEI events and learning.
• Flexible work hours and arrangements to support work-life harmony.
• Endless knowledge-sharing and career-advancing resources.