Research Engineer - LLM Formal Methods

Компанія: Huawei Technologies Canada Co., Ltd.

Тривалість: 12-місячний контракт

Huawei Technologies Canada Co., Ltd. шукає інженера-дослідника зі спеціалізацією в LLM формальних методах для негайного початку роботи. Ця роль передбачає однорічний контракт, присвячений просуванню найсучасніших технологій у нейросимволічних архітектурах шляхом інтеграції LLM/AI та формальних методів.

• Проведення передових досліджень та розробка технологій для покращення процесу синтезу нейросимволічних архітектур.
• Інтеграція LLM/AI та формальних методів для направлення процесу розробки.
• Проектування та реалізація всеосяжних стратегій тестування, таких як "білий ящик" і "чорний ящик", для оцінки та покращення AI систем.
• Аналіз продуктивності AI систем за допомогою моделей покриття та активації.
• Розробка формальних методів моделювання, аналізу та верифікації для інтеграції символічного міркування в нейронних мережах.
• Забезпечувати точне тлумачення та генерацію вихідних даних AI систем.
• Співпраця з міжфункціональними командами дослідників та інженерів для впровадження передових технологій у практичну розробку AI.
• Публікація результатів досліджень на відповідних конференціях та у журналах.

Що ви принесете в команду:

• Докторський ступінь у сфері формальних методів, програмної інженерії, LLM/AI або суміжній галузі.
• Доведений досвід у дослідженнях та розробках у відповідних сферах.
• Експертність у формальних методах міркування та техніках тестування.
• Глибоке розуміння методологій LLM/AI та їх обмежень.
• Сильні програмістські навички.
• Здатність ефективно співпрацювати у міждисциплінарних командах.
• Уміння визначати та долати складні технічні виклики.

#LI-TL1

Зацікавлені кандидати повинні подати заявку через наш офіційний портал кар'єри.

Huawei Technologies Canada Co., Ltd. є провідним світовим постачальником рішень у сфері інформаційних та комунікаційних технологій (ICT), відданим інноваціям та технологічному прогресу.