Internship – Research Intern (AI for Scientific Reasoning)

About Axiomatic AI

Axiomatic AI builds AI systems that reason like scientists.

What you'd do

• Contribute to formal reasoning tools
• Explore Lean metaprogramming applications
• Architect verification pipelines
• Work closely with researchers on projects

What they're looking for

• Currently pursuing a PhD or advanced Master’s in relevant IT
• Strong proficiency in Python
• Background in AI, machine learning, or research engineering
• Strong analytical and communication skills

Perks

• Paid internship
• Relocation support for housing and travel