Principal Applied Scientist (AI)

Location: Must be based in Boston (MA), Austin (TX), Santa Clara (CA), or Portland (OR)

Salary: $198,900 – $309,400 USD annually

Company

hirify.global AI builds provable security for AWS using automated reasoning and mathematical proofs to ensure absolute assurance in cloud security.

What you will do

• Define the roadmap and lead the delivery of automated reasoning (AR) solutions across multiple customer use cases.
• Identify and implement tools and methods for verification, including novel analysis capabilities.
• Utilize fuzzers, property-based testing, model checkers, and interactive theorem provers to establish program properties.
• Explore generative AI techniques to help customers formalize requirements and generate boilerplate for testing.
• Develop and repair program proofs using AI-driven methods.

Requirements

• PhD in Computer Science, Electrical Engineering, Mathematics, or a related technical field.
• 10+ years of industry or academic experience in formal verification, program analysis, constraint-solving, or theorem proving.
• Proficiency in Java, C++, Python, or related languages.
• Experience leading experienced scientists and mentoring junior members from academia or industry.
• Ability to distill informal customer requirements into formal problem definitions.
• Must be based in or be able to work from the listed US locations.

Nice to have

• Peer-reviewed scientific contributions in premier journals and conferences.
• Advanced knowledge of problem solving, algorithm design, and complexity analysis.
• Experience creating novel algorithms and advancing the state of the art.

Culture & Benefits

• Comprehensive health insurance (medical, dental, vision, prescription).
• 401(k) matching and sign-on payments.
• Restricted Stock Units (RSUs) as part of the compensation package.
• Paid time off and parental leave.
• Mental health support, EAP, and flexible spending accounts.