Formal Verification Scientist Lean 4 Mathlib Jobs in Brazil
ethical AI opportunities in Brazil
Ethical AI Jobs Found
Formal Verification Scientist (Lean 4 & Mathlib)
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
Lean 4 Proof Engineer - Mathematical Formalization
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
Applied Formal Methods Researcher (Lean 4)
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
Researcher - Lean 4 & Formal Proof Systems
🏢 Alignerr · 📍 Brazil, Brazil, Brazil
Principal Software Engineer: SoC Silicon Agent R&D
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
Principal Software Engineer: SoC Silicon Agent R&D
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
Product Validation Engineer II: Quality Assurance - Jasper
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
Product Validation Engineer II: Quality Assurance - Jasper
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
Design Engineer II: Digital Design Verification
🏢 Cadence Design Systems, Inc. · 📍 Campinas, Brazil, Brazil
Principal Software Engineer: SoC Silicon Agent R&D
🏢 Cadence · 📍 Belo Horizonte, Minas Gerais, Brazil
Design Engineer II: Digital Design Verification
🏢 Cadence Design Systems, Inc. · 📍 Campinas, Brazil, Brazil
Principal Software Engineer: SoC Silicon Agent R&D
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, State of Minas Gerais, Brazil
Product Validation Engineer II: Quality Assurance - Jasper
🏢 Cadence · 📍 Belo Horizonte, Minas Gerais, Brazil
Software Engineer II: Verification IP Development
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
Software Engineer II: Verification IP Development
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Minas Gerais, Brazil
Software Engineer II: Verification IP Development
🏢 Cadence Design Systems, Inc. · 📍 Belo Horizonte, Brazil, Brazil
Expert Engineer in Verification (UVM/IP/SoC)
🏢 Aedvices · 📍 Campinas, São Paulo, Brazil
Cientista de Dados Sênior (Vaga Exclusiva para Pessoas com Deficiência)
🏢 PicPay · 📍 Brazil, Brazil, Brazil
Embedded Software Consulting Engineer, Protection and Control Systems
🏢 GE Vernova · 📍 Florianopolis, Brazil, Brazil
Embedded Software Consulting Engineer, Protection and Control Systems
🏢 GE Vernova · 📍 Florianopolis, Brazil, Brazil