от компании (организации): HUAWEI в городе (населённом пункте): Москва, Россия
в отрасли экономики "Наука, образование" → "Математика"
с заработной платой: по договоренности
Вакансия № 15262003 добавлена в базу данных сайта Работа в Москве и Московской области (МО, Подмосковье): Понедельник, 9 сентября 2024 года.
Дата обновления вакансии № 15262003 на сайте Работа в Москве и Московской области (МО, Подмосковье): Понедельник, 23 сентября 2024 года.
Обращаем Ваше внимание, что на момент обращения к работодателю вакансия № 15262003 может быть уже занята. Администрация сайта Работа в Москве и Московской области (МО, Подмосковье) приносит извинения за доставленные неудобства.
Требования к опыту работы:
не требуется
Тип занятости:
полная занятость
График работы:
полный день
Дополнительные сведения о вакансии: Formal Verification Intern/engineer
Formal Verification Intern/full-time engineer
Scope of work:
- 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.
Skills and Qualifications:
- Undergraduate (for intern) BS/MS/postgraduate or PhD in Formal Methods or Computer Science.
- Familiar of 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.
Откликнуться на эту вакансию: Formal Verification Intern/engineer
Предыдущая вакансия:
Вакансия № 15261994 на должность Менеджер проектов 1С БУС от компании Первый Бит в городе (населенном пункте) Москва