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
C
JR-143480 AI Data Scientist Middle FL
🏢 Customertimes
📍 São Paulo, São Paulo, Brazil
C
JR-143480 AI Data Scientist Middle FL
🏢 Customertimes
📍 São Paulo, São Paulo, Brazil
C
JR-143480 AI Data Scientist Middle FL
🏢 Customertimes
📍 São Paulo, São Paulo, Brazil
C
Senior Consultant/Senior Researcher, Postsecondary Success
🏢 Confidential
📍 Brazil, Brazil, Brazil
T
Consultor toolchain (signavio, walkme e leanix)
🏢 T-Systems Do Brasil
📍 Brazil, Brazil, Brazil
T
Methods and Performance Engineer
🏢 TOTAL Deutschland GmbH
📍 Brazil, Brazil, Brazil