Software Engineer: Keystone Project (Machine-Verified LLM Inference)

À propos du poste

Mission The Keystone project, an ARIA-funded collaboration between EPFL and Imperial College London, aims to build a formally-verified ML inference engine, demonstrating that AI can help make verified systems competitive with unverified systems in terms of development effort, …

Seul un extrait est disponible ici. Consultez l’annonce de l’employeur pour les tâches, les exigences et la candidature.