Formal Verification Intern/Engineer

Вакансия № 22779224 от компании HUAWEI на Электронной Службе Занятости Населения Москвы.

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

☑ Основной блок:

Опыт работы: не требуется.

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

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

Зарплата: по результату собеседования.

Примерное место работы: Россия, Москва.

☑ Актуальность объявления:

Это объявление № 22779224 добавлено в базу данных: Четверг, 23 января 2025 года.

Дата его обновления на этом интернет-ресурсе: Воскресенье, 16 марта 2025 года.

☑ Статистика предложения работы № 22779224:

Прочитано соискателями - 97 раз(а);
Отправлено откликов - 0 раз(а);

☑ Репутация компании "HUAWEI":

Читайте свежие отзывы сотрудников об этом работодателе здесь!

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

☑ Подробности о вакантном месте:

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.