Lean 4 Proof Engineer Mathematical Formalization Openings in Brazil, Brazil

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Brazil, Brazil, Brazil

Full-time Engenharia-econômica-e-gerenciamento

View Opening Details

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Brazil, Brazil, Brazil

Full-time Ciências,-investigação-e-ensino

View Opening Details

Applied Formal Methods Researcher (Lean 4)

🏢 Alignerr 📍 Brazil, Brazil, Brazil

Full-time TI-e-tecnologia

View Opening Details

Researcher - Lean 4 & Formal Proof Systems

🏢 Alignerr 📍 Brazil, Brazil, Brazil

Full-time TI-e-tecnologia

View Opening Details

Site AI Partner

🏢 GE Vernova 📍 Itajuba, Brazil, Brazil

Full-time other-general

View Opening Details

Software Engineer (Back-End Integrations)

🏢 Amaris Consulting 📍 Brazil, Distrito Federal, Brazil

Full-time Arquitetura-e-design-de-software

View Opening Details

Software engineer (back-end integrations)

🏢 Amaris Consulting 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Opening Details

Site AI Partner

🏢 GE Vernova 📍 Itajuba, Brazil, Brazil

Full-time other-general

View Opening Details

Business analysis expert

🏢 Keeta 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Opening Details

Software Engineer (Back-End Integrations)

🏢 Amaris Consulting 📍 São Paulo, Brazil, Brazil

Full-time IT-Services-and-IT-Consulting

View Opening Details

Business Analysis Expert

🏢 Keeta 📍 São Paulo, Brazil, Brazil

Full-time Software-Development

View Opening Details

AI Engineer, Brazil

🏢 CI&T 📍 Brazil, Brazil, Brazil

Full-time Serviços-profissionais-/-Consultoria,-Arquitetura-e-design-de-software

View Opening Details

Solutions Engineer

🏢 Time Doctor 📍 Brazil, Brazil, Brazil

Full-time Ciências,-investigação-e-ensino

View Opening Details

Software Engineer (Back-End Integrations)

🏢 Amaris Consulting 📍 São Paulo, Federative Republic Of Brazil, Brazil

Full-time Other-General

View Opening Details

Post-Doctoral Fellowship in Computable Law / Representation of Normative Knowledge

🏢 FAPESP - São Paulo Research Foundation 📍 Brazil, Brazil, Brazil

Full-time Ciências,-investigação-e-ensino

View Opening Details

Business Analysis Expert

🏢 Keeta 📍 São Paulo, Federative Republic Of Brazil, Brazil

Full-time Other-General

View Opening Details

Mathematics Specialist (Fluent in Portuguese - Brazil) - Freelance AI Trainer Project

🏢 Invisible Agency 📍 Brazil, Brazil, Brazil

Full-time Comunicação-e-relações-públicas

View Opening Details

Process Optimization Engineer

🏢 WRS Health 📍 Brazil, Brazil, Brazil

Full-time Tecnologia-de-plásticos-e-processos

View Opening Details

Creative Strategist

🏢 nooro 📍 Brazil, Brazil, Brazil

Full-time Setor-criativo

View Opening Details

Technical Documentation Engineer

🏢 Tether.io 📍 Brazil, Brazil, Brazil

Full-time Instalação--Manutenção--Reparação

View Opening Details

Lean 4 Proof Engineer Mathematical Formalization Jobs in Brazil

Jobs Found