Internship – Research Intern (formal Methods For Science)

Axiomaticai

Castelldefels, Spain
Pyid internship; duration: 3–6 months; relocation ...
**
Python proficiency required
Formal methods research experience
Ai for science background
** Axiomatic AI is seeking a Research Intern to contribute to the development of AI systems that leverage formal methods and scientific reasoning. This internship is ideal for PhD students interested in research and applications in AI for science and engineering, with a focus on verification of scientific outputs. **

Job Summary

  • The company aims to revolutionize hardware design by delivering a 30x improvement in the speed and cost of semiconductor development by 2030.
  • This role focuses on pioneering research into automated verification of scientific reasoning and architecting AI agents for complex mathematical workflows.
  • Successful interns may be considered for full-time roles following the internship and will have the opportunity to publish at top-tier venues.

Matching Summary

Match Score: 75

** Axiomatic AI is seeking a Research Intern to contribute to the development of AI systems that leverage formal methods and scientific reasoning. This internship is ideal for PhD students interested in research and applications in AI for science and engineering, with a focus on verification of scientific outputs. **

Salary

Paid internship; Duration: 3–6 months; Relocation support provided

Skills & Requirements

Must-have

  • Python proficiency required
  • Formal methods research experience
  • AI for science background
  • Lean metaprogramming knowledge
  • Verification pipeline architecture

Nice-to-have

  • Experience with agentic AI systems
  • Knowledge retrieval system design
  • Ability to work in ambiguity
  • Strong analytical communication skills
  • Open-ended problem solving

Key Requirements

  • Currently pursuing PhD or advanced Master's degree
  • Background in Computer Science, AI, Mathematics, or Physics
  • Work authorization in Barcelona, Spain required

Work Rights

Must have or obtain work authorization in Spain

Tailored Resume

Cover Letter