Applied Science Intern (Automated Reasoning)

TL;DR

Applied Science Intern (Automated Reasoning): Developing cutting-edge automated reasoning techniques to enhance the security, durability, and availability of cloud computing infrastructure with an accent on distributed proof search and SAT/SMT solvers. Focus on program analysis, synthesis, and verification to drive innovation in large-scale production systems.

Location: Must be based in or be able to relocate to the USA (Arlington, Boston, New York, Portland, Santa Clara, or Seattle)

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

Company

hirify.global AI is a leader in cloud computing and AI, providing foundational tools that power billions of daily requests across its global ecosystem.

What you will do

• Develop and apply automated reasoning techniques to optimize cloud computing infrastructure.
• Work on distributed proof search, SAT/SMT solvers, and program analysis.
• Explore novel research approaches to solve intricate automated reasoning problems.
• Deploy theoretical solutions into production to achieve tangible real-world impact.
• Collaborate with cross-functional teams of scientists to solve complex business challenges.

Requirements

• Currently enrolled in a PhD program.
• Ability to relocate to the internship location in the USA.
• Proficiency in programming languages such as Python, Java, C, or C++.
• Availability to work 40 hours/week for a minimum of 12 weeks.
• Experience with Machine Learning, NLP, Deep Learning, LLMs, or Knowledge Graphs.

Nice to have

• Publications in top-tier peer-reviewed conferences or journals.

Culture & Benefits

• Competitive compensation including sign-on payments and RSUs.
• Comprehensive health insurance including medical, dental, and vision.
• 401(k) matching, paid time off, and parental leave.
• Access to state-of-the-art computing infrastructure and mentorship from industry leaders.