About this role
Internship – Research Intern (AI for Scientific Reasoning) at Axiomatic_AI. Location: Castelldefels, Catalonia, Spain. Role: Contribute tooling, Explore Lean, Architect verification Requirements: PhD student (preferred) or advanced Master’s in CS/AI/Math/Physics; strong Python; background in AI for science; strong research, analytical and communication skills; ability to work independently; on-site in Barcelona. Category: Research and Development (R&D) Seniority: Entry Level Tools: Python, Lean (metaprogramming) Commitment: Internship Workplace: Onsite Languages: English