Formal Verification Intern/Engineer

Вакансия № 22779224 в населенном пункте (городе) Москва, Россия от компании "HUAWEI" на сайте Электронный Центр Занятости Населения (ЦЗН) Москвы.

✷ Смотрите другие предложения работы от компании HUAWEI.

Уважаемый соискатель вакансий, Вы можете перейти на сайт прямого работодателя "HUAWEI" для ознакомления с информацией о компании (фирме, организации, ИП). Смотрите Веб-сайт "HUAWEI" - http://www.huawei.com/ru

Логотип (торговая марка, бренд, эмблема, внешний вид здания или внутренний интерьер офиса):

Организация работает в следующих сферах деятельности: Электроника, приборостроение, бытовая техника, компьютеры и оргтехника; Телекоммуникации, связь; .

Репутация компании "HUAWEI" в отзывах работников:

Читайте свежие отзывы сотрудников об этой организации на этом сайте.

Оставить мнение об этом работодателе без регистрации бесплатно на этом сайте.

Обязательное требование к опыту работы искомого сотрудника: не требуется.

График работы: полный день.

Тип занятости: полная занятость.

Вакансия № 22779224 добавлена в базу данных: Пятница, 29 августа 2025 года.

Дата обновления этого объявления: Четверг, 25 сентября 2025 года.

Вакансия № 22779224 прочитана - 100 раз(а) Отправлено откликов - 0 раз(а)

Работодатель предложит заработную плату по результатам собеседования с соискателем работы.

We are looking for software engineers to join the team working on System Software components for new Huawei Platform. Our main focus is research, development, and optimization of formal-verification methods. You'll feel right at home if you enjoy getting things done at the very core — on theorem proving, model checking, and plugins implementation, never stop learning, and ready for a position that is both challenging and rewarding.

What you’ll be doing?

• Maintain and develop the formal verification platform used for OS development.
• Design/modify/proof the formal verification algorithms.
• Implement verification plugins and compiler plugins to scale the verification framework in different business scenarios, especially operating system kernels.
• Learn all the time. The company encourages attending international conferences and expects employees to stay on the cutting edge of technology.

What we expect from you?

• Undergraduate (for intern) BS/MS/postgraduate or PhD in Formal Methods or Computer Science.
• Familiar or proficient with one of the functional programming languages.
• Familiar with formal verification theory backgrounds and algorithms.
• Familiar or experienced with high-order logic theorem provers (Coq/Lean/Isabelle/Agda), SMT Solvers (Z3), Frama-C.
• Strong English writing and speaking skills (international company).

Working conditions and office location.

The company offers an excellent compensation for good candidates. We are ready to provide the best conditions for great software engineers. Our new office is right next to Smolenskaya metro station.

Разместить Ваше резюме сейчас ...

Связаться с автором объявления № 22779224 с предложением работы, размещённого на этой странице:

☎ Показать контактный телефон для связи ...

✉ Показать электронный адрес для связи ...

Написать в компанию ...

✉ Отправить резюме в организацию ...

☎ Позвонить работодателю ...