Pure Mathematics Specialist - Freelance AI Trainer Project - vaga remota

A empresa Invisible Technologies está com uma vaga aberta de Pure Mathematics Specialist - Freelance AI Trainer Project. A posição fica na área de Educação e ensino e é totalmente remota. A empresa não impõe restrição sobre onde o candidato mora, então você pode se candidatar de onde estiver.

A empresa publicou a remuneração: $35 - $65 por hora. O anúncio não impõe condição nenhuma de horário.

Esta vaga passou por uma verificação automática: anúncios que exigem autorização de trabalho estrangeira, patrocínio de visto, uma nacionalidade específica ou residência em um país indicado não entram na lista.

É um matemático experiente apaixonado por avançar na IA? Com modelos de linguagem em grande escala fazendo rápido progresso, garantindo sua capacidade de lidar com raciocínios baseados em provas complexas depende de dados robustos de treinamento matemático. Aproveitando sua profunda experiência, você pode contribuir para tornar os sistemas de IA mais adeptos à compreensão de conceitos abstratos, raciocínio lógico e as estruturas complexas da matemática moderna. Seus insights serão cruciais para moldar o futuro da IA.

Procuramos indivíduos com uma profunda compreensão da matemática pura, capazes de explorar tópicos avançados em teoria de probabilidades, teoria de medidas, análise real e funcional, otimização, álgebra abstrata e teoria de categorias. Além disso, precisamos de uma compreensão sólida do Lean 4, o assistente de prova e linguagem de programação.

Em uma base diária, você vai criar e rever provas intrincadas, garantindo que o raciocínio matemático é tanto correto e rigoroso, e identificar quaisquer erros conceituais ou lógicos sutis. Você também trabalhará em estreita colaboração com nossa equipe para desenvolver e refinar alertas, quadros de avaliação e benchmarks de raciocínio matemático, melhorando assim a qualidade geral de nossas operações.

Candidatos ideais terão um comando fluente de Lean 4, um PhD atual ou em andamento em matemática pura, ou experiência pós-doc recente. Você deve ser bem versado em tópicos essenciais como as desigualdades de Markov e Chebyshev, limites de Hoeffding, teoremas de convergência, o teorema da extensão de Carathéodory, o teorema da representação de Riesz, Banach-Alaoglu, Lax-Milgram, aproximação estocástica, o teorema de Van Kampen, a incorporação de Yoneda, e representabilidade na cohomologia. As habilidades de comunicação metacognitivas eficazes também são críticas.

Pronto para aproveitar sua proficiência Lean 4 e proeza matemática para formar o núcleo de raciocínio da IA de amanhã? Aplicar agora e desempenhar um papel fundamental na educação dos modelos que irão apoiar pesquisadores, cientistas e engenheiros em todo o mundo.

Nossa faixa de compensação é de $35 a $65 por hora, com a taxa específica determinada com base em sua experiência, experiência e localização geográfica. Como contratante, você precisará fornecer um computador seguro e internet de alta velocidade; benefícios patrocinados pela empresa, como seguro de saúde e PTO não estão incluídos.

Título do trabalho: Puro Matemática e Lean 4 Especialista - Freelance AI Trainer Project Tipo de emprego: Contrato Tipo de local de trabalho: Remoto Originalmente postado em Himalaias