Research Intern (AI for Scientific Reasoning) (AI)

TL;DR

Research Intern (AI for Scientific Reasoning) (AI): Developing AI systems for automated verification of scientific reasoning with an accent on formal methods, knowledge retrieval, and mathematical formalization. Focus on architecting verification pipelines for complex equation derivations and building tools for AI-assisted physics formalization.

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

Company

hirify.global is building a new class of AI systems that combine deep learning with formal logic and physics-based modeling to accelerate semiconductor and photonic hardware development.

What you will do

• Contribute to tooling for formal reasoning, such as library search, theorem retrieval systems, and formalization assistants.
• Explore applications of Lean metaprogramming and related formal methods tooling.
• Architect verification pipelines for complex equation derivations where AI and physics intersect.
• Collaborate with researchers to identify and execute projects that advance internal capabilities and research understanding.
• Conduct high-quality scientific work for publication at top-tier venues like ICLR, ICML, and NeurIPS.

Requirements

• Currently pursuing a PhD (preferred) or advanced Master’s degree in CS, AI, Mathematics, Physics, or a related field.
• Strong proficiency in Python.
• Background in AI/ML (agentic AI, knowledge retrieval, graphs, LLMs) or AI for science, specifically in physics.
• Strong research skills and ability to work on open-ended technical problems.
• Work authorization in Spain, USA, or Canada is required.

Culture & Benefits

• Mentorship from a global team of multidisciplinary experts.
• Relocation support covering temporary housing and travel to/from the office location.
• Opportunity to publish research at leading AI conferences.
• Office located in the Mediterranean Technology Park in Barcelona, close to the beach.
• Potential for full-time role consideration following a successful internship.

Hiring process

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