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

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

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

Lean 4 Proof Engineer Mathematical Formalization Jobs in Brazil

Jobs Found