Nova Vaga de Pesquisa de Pós-Doutorado em Ferramentas Matemáticas Computacionais no EPFL

Resumo rápido: Um grupo de pesquisa no EPFL está contratando um pós-doutorando para estudar como assistentes de prova e inteligência artificial podem ajudar a resolver problemas matemáticos. O projeto ainda não tem um plano fixo, dando liberdade ao pesquisador para realizar experimentos.

Computadores e inteligência artificial estão mudando a forma como os especialistas abordam a matemática, e uma nova vaga de pesquisa visa explorar o que essas ferramentas podem fazer a seguir.

O que aconteceu, em palavras simples

Annalisa Buffa compartilhou uma postagem de convidado no blog de Terence Tao anunciando uma nova vaga de pós-doutorado na Cadeira de Modelagem Numérica e Simulação do EPFL. A posição foca em explorar a verificação formal e a inteligência artificial na análise numérica. O pesquisador contratado ajudará a definir este novo caminho de pesquisa, testar onde esses métodos computacionais funcionam ou falham, e compartilhar suas descobertas internacionalmente.

Pontos principais

Direção de pesquisa aberta O pós-doutorando contratado ajudará a escolher as direções de pesquisa e a testar onde as ferramentas computacionais ajudam ou falham nos esquemas numéricos.
Formação necessária Os candidatos precisam de doutorado em matemática, ciência da computação ou área relacionada, além de sólida experiência em verificação formal usando o Lean.
Termos do contrato A vaga oferece um contrato de um ano renovável, oferecido por uma instituição de pesquisa europeia líder.

Termos explicados

Lean — Uma ferramenta de software assistente de provas usada para verificar demonstrações matemáticas. Exemplo: Usar um programa de computador para conferir duas vezes cada etapa da solução de um longo quebra-cabeça para garantir que não haja erros.
Verificação formal — O ato de usar software de computador para provar se uma declaração ou sistema matemático está completamente correto. Exemplo: Executar uma verificação computacional no projeto de uma ponte para garantir matematicamente que ela não desabará sob o peso.
Equações diferenciais parciais — Equações matemáticas avançadas que envolvem taxas de variação no espaço e no tempo. Exemplo: Equações usadas para descrever como o calor se espalha uniformemente por uma placa de metal.

Por que isso importa

Explorar como o software de computador pode verificar o trabalho matemático pode eventualmente mudar a forma como os pesquisadores testam cálculos complexos, embora este projeto específico esteja apenas começando a testar possibilidades.

O que ainda não sabemos

A fonte observa que ainda não há um projeto fixo, o que significa que os resultados exatos e as aplicações práticas são totalmente desconhecidos e em aberto.

Com base em reportagem de Terence Tao (UCLA). Este é um texto explicativo independente, escrito com palavras próprias e auxílio de IA; Terence Tao (UCLA) não o revisou nem o endossou. Leia o original para ver todos os detalhes.