Programming Languages R&D Engineer(PAYE)

О Huawei Research and Development UK Limited

Основанная в 1987 году, Huawei является ведущим мировым поставщиком инфраструктуры информационно-коммуникационных технологий (ИКТ) и интеллектуальных устройств. У нас работает 207 000 сотрудников, мы осуществляем деятельность в более чем 170 странах и регионах, обслуживая более трех миллиардов человек по всему миру.

Наше видение и миссия — предоставить цифровые технологии каждому человеку, дому и организации для создания полностью связанного, интеллектуального мира. Для этого мы будем способствовать повсеместной связности и содействовать равному доступу к сетям; предоставлять облачные технологии и искусственный интеллект во все уголки Земли для обеспечения превосходной вычислительной мощности там, где она вам нужна, когда она вам нужна; создавать цифровые платформы, чтобы помочь всем отраслям и организациям стать более гибкими, эффективными и динамичными; переосмысливать пользовательский опыт с помощью ИИ, делая его более персонализированным для людей во всех аспектах их жизни, будь то дома, в офисе или в пути.

Этот дух инноваций побудил Huawei тесно сотрудничать с ведущими академическими учреждениями Великобритании для разработки и совершенствования новейших технологий. Общая приверженность инновациям и прогрессу позволила обеим сторонам совместно добиваться общих целей и установить прочное партнерство. Партнерство между Великобританией и Huawei помогает разрабатывать технологии будущего, которые изменят способы нашего общения, работы и жизни.

В течение последних 30 лет мы сохраняли неизменную сосредоточенность, отвергая кратчайшие пути и легкие возможности, которые не соответствуют нашему основному бизнесу. Применяя практический подход ко всему, что мы делаем, мы концентрируем наши усилия и терпеливо инвестируем для достижения технологических прорывов.

Эта стратегическая направленность отражает наши основные ценности:

• Ориентация на клиента,
• Вдохновляющая преданность делу,
• Настойчивость,
• Рост через рефлексию.

Обзор Huawei Research and Development UK Limited

Видение Huawei — это полностью связанный, интеллектуальный мир. Для достижения этой цели мы работаем над тем, чтобы вдохновлять страсть к фундаментальным исследованиям во всем мире. Наша общая страсть стимулирует развитие по всей глобальной цепочке создания инновационной стоимости. Huawei обладает самой крупной организацией по исследованиям и разработкам в мире, насчитывающей более 96 000 сотрудников в исследовательских центрах по всему миру. В Великобритании у нас уже есть проектные центры в Кембридже, Лондоне, Эдинбурге и Ипсвиче. Мы продолжаем исследовать и определять новые направления исследований и новые услуги. Мы расширили наше сотрудничество с академическими исследователями; исследовали новые сетевые архитектуры, интеграцию коммуникаций и ключевых вспомогательных технологий; разработали фундаментальные теории этих технологий. Мы приглашаем вас присоединиться к нам в этом захватывающем путешествии и продвигать свою карьеру.

Цель должности:

Работать в составе команды Huawei по языкам программирования, проводить оригинальные исследования, внедрять результаты исследований и выполнять инженерную работу в области языков программирования, формальных методов и агентного программирования в офисе Huawei в Эдинбурге.

Роль будет сосредоточена на технологиях языков программирования для эры ИИ и системах агентного программирования для разработки программного обеспечения, включая понимание программ, генерацию кода, преобразование программ, автоматизированное тестирование и отладку, а также повышение надежности кода, сгенерированного ИИ.

Основные обязанности:

• Вносить вклад в исследование ключевых технологий и направлений исследований в области языков программирования, компиляторов, формальных методов и агентного программирования, поддерживая возможности Huawei в области языков программирования и программных решений для ИИ.
• Вносить вклад в проектирование и разработку передовых компиляторных фреймворков для параллелизма и управления, а также инструментов для агентного программирования, генерации кода, верификации и валидации.
• Понимать и применять технологии для разработки программного обеспечения на основе ИИ, включая понимание программ, генерацию кода, автоматизированное тестирование и отладку, а также повышение надежности программного обеспечения, сгенерированного ИИ.
• Поддерживать разработку исследовательских прототипов и инженерных инструментов, а также способствовать переносу результатов исследований в практические технологии и решения для реальных сценариев разработки программного обеспечения.

Данное описание должности является лишь общим изложением задач, обязанностей и результатов, требуемых от данной роли. Сотрудник будет выполнять любые другие обязанности, которые могут быть разумно потребованы его непосредственным руководителем. Описание должности и личные характеристики могут пересматриваться на постоянной основе в соответствии с меняющимися потребностями Huawei Research and Development UK Limited.

Требования к кандидату:

Перечислите сведения о знаниях, навыках, опыте и квалификации, необходимых для выполнения работы:

Обязательно:

• Степень в области компьютерных наук, математики или смежной дисциплины.
• Отличные навыки программирования, исследования и анализа.
• Хорошее знание современных языков программирования и разработки программного обеспечения, включая концепции языков, приложения, компиляцию и инструментарий, охватывающие объектно-ориентированные и/или функциональные парадигмы программирования.
• Знакомство с современными технологиями ИИ и LLM, с интересом к их применению в разработке программного обеспечения и инструментах программирования.
• Способность быстро осваивать, понимать и применять новые программные технологии в эпоху ИИ.
• Сильные навыки решения проблем и готовность работать над реальными программными системами и инструментами разработки.
• Профессиональное владение английским и китайским (мандарин) языками требуется для поддержки регулярной связи со стейкхолдерами из штаб-квартиры и управления соответствующей деловой документацией.

Желательно (любое из следующего):

• Опыт в области проектирования языков программирования, компиляторов и/или фреймворков программирования.
• Опыт работы с методами и инструментами формальной верификации.
• Опыт работы с агентным программированием, кодирующими агентами, генерацией кода с помощью ИИ, автоматизированной отладкой или миграцией программного обеспечения.
• Сильные математические основы программирования, включая логику, теорию типов, семантику и формальные рассуждения.
• Исследовательский или инженерный опыт в области анализа программ, верификации, тестирования или применения ИИ для кода