Applied Scientist (AI)

TL;DR

Applied Scientist (AI): Developing advanced automated reasoning solutions for AWS cloud services with an accent on formal methods, symbolic simulation, and algorithmic optimization. Focus on designing scalable scientific innovations that ensure system privacy, sovereignty, and reliability across complex distributed environments.

Location: Must be based in Jessup, MD, USA

Salary: $142,800–$193,200 USD annually

Company

hirify.global is a global technology corporation focused on e-commerce, cloud computing, digital streaming, and artificial intelligence.

What you will do

• Solve complex problems requiring deep domain expertise and scientific innovation.
• Lead the design, implementation, and delivery of solutions with long-term quantifiable business impact.
• Provide cross-organizational technical influence and share deep knowledge to improve team effectiveness.
• Develop strategic plans to identify fundamentally new solutions for business challenges.
• Mentor team members and contribute to the growth of the automated reasoning community.

Requirements

• 3+ years of experience building models for business applications.
• PhD or Master's degree in CS, CE, ML, or a related field with 4+ years of experience.
• Proven experience in patents or publications at top-tier peer-reviewed conferences.
• Proficiency in programming with Java, C++, or Python.
• Experience in algorithms, data structures, or high-performance computing.
• Experience in SAT, SMT, mechanical theorem proving, or program analysis.

Nice to have

• Experience using Unix/Linux environments.
• Experience in professional software development.
• Programming experience in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala.

Culture & Benefits

• Comprehensive health insurance including medical, dental, and vision.
• 401(k) matching and retirement planning.
• Flexible work hours and arrangements to support work-life harmony.
• Paid time off and parental leave.
• Access to extensive training, knowledge-sharing, and career development resources.