Research Intern (Formal Methods for Science)

TL;DR

Research Intern (Formal Methods for Science): Developing AI systems for automated verification of scientific reasoning with an accent on formal logic and physics-based modeling. Focus on architecting verification pipelines, building theorem retrieval systems, and integrating AI agents into mathematical formalization workflows.

Location: On-site in Barcelona (Spain), Boston (USA), or Toronto (Canada). Candidates must have or be able to obtain work authorization in one of these locations.

Company

hirify.global is building AI systems designed to reason with the rigor of the scientific method to revolutionize semiconductor and photonic hardware development.

What you will do

• Develop tooling for formal reasoning, including library search and theorem retrieval systems.
• Explore Lean metaprogramming and formal methods tooling.
• Architect verification pipelines for complex equation derivations at the intersection of AI and physics.
• Collaborate with researchers to execute projects advancing internal capabilities.
• Produce high-quality scientific research for publication at top-tier venues like ICLR, ICML, and NeurIPS.

Requirements

• Currently pursuing a PhD (preferred) or advanced Master’s in CS, AI, Mathematics, Physics, or related fields.
• Strong proficiency in Python.
• Background in AI/ML (agentic AI, LLMs), AI for science, or research engineering.
• Must have or be able to obtain work authorization for Spain, USA, or Canada.
• Ability to work independently in a dynamic, fast-paced environment.

Culture & Benefits

• Direct mentorship from a global team of multidisciplinary experts.
• Opportunity to contribute to major open-source projects and top-tier publications.
• Relocation support including temporary housing and travel expenses.
• Potential for full-time roles following a successful internship.
• Inclusive and diverse workplace culture.

Hiring process

• Culture interview.
• Technical and Hiring Manager interview (1 hour).
• Team interview.
• Offer stage.