Mathematician — Formal Proof & AI Foundations
Revalidação necessária
Fatos essenciais
- Remuneração
- Remuneração não confirmada
- Localização e elegibilidade
- Brasil confirmado pela fonte
- Modelo de trabalho
- Brasil — remoto
- Contrato ou projeto
- Conforme a fonte oficial
- Experiência
- Não informada
- Publicação na fonte
- Data oficial não informada
- Primeira publicação no Radar
- Não informada
- Última verificação do Radar
- 29/08/2026
Confirmando sua sessão…
O que fará
Formalizar teoremas e argumentos em Lean 4
Requisitos publicados
- Mestrado ou PhD em Matemática ou área próxima
- forte experiência com provas matemáticas rigorosas e raciocínio lógico
- experiência prática com assistentes formais de prova, com Lean 4 fortemente preferido
- capacidade de transformar argumentos informais em provas formais verificáveis.
Requisitos obrigatórios confirmados
- Atuação remota a partir do Brasil
- Mestrado ou PhD em Matemática ou área próxima
- Experiência prática com escrita rigorosa de provas e assistentes formais de prova
Idiomas
Não informado
Fonte oficial
Fonte temporariamente indisponível — revalidação necessária.
Ver fonte oficialSinais do Radar
Confiabilidade da fonte: — — ainda não avaliado
Qualidade da oportunidade: — — ainda não avaliada
Esses sinais ajudam a avaliar a qualidade das informações e da oportunidade. Eles não representam chance de contratação.
Elegibilidade para residentes do Brasil confirmada. Link oficial validado.
- Remoto no Brasil
- contrato freelance flexível
- compromisso de 10–40 horas por semana.
- Data de publicação não informada
- Forma de pagamento não informada pela fonte
Boa para começar?
Exige experiência/especialização
- Exige pós-graduação avançada em Matemática
- requer provas rigorosas e experiência com formalização
- Lean 4 é fortemente preferido.
A candidatura acontece na fonte oficial. Abrir esse link não registra uma candidatura no Radar.
Voltar às oportunidades