от компании (организации): HUAWEI в городе (населённом пункте): Москва, Россия
в отрасли экономики "Наука, образование" → "Информатика, информационные системы"
с заработной платой: по договоренности
Вакансия № 22779224 добавлена в базу данных сайта Работа в Москве и Московской области (МО, Подмосковье): Понедельник, 29 июля 2024 года.
Дата обновления вакансии № 22779224 на сайте Работа в Москве и Московской области (МО, Подмосковье): Суббота, 21 сентября 2024 года.
Обращаем Ваше внимание, что на момент обращения к работодателю вакансия № 22779224 может быть уже занята. Администрация сайта Работа в Москве и Московской области (МО, Подмосковье) приносит извинения за доставленные неудобства.
Требования к опыту работы:
не требуется
Тип занятости:
полная занятость
График работы:
полный день
Дополнительные сведения о вакансии: Formal Verification Intern/Engineer
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.
Откликнуться на эту вакансию: Formal Verification Intern/Engineer
Предыдущая вакансия:
Вакансия № 22779223 на должность Воспитатель от компании One International School в городе (населенном пункте) Москва