Axiomatic_AI in Barcelona is seeking a Research Intern focused on formal methods, AI, and scientific reasoning. This paid internship offers hands-on experience in pioneering research on automated verification for scientific processes. The ideal candidate is pursuing a PhD or advanced degree in relevant fields and has strong Python proficiency. Interns will collaborate closely with experts and may transition to full-time opportunities. Relocation support is available, and candidates must be on-site at the office in Barcelona.
#J-18808-Ljbffr