Research Engineer - LLM Formal Methods

Entreprise : Huawei Technologies Canada Co., Ltd.

Durée : Contrat de 12 mois

Huawei Technologies Canada Co., Ltd. recherche un Ingénieur de recherche spécialisé dans les méthodes formelles LLM pour un poste à pourvoir immédiatement. Ce rôle implique un contrat d'un an dédié à l'avancement des technologies de pointe dans les architectures neuronales symboliques en intégrant les LLM/IA et les méthodes formelles.

Responsabilités principales

• Conduire des recherches de pointe et développer des technologies pour améliorer le processus de synthèse des architectures neuronales symboliques.
• Intégrer les LLM/IA et les méthodes formelles pour orienter le processus de développement.
• Concevoir et mettre en œuvre des stratégies de test complètes, telles que des tests de boîte blanche et de boîte noire, pour évaluer et améliorer les systèmes d'IA.
• Analyser les performances des systèmes d'IA à travers les motifs de couverture et d'activation.
• Développer des techniques de modélisation formelle, d'analyse et de vérification pour l'intégration du raisonnement symbolique dans les réseaux neuronaux.
• Assurer une interprétation et une génération précises des sorties des systèmes d'IA.
• Collaborer avec des équipes interdisciplinaires de chercheurs et d'ingénieurs pour intégrer des technologies avancées dans le développement pratique de l'IA.
• Publier les résultats de recherche dans des conférences et des revues pertinentes.

Qualifications

Ce que vous apporterez à l'équipe :

• Doctorat en méthodes formelles, génie logiciel, LLM/IA ou un domaine étroitement lié.
• Expérience avérée en recherche et développement dans les domaines pertinents.
• Expertise en raisonnement formel et en techniques de test.
• Compréhension approfondie des méthodologies LLM/IA et de leurs limites.
• Excellentes compétences en programmation.
• Capacité à collaborer efficacement au sein d'équipes interdisciplinaires.
• Aptitude à identifier et surmonter des défis techniques complexes.

#LI-TL1

Comment postuler

Les candidats intéressés doivent soumettre leur candidature via notre portail officiel de carrière.

À propos de Huawei Technologies Canada Co., Ltd.

Huawei Technologies Canada Co., Ltd. est un fournisseur global de premier plan de solutions technologiques de l'information et de la communication (TIC), engagé dans l'innovation et les progrès technologiques.