Lean4 Jobs in Spain
ethical AI opportunities in Spain
Jobs Found
A
Applied Researcher in Formal Methods for Physics
🏢 Axiomatic-AI Inc.
📍 catalunya, catalunya, Spain
A
Applied Researcher in Formal Methods for Physics
🏢 Axiomatic-AI Inc.
📍 Barcelona, Cataluña, Spain
A
Applied Researcher in Formal Methods for Physics
🏢 Axiomatic_AI
📍 Barcelona, Cataluña, Spain
A
Applied Researcher in Formal Methods for Physics
🏢 Axiomatic_AI
📍 catalunya, catalunya, Spain
A
Applied Researcher in Formal Methods for Physics
🏢 Axiomatic_AI
📍 Barcelona, Cataluña, Spain
A
Lean4-Driven Formal Methods Researcher for Physics
🏢 Axiomatic-AI Inc.
📍 barcelona, barcelona, Spain
A
Lean4-Driven Formal Methods Researcher for Physics
🏢 Axiomatic-AI Inc.
📍 Barcelona, Cataluña, Spain
A
Applied Researcher: Formal Methods for Physics (Remote)
🏢 Axiomatic_AI
📍 barcelona, barcelona, Spain
A
Applied Researcher: Formal Methods for Physics (Remote)
🏢 Axiomatic_AI
📍 Barcelona, Cataluña, Spain
A
AI Research Scientist - Formal Methods for Science
🏢 Axiomatic Ai
📍 catalunya, catalunya, Spain