Applied Formal Methods Researcher Lean 4 Jobs in Brazil
ethical AI opportunities in Brazil
Jobs Found
A
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr Corp.
📍 Brazil, Brazil, Brazil
A
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr Corp.
📍 Brazil, Brazil, Brazil
A
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr Corp.
📍 Brazil, Brazil, Brazil
C
Senior applied ai researcher - 100% remote
🏢 Confidential
📍 HOME OFFICE, BR, Brazil
I
Chemistry Specialist (Fluent in Egyptian Arabic) - AI Trainer
🏢 Invisible Expert Marketplace
📍 Brazil, Brazil, Brazil
E
Post-Doctoral Fellowship in Entomology
🏢 Euraxess
📍 Araraquara, São Paulo, Brazil