Ingénieur IA - Apprentissage par Renforcement

États-Unis

San Francisco, California, United States

PythonKubernetesC++RustGo

Traduction automatique. Consultez l’original.

QUI SOMMES-NOUS

Chez Logical Intelligence, nous révolutionnons le développement logiciel grâce à la vérification formelle assistée par IA. Nous avons développé des agents révolutionnaires qui fournissent des garanties mathématiques de correction du code, assurant que le logiciel se comporte exactement comme prévu tout en identifiant de manière proactive les bugs et les vulnérabilités de sécurité. Notre nouveau modèle de fondation permet un raisonnement précis et évolutif pour le code formellement vérifiable dans Rust, Golang, et les machines virtuelles de contrats intelligents. Nous avons remporté un benchmark de vérification formelle bien connu appelé PutnamBench, qui comprend 672 problèmes mathématiques difficiles issus de l'examen William Lowell Putnam, la plus ancienne compétition mathématique universitaire d'Amérique du Nord. Soutenus par une équipe de classe mondiale – incluant des champions ICPC, un médaillé Fields et un lauréat du prix ACM Turing – nous construisons l'avenir où tout code est prouvablement correct.

À PROPOS DU POSTE

Rejoignez notre équipe en tant qu'Ingénieur IA et aidez-nous à repousser les limites de ce qui est possible en matière de raisonnement logique ! Nous recherchons une personne motivée pour concevoir, implémenter et affiner des pipelines efficaces de grands modèles de langage (LLMs) pour l'entraînement distribué à grande échelle. Vous serez à la pointe de la conception et de l'affinage d'algorithmes qui vont au-delà des capacités des LLMs traditionnels. Vous travaillerez en étroite collaboration avec une équipe talentueuse d'experts en IA, de spécialistes EBM, d'ingénieurs en vérification formelle et de développeurs de logiciels pour créer des solutions révolutionnaires.

VOS MISSIONS

Implémenter de nouveaux algorithmes et modèles de raisonnement

Évaluer les approches de raisonnement, y compris le raisonnement dans l'espace latent

Pré-entraîner, affiner et modifier les LLMs de pointe

Optimiser et mettre à l'échelle les pipelines LLM

Ajuster les frameworks et les interfaces pour accélérer le développement du machine learning

Dériver des solutions pratiques et les intégrer avec les résultats d'autres équipes pour fournir la meilleure résolution globale

PROFIL RECHERCHÉ

Compréhension approfondie du fonctionnement interne des transformeurs, et capacité à apporter des changements radicaux à l'architecture et à gérer des dérivées d'ordre supérieur

Expertise dans les langages de programmation et les outils critiques pour le calcul haute performance en Python/C++ et machine learning, y compris les frameworks de Deep Learning tels que PyTorch/TensorFlow/JAX

Expertise dans l'optimisation des systèmes de machine learning, y compris les techniques générales et les optimisations spécifiques aux LLM

Compréhension des approches de pointe en matière de raisonnement LLM

Capacité à comprendre des approches d'apprentissage complexes, telles que les modèles basés sur l'énergie

Expérience avec les techniques d'optimisation distribuée de base

Familiarité avec torch.compile ou des outils similaires d'optimisation des performances

Compréhension des architectures LLM et des mécanismes internes de réglage fin des LLM

3+ années d'expérience de production en ML Infra, DataOps, entraînement distribué. Maîtrise des clusters Kubernetes et des ressources de calcul distribué

Solides compétences en communication et en travail d'équipe

Volonté d'explorer et de promouvoir les technologies de pointe dans le domaine de l'infrastructure ML et au-delà

Points bonus

Publications démontrées dans l'une des conférences majeures

Expérience en EBM ou en raisonnement latent

Publications démontrées dans l'une des conférences majeures

Raisonnement mathématique – mathématiques discrètes et logique

logicalintelligence.com logicalintelligence.com/

Langues

Ingénieur IA - Apprentissage par Renforcement

QUI SOMMES-NOUS

À PROPOS DU POSTE

VOS MISSIONS

PROFIL RECHERCHÉ

Points bonus

Ton prochain jobest déjà à ta recherche.

Plus d’opportunités avec un seul profil

Continuer à explorer

Administrateur de Service Desk

Consultant Technique ServiceNow HR Managed Services

Technicien de support informatique