Principal Applied Scientist (AI)

TL;DR

Principal Applied Scientist (AI): Building next-generation software verification tools combining AI and automated reasoning with an accent on interactive theorem proving and deductive verification. Focus on integrating generative AI to formalize requirements and repair program proofs for high-assurance cloud security.

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.