AI Research Scientist (Formal Methods for Science)

TL;DR

AI Research Scientist (Formal Methods for Science): Developing formal verification tools and AI systems for quantitative scientific fields like physics and engineering with an accent on autoformalization, validation strategies, and data curation. Focus on benchmarking performance, analyzing reasoning flaws, and integrating formal methods into high-stakes workflows.

Barcelona, Spain. Not based in Barcelona? Open to relocation support.

Company

hirify.global builds verifiable, interpretable AI systems combining deep learning, formal logic, and physics-based modeling to accelerate semiconductor and photonic hardware development.

What you will do

• Design and develop autoformalization and validation strategies for scientific applications.
• Implement technical solutions for complex challenges in collaboration with business development.
• Stay updated with state-of-the-art techniques and integrate latest research into products.
• Collaborate with cross-functional teams including mathematicians, AI engineers, physicists, and Lean4 developers.
• Share knowledge and foster continuous learning within the team.

Requirements

• PhD in Computer Science, AI, Physics, Machine Learning for scientific applications or related.
• Experience applying machine learning to relevant projects.
• Proficient in Python for clean, efficient code.
• Experienced with agentic AI and major deep learning frameworks.
• Solid understanding of statistics and probability.

Nice to have

• Background in Physics, Engineering or computational science.
• Publications at top-tier conferences in relevant domains.
• Experience in top AI companies.
• Strong experience in RL, representation learning, program synthesis, NLP, graph ML, theorem proving, agentic LLMs, or ML for science.
• Contributions to open source projects.

Culture & Benefits

• Competitive compensation and stock options.
• Flexible work arrangements in offices with potential remote options.
• Access to cutting-edge tools and collaboration with AI, physics, and hardware experts.
• Opportunities for professional growth including conferences and research presentations.
• Impact-driven culture focused on AI for hardware innovation.