LINUX.ORG.RU
ФорумJob

Ищем математика-верификатора (Москва)

 


1

5

Продолжаю поиск уникальных людей. Очень нужен верификатор - поднимаем наши разработки на качественно новый уровень. Понятно что на лоре искать таких людей бессмысленно, но вдруг повезет.

Обязанности:

  • Построение моделей программ,
  • Формальная верификация кода, протоколов, интерфейсов,
  • Доказательство корректности реализации.

Требования:

  • Владение различными методами и инструментами верификации, в частности Isabelle/HOL
  • Опыт верификации ПО, например драйверов, протоколов
  • Навыки программирования на функциональных и/или процедурных языках
  • Научные публикации в реферируемых журналах

Условия:

  • Официальная заработная плата (после вычета налогов) – от 90 000 до 150 000, определяется по результатам собеседования;
  • Индексация заработной платы;
  • 13-ая зарплата" по итогам работы за год;
  • Опытный коллектив, широкие возможности профессионального роста;
  • Возможность повышения квалификации на различных курсах;
  • Возможность посещения тематических конференций в России и за рубежом;
  • Добровольное медицинское страхование (санчасть в 5 мин. пешком от работы);
  • Членство в спортивном клубе в 10 мин. пешком от работы;
  • Соблюдение ТК;
  • Офис в районе м. Марьина Роща

ВНИМАНИЕ! Вместе с откликом присылайте, пожалуйста, примеры верифицированного вами кода/моделей. Для связи - sartakov@ksyslabs.org Рассматриваются кандидаты только с релевантным опытом. Студенты - можем рассмотреть, но хотелось бы профессионала. Удаленка точно нет.

Нынче в ДС2 нормальный android-developer с легкостью 150 получает. 90 для ДС1 - совсем уж ниже рынка для человека с таким опытом и навыками.

g0t0 ()

Продолжаю поиск уникальных людей.

А что за фирма, дядя? Озвучте уже. Уникальных людей ищут АНБ, ФБР, МОССАД, МИ6 по всему миру. И компенсации там совсем другие, а не ваши сранные 150000 российских рублей.И страховки там такие - можно новые зубы и сиськи хоть каждый год вставлять.

sspzd ()

Продолжаю поиск уникальных людей.
Официальная заработная плата (после вычета налогов) – от 90 000 до 150 000

Понятно что на лоре искать таких людей бессмысленно

вот и шел бы ты отсюда дядя

shty ★★★★★ ()

Я не хочу показаться скрягой, но человек, обладающий указанными навыками и при этом не купившийся на одну из кучи вакансий, в которых предоставляются виза и переезд в чуть более дружелюбную страну, а вместо этого живущий в Москве и готовый работать за полтора-три килобакса и страховку в санчасти, является действительно уникальным.

hateyoufeel ★★★★★ ()
Ответ на: комментарий от hateyoufeel

Не, ну у нас минобрнауки предлагает гораздо более дефективные условия труда, может какой-нибудь профессор МГУ решит найти себя вне стен своей альма-матер.

dn2010 ★★★★★ ()
Ответ на: комментарий от hateyoufeel

Ну вдруг им получится поймать его на волне разочарования в науке, в этом году опять стали с грантами динамить, у нас четвёртый месяц зарплату грантовую не платят, а базовая минималка за ставку.

dn2010 ★★★★★ ()
Ответ на: комментарий от dn2010

Ну и вообще для подобных узких ниш на рынке достаточно сложно найти работу, у меня, например, дофига экспириенса в достаточно хитрой обработке изображений, но открытых вакансий под это дело только гнусмас с релокацией в Корею.

dn2010 ★★★★★ ()
Ответ на: комментарий от hateyoufeel

Интересная вакансия, но денег не очень много.

Алсо было бы интересно узнать, сколько получают «околопрограммисты» в столичных институтах РАН.

Студенты - можем рассмотреть

Ну может толкового студента смогут найти.

ymn ★★★★★ ()
Ответ на: комментарий от hateyoufeel

обладающий указанными навыками

честно говоря, любой программист должен уметь доказывать корректность кода(если конечно надо).

как любой архитектор проектирует дома, которые не разваливаются.

То ли дело, что обычно, некая корректность, «доказанная» в голове, плюс пара тестов и этого достаточно.

dimon555 ★★★★★ ()
Ответ на: комментарий от dimon555

честно говоря, любой программист должен уметь доказывать корректность кода

Вы путаете умение на польцах доказать коллеге что это решение вроде бы подходит под все кейсы и формальную верификацию. Это две совсем-совсем разные вещи.

g0t0 ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.