Nous utilisons des cookies techniques et le journal de visites anonymisé de Zorky. Yandex Metrica (données stockées sur des serveurs en Russie) ne fonctionne qu'avec votre consentement. Nous ne vendons jamais de données. En savoir plus sur les cookies et les statistiques.
Zorky est en mode test — tout est gratuit. Les offres et les pages des entreprises sont ouvertes à tous ; les liens vers les annonces et votre sélection personnelle s'ouvrent après inscription. Inscription →
← Toutes les offres

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

Niveau non préciséofficeLondon, GBaujourd'hui
Stack
formal verification
Afficher l'entreprise et le lien
Gratuit, après connexion.
Postuler
Déposez votre CV : des employeurs et recruteurs de différents pays qui cherchent votre profil pourront vous contacter directement.
Envoyer votre CV →
Description

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…

Entreprise : après connexion. Se connecter
Jobs by Adzunadescription courteDescription complète sur Adzuna →
Les contacts de l'employeur (e-mail/téléphone/telegram) sont masqués dans l'aperçu public. Envoyez votre CV pour que les employeurs puissent vous contacter directement.
Signaler cette offre
Question urgente ? Écrivez à @termdocs