Продолжаю поиск уникальных людей. Очень нужен верификатор - поднимаем наши разработки на качественно новый уровень. Понятно что на лоре искать таких людей бессмысленно, но вдруг повезет.
Обязанности:
- Построение моделей программ,
- Формальная верификация кода, протоколов, интерфейсов,
- Доказательство корректности реализации.
Требования:
- Владение различными методами и инструментами верификации, в частности Isabelle/HOL
- Опыт верификации ПО, например драйверов, протоколов
- Навыки программирования на функциональных и/или процедурных языках
- Научные публикации в реферируемых журналах
Условия:
- Официальная заработная плата (после вычета налогов) – от 90 000 до 150 000, определяется по результатам собеседования;
- Индексация заработной платы;
- 13-ая зарплата" по итогам работы за год;
- Опытный коллектив, широкие возможности профессионального роста;
- Возможность повышения квалификации на различных курсах;
- Возможность посещения тематических конференций в России и за рубежом;
- Добровольное медицинское страхование (санчасть в 5 мин. пешком от работы);
- Членство в спортивном клубе в 10 мин. пешком от работы;
- Соблюдение ТК;
- Офис в районе м. Марьина Роща
ВНИМАНИЕ! Вместе с откликом присылайте, пожалуйста, примеры верифицированного вами кода/моделей. Для связи - sartakov@ksyslabs.org Рассматриваются кандидаты только с релевантным опытом. Студенты - можем рассмотреть, но хотелось бы профессионала. Удаленка точно нет.
