Formal Verification Scientist (Lean 4 & Mathlib)

Formal Verification Scientist (Lean 4 & Mathlib)

Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr

LinkedIn

Brasil

•

7 dias atrás

•

Nenhuma candidatura

Enviar currículo Enviar currículo

Sobre

We're looking for experts to help train better AI. At Alignerr, we offer paid, flexible projects for writers, coders, and subject matter experts to refine and align advanced artificial intelligence. Work when you want, where you want. Apply today at Alignerr.com or through our open Job Postings.

Vagas Similares

Supervisor de Vendas (São José...

Supervisor de Vendas (São José...

Orthopride

Gupy

São José dos Campos São Paulo Brasil

Estamos contratando Supervisor de Vendas para liderar time na área ...
/ mês 2 minutos atrás
ATENDENTE DE RESTAURANTE ( JAR...

ATENDENTE DE RESTAURANTE ( JAR...

Mcdonald's Restaurante - Arcos Dorados

Gupy

Londrina Paraná Brasil

#A gente vai amar muito se você... 😍🍟 Faz questão de tornar as cois...
/ mês 2 minutos atrás
Especialista de Pricing

Especialista de Pricing

Nitro Agro

Gupy

São Paulo São Paulo Brasil

Na Nitro somos apaixonados pelo que fazemos, agimos com senso de do...
/ mês 2 minutos atrás
Analista de Logística Jr &#821...

Analista de Logística Jr &#821...

Vibra Energia

Gupy

Rio de Janeiro Rio de Janeiro Brasil

A equipe de programação inbound é responsável por executar o plano ...
/ mês 2 minutos atrás
Auxiliar de Cozinha Refeitório

Auxiliar de Cozinha Refeitório

Assaí Atacadista - O Atacadista Com 50 Anos De Tradição! #vemserassaí

Gupy

Rio de Janeiro Rio de Janeiro Brasil

Faça parte do crescimento do Assaí! Com lojas espalhadas por todo B...
/ mês 2 minutos atrás