Formal Verification Scientist Lean 4 Mathlib Search in Brazil, Brazil

Formal Verification Scientist (Lean 4 & Mathlib)

🏢 Alignerr 📍 Brazil, Brazil, Brazil

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

View Result Details

Lean 4 Proof Engineer - Mathematical Formalization

🏢 Alignerr 📍 Brazil, Brazil, Brazil

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

View Result Details

Applied Formal Methods Researcher (Lean 4)

🏢 Alignerr 📍 Brazil, Brazil, Brazil

Full-time TI-e-tecnologia

View Result Details

Researcher - Lean 4 & Formal Proof Systems

🏢 Alignerr 📍 Brazil, Brazil, Brazil

Full-time TI-e-tecnologia

View Result Details

Senior Formal Verification Engineer

🏢 Nvidia 📍 Remote, Brazil, Brazil

Full-time other-general

View Result Details

Senior Formal Verification Engineer

🏢 Nvidia 📍 Brazil, Brazil, Brazil

Full-time Engenharia-de-qualidade

View Result Details

Senior Formal Verification Engineer

🏢 NVIDIA 📍 Remote, Brazil, Brazil

Full-time other-general

View Result Details

Principal Software Engineer: SoC Silicon Agent R&D

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Brazil, Brazil

Full-time other-general

View Result Details

Principal Software Engineer: SoC Silicon Agent R&D

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Brazil, Brazil

Full-time other-general

View Result Details

Product Validation Engineer II: Quality Assurance - Jasper

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Brazil, Brazil

Full-time other-general

View Result Details

Principal Software Engineer: SoC Silicon Agent R&D

🏢 Cadence 📍 Belo Horizonte, Minas Gerais, Brazil

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

View Result Details

Principal Software Engineer: SoC Silicon Agent R&D

🏢 Cadence Systems 📍 Girau do Ponciano, Alagoas, Brazil

Full-time Other-General

View Result Details

Principal Software Engineer: SoC Silicon Agent R&D

🏢 Cadence Design Systems 📍 Belo Horizonte, Minas Gerais, Brazil

Full-time Other-General

View Result Details

Product Validation Engineer II: Quality Assurance - Jasper

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Brazil, Brazil

Full-time other-general

View Result Details

Design Engineer II: Digital Design Verification

🏢 Cadence Design Systems, Inc. 📍 Campinas, Brazil, Brazil

Full-time other-general

View Result Details

Senior Staff Engineer Digital Functional Verification

🏢 Infineon Technologies 📍 Rio Grande do Sul, Rio Grande do Sul, Brazil

Full-time Other-General

View Result Details

Applied AI Research Scientist

🏢 Highbrow Technology Inc 📍 São José da Laje, Alagoas, Brazil

Full-time Other-General

View Result Details

Product Validation Engineer II: Quality Assurance

🏢 Cadence 📍 Belo Horizonte, Minas Gerais, Brazil

Full-time Other-General

View Result Details

Design Engineer II: Digital Design Verification

🏢 Cadence Design Systems, Inc. 📍 Campinas, Brazil, Brazil

Full-time other-general

View Result Details

Design Engineer II: Digital Design Verification

🏢 Cadence 📍 Campinas, São Paulo, Brazil

Full-time Other-General

View Result Details

Product Validation Engineer II: Quality Assurance

🏢 Cadence Systems 📍 Girau do Ponciano, Alagoas, Brazil

Full-time Other-General

View Result Details

Principal Software Engineer: SoC Silicon Agent R&D

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, State of Minas Gerais, Brazil

Full-time Computer-Occupations

View Result Details

Product Validation Engineer II: Quality Assurance - Jasper

🏢 Cadence 📍 Belo Horizonte, Minas Gerais, Brazil

Full-time Engenharia-de-qualidade

View Result Details

Data Scientist

🏢 Bespoke Labs 📍 Brazil, Bahia, Brazil

Full-time Bases-de-dados,-analítica-e-inteligência-empresarial

View Result Details

Software Engineer II: Verification IP Development

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Brazil, Brazil

Full-time other-general

View Result Details

Cientista de Dados Sênior (Vaga Exclusiva para Pessoas com Deficiência)

🏢 PicPay 📍 Brazil, Brazil, Brazil

Full-time Bases-de-dados,-analítica-e-inteligência-empresarial

View Result Details

Software Engineer II: Verification IP Development

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Minas Gerais, Brazil

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

View Result Details

Expert Engineer in Verification (UVM/IP/SoC)

🏢 Aedvices 📍 Campinas, São Paulo, Brazil

Full-time Tecnologia-de-comunicação-e-informação

View Result Details

Software Engineer II: Verification IP Development

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, Brazil, Brazil

Full-time other-general

View Result Details

Lean Leader

🏢 KAEFER RIP Serviços Industriais 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Result Details

Software Engineer II: Verification IP Development

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, State of Minas Gerais, Brazil

Full-time Computer-Occupations

View Result Details

Design Engineer II: Digital Design Verification

🏢 Cadence Design Systems, Inc. 📍 Campinas, State of São Paulo, Brazil

Full-time Engineers

View Result Details

Product Validation Engineer II: Quality Assurance - Jasper

🏢 Cadence Design Systems, Inc. 📍 Belo Horizonte, State of Minas Gerais, Brazil

Full time Engineers

View Result Details

Embedded Software Consulting Engineer, Protection and Control Systems

🏢 GE Vernova 📍 Florianopolis, Brazil, Brazil

Full-time other-general

View Result Details

Embedded Software Consulting Engineer, Protection and Control Systems

🏢 GE Vernova 📍 Florianopolis, Brazil, Brazil

Full-time other-general

View Result Details

Product Manager II

🏢 Uber 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Result Details

Manufacturing Engineer

🏢 Greenlane Renewables Inc. 📍 São Paulo, Brazil, Brazil

Full-time Renewable-Energy-Equipment-Manufacturing

View Result Details

Contract Support, Technical Expert, AFOLU Emissions Reduction

🏢 SCS Global Services 📍 Brazil, Brazil, Brazil

Full-time Assistência-técnica-e-administração

View Result Details

Consultor Especialista em Gestão e Liderança - Especialista em Power Platform - Híbrido | Rio d[...]

🏢 Capco 📍 Brazil, Brazil, Brazil

Full-time Gerenciamento-e-estratégia

View Result Details

Senior Backend Engineer

🏢 Verifymy 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Result Details

JR-143480 AI Data Scientist Middle FL

🏢 Customertimes 📍 São Paulo, São Paulo, Brazil

Full-time Other-General

View Result Details

Manufacturing Engineer

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

Full-time Other-General

View Result Details

Client Representative

🏢 Trades Workforce Solutions 📍 Brazil, Brazil, Brazil

Full-time Distribuição-(geral)

View Result Details

Supervisor(a) de Produção (Foco em Usinagem de Alta Precisão)

🏢 Embraer 📍 São José dos Campos, State of São Paulo, Brazil

effective Supervisors-of-Production-Workers

View Result Details

Sales manager

🏢 FairWind 📍 Brazil, Brazil, Brazil

Full-time Distribuição-(geral)

View Result Details

Data Engineer - ESPECIALISTA

🏢 TIM Brasil 📍 Rio de Janeiro, Brazil, Brazil

Full-time Telecommunications

View Result Details

Chief artificial intelligence strategist

🏢 Anonymous 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Result Details

Data Scientist

🏢 Bespoke Labs 📍 Brasil, BR, Brazil

Full-time Other-General

View Result Details

Data Scientist

🏢 Bespoke Labs 📍 Brasil, BR, Brazil

Full-time Other-General

View Result Details

Engenheiro de IA

🏢 MF Data Scientist & Systems 📍 Brazil, Brazil, Brazil

Full-time Other-General

View Result Details

Formal Verification Scientist Lean 4 Mathlib Jobs in Brazil

Jobs Found