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. - ведущий глобальный поставщик решений в области информационных и коммуникационных технологий (ИКТ), стремящийся к инновациям и технологическим достижениям.