от компании (организации): Intel Corporation в городе (населённом пункте): Москва, Россия
в отрасли экономики "Информационные технологии, интернет, телеком" → "Тестирование"
с заработной платой: по договоренности
Вакансия № 4508572 добавлена в базу данных сайта Работа в Москве и Московской области (МО, Подмосковье): Суббота, 24 августа 2024 года.
Дата обновления вакансии № 4508572 на сайте Работа в Москве и Московской области (МО, Подмосковье): Вторник, 24 сентября 2024 года.
Обращаем Ваше внимание, что на момент обращения к работодателю вакансия № 4508572 может быть уже занята. Администрация сайта Работа в Москве и Московской области (МО, Подмосковье) приносит извинения за доставленные неудобства.
Требования к опыту работы:
3–6 лет
Тип занятости:
полная занятость
График работы:
полный день
Дополнительные сведения о вакансии: Formal Verification Engineer
Job Description
We are looking for engineer/researcher with experience in Formal Verification.
We are offering the chance to become part of a dedicated team that will apply formal to Intel IP. You will have an opportunity to influence design & verification decisions. The role entails investigating, crafting, developing and deploying new Formal Verification techniques on live project. You must be capable of leading the formal verification effort, coordinating verification coverage across functional groups, and clearly conveying verification results to our team.
Qualifications
Requirements:
- MS/PhD in Computer Science, Information Systems, Electrical Engineering or the equivalent in experience or evidence of exceptional ability
- Ability to tolerate ambiguity and influence decision making in a highly complex environment
Preferred Requirements:
- Knowledge of dynamic validation techniques and ability to switch between formal and dynamic methods as needed
- Excellent interpersonal skills
Expertise/Knowledge:
- Derivatives of Hoare logic SW formal verif. via pre/post conditions / experience of using such tools as GNATProve, Frama-C etc. Automatic theorem provers Coq, Isabelle/HOL etc. 5+ years work experience in a software development or test organization
- Compiler Domain Expertise: You should have an understanding of how compilers work and how compilers are implemented
Programming Languages:
- Programming and/or testing in C and/or C++ as well as scripting languages
Откликнуться на эту вакансию: Formal Verification Engineer
Предыдущая вакансия:
Вакансия № 4508570 на должность Python developer in test от компании Acronis в городе (населенном пункте) Москва