Usamos cookies técnicos e o registro de visitas anonimizado do Zorky. O Yandex Metrica (dados armazenados em servidores na Rússia) só funciona com o seu consentimento. Nunca vendemos dados. Mais sobre cookies e estatísticas.
O Zorky está em modo de teste — tudo é gratuito. As vagas e as páginas das empresas são abertas a todos; os links dos anúncios e sua seleção pessoal abrem após o cadastro. Cadastre-se →
← Todas as vagas

Member of Technical Staff- Post-training & evals (ML)

Nível não informadoofficeLondon, GBhoje
Stack
formal verification
Mostrar empresa e link
Grátis, depois de entrar.
Candidatar-se
Envie seu currículo: empregadores e recrutadores de vários países que procuram o seu perfil poderão falar com você diretamente.
Enviar seu currículo →
Descrição

Reasonable is the applied AI research company building formal verification for super-human software development. Correctness guarantees for software developed by humans and machines are no longer impractical or prohibitively expensive. Code generated by AI can be provably correct, rather than plausibly functional.

At Reasonable, we are doing the research, training the models, and developing the products required to make this a reality. Achieving this creates a new paradigm for high accountabili…

Empresa: depois de entrar. Entrar
Jobs by Adzunadescrição curtaDescrição completa na Adzuna →
Os contatos do empregador (e-mail/telefone/telegram) ficam ocultos na prévia pública. Envie seu currículo para que os empregadores possam falar com você diretamente.
Denunciar esta vaga
Pergunta urgente? Escreva para @termdocs