Formal Verification Intern/Engineer

Вакансия № 1-22779224 в городе (населенном пункте) Москва от работодателя "HUAWEI" на сайте www.RABOTKA.com.ru "Агрегатор вакансий".

Город, регион, страна: Москва, Россия (населённый пункт) места работы.

Смотрите другие свежие вакансии в городе (регионе) Москва

Компания: HUAWEI (организация, фирма, ИП);

Логотип (бренд, торговая марка, эмблема) компании (организации, фирмы, ИП):

Репутация работодателя 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.

Вакансия № 1-22779224 относится к сфере деятельности: "Наука, образование" » "Информатика, информационные системы".

Вы можете перейти к просмотру актуальных предложений работы выбранного населенного пункта с учетом сферы деятельности вакансии № 1-22779224: "Наука, образование в населенном пункте текущего места труда" » "Информатика, информационные системы в населенном пункте текущего места труда".

Контакты работодателя / Смотреть детально...
(Переходите на веб-страницу сайта-партнёра «Центр Занятости Населения (электронный)» с вакансией № 1-22779224 на должность "Formal Verification Intern/Engineer" в городе (населенном пункте, регионе, стране) Москва, Россия, где находится телефон, Telegram, Skype, Viber, WhatsApp, E-mail, адрес работодателя "HUAWEI")