Lean 4 Proof Engineer Mathematical Formalization Jobs in Brazil
ethical AI opportunities in Brazil
Jobs Found
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr
📍 Brazil, Brazil, Brazil
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr Corp.
📍 Brazil, Brazil, Brazil
I
Mathematics Specialist (Fluent in Portuguese - Brazil) - Freelance AI Trainer Project
🏢 Invisible Agency
📍 Brazil, Brazil, Brazil
M
Senior Sales Engineer - Team Lead (Brazil)
🏢 Menlo Ventures
📍 Brazil, Brazil, Brazil