Formal Jobs in Brazil
ethical AI opportunities in Brazil
Ethical AI Jobs Found
N
N
N
A
Researcher - Lean 4 & Formal Proof Systems
🏢 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
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
C
Facilitador de Parcerias I
🏢 Compassion International · 📍 Brazil, Brazil, Brazil
C
Product Validation Engineer II: Quality Assurance - Jasper
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
O