Lean 4 Proof Engineer Mathematical Formalization Jobs in Brazil
ethical AI opportunities in Brazil
Ethical AI Jobs Found
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
A
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
A
Software Engineer (Back-End Integrations)
🏢 Amaris Consulting · 📍 Brazil, Distrito Federal, Brazil
G
A
Software engineer (back-end integrations)
🏢 Amaris Consulting · 📍 Brazil, Brazil, Brazil
G
K
A
Software Engineer (Back-End Integrations)
🏢 Amaris Consulting · 📍 São Paulo, Brazil, Brazil
K
C
T
A
Software Engineer (Back-End Integrations)
🏢 Amaris Consulting · 📍 São Paulo, Federative Republic Of Brazil, Brazil
F
Post-Doctoral Fellowship in Computable Law / Representation of Normative Knowledge
🏢 FAPESP - São Paulo Research Foundation · 📍 Brazil, Brazil, Brazil
K
Business Analysis Expert
🏢 Keeta · 📍 São Paulo, Federative Republic Of Brazil, Brazil
I
Mathematics Specialist (Fluent in Portuguese - Brazil) - Freelance AI Trainer Project
🏢 Invisible Agency · 📍 Brazil, Brazil, Brazil
W
N
T