Больше информации по резюме будет доступно после регистрации
ЗарегистрироватьсяБыл более двух недель назад
Мужчина, 54 года, родился 14 марта 1972
Москва, не готов к переезду, готов к редким командировкам
Ведущий программист (Scala или Haskell), системный архитектор
350 000 ₽ на руки
Специализации:
- Программист, разработчик
Тип занятости: полная занятость, частичная занятость, проектная работа/разовое задание
Опыт работы 32 года 3 месяца
Май 2021 — Октябрь 2024
3 года 6 месяцев
Москва, l.tinkoff.ru/career.and.vacancies
Информационные технологии, системная интеграция, интернет... Показать еще
Scala-разработчик
Backend-разработка.
Rest, Kafka
Апрель 2018 — Май 2021
3 года 2 месяца
Waves Platform
Программист-разработчик
Scala, blockchain
Дизайн и реализация языка смарт-контрактов RIDE, исследование возможностей формальной верификации смартконтрактов с помощью TLA+ и других инструментов. Разработка узла распределенной сети блокчейна Waves.
Февраль 2015 — Апрель 2018
3 года 3 месяца
Adalisk
Москва
Программист
Scala, AWS.
Разработка микросервисов управления процессами производства зубных коронок. Разработка инструментов управления конфигурацией и развертывания микросервисов в облаке.
Работа с сервисами SQS, S3, EC2, Lambda
Ноябрь 2014 — Февраль 2015
4 месяца
Информационные технологии, системная интеграция, интернет... Показать еще
Программист
Разработка на C+ с использованием Qt.
Февраль 2013 — Ноябрь 2014
1 год 10 месяцев
Москва, www.i-teco.ru
Информационные технологии, системная интеграция, интернет... Показать еще
Системный архитектор
Архитектура системы поддержки бизнес-процессов.
Архитектура и разработка интранет-портала.
Архитектура системы учета нефти и нефтепродуктов.
Архитектура и реализация прототипа системы сбора данных по коммунальным платежам.
Разработка прототипов систем извлечения текста из web-страниц.
Использование языка Scala и SPARQL баз данных.
Сентябрь 2008 — Январь 2013
4 года 5 месяцев
Москва, www.jet.msk.su
Информационные технологии, системная интеграция, интернет... Показать еще
Программист
Сопровождение и разработка новых модулей систем СМАП (фильтрация почты на предмет утечек информации) и СКВТ (фильтрация web-трафика).
Язык Scheme (Racket).
Декабрь 2005 — Октябрь 2008
2 года 11 месяцев
Москва
Системный архитектор
Архитектура и разработка потактовых моделей микроэлектронных устройств.
Разработка тестов для компонентов SoC.
Языки Haskell, C++ (с библиотекой SystemC), немного Erlang.
Октябрь 2003 — Декабрь 2005
2 года 3 месяца
Москва, www.kaspersky.ru
Информационные технологии, системная интеграция, интернет... Показать еще
Системный архитектор
Архитектура и разработка системы reverse engineering.
Сопровождение антивируса на Novell Netware.
Июль 2002 — Октябрь 2003
1 год 4 месяца
ООО СВ софт МФТИ
Долгопрудный (Московская область)
Программист
Разработка системы виртуализации для FreBSD.
Архитектура и разработка системы управления кластером для хостинг-провайдеров.
Май 2000 — Июнь 2002
2 года 2 месяца
ООО Русский экспресс
программист
Разработка различных сетевых (не только web) и мобильных сервисов, в частности доступ к почте на chat.ru через WAP.
Разработка и сопровождение ядра FreeBSD (в основном unionfs и jail).
Февраль 1999 — Апрель 2000
1 год 3 месяца
Интернет-агентство .DOT
Web-программист
Разработка процессора шаблонов и CMS на языке Perl.
Администрирование web-сервера под FreeBSD.
Август 1998 — Февраль 1999
7 месяцев
Главагентство ГА
Москва
Системный администратор
Администрирование серверов под FreeBSD (почта, web-сервер, DNS, маршрутизация).
Разработка шлюза из интернета в систему проверки наличия авиабилетов.
Октябрь 1997 — Май 1998
8 месяцев
ЗАО АвиаСТЭП
Москва
Системный администратор
Администрирование сети компьютеров, со специализацией на компьютерах SGI.
Разработка и сопровождение комплекса программ для проведения собрания акционеров (SunOS interactive, shell, awk, C).
Июнь 1992 — Сентябрь 1997
5 лет 4 месяца
в/ч 64829
Москва
программист
Защита информации
Навыки
Уровни владения навыками
Продвинутый уровень
Средний уровень
Базовый уровень
Обо мне
Интересы: онтологии, биоинформатика, анализ данных, робототехника, моделирование систем, языки программирования, теория категорий, теория типов, системная инженерия, формальная верификация, смартконтракты, blockchain.
Образование
Среднее образование
Знание языков
Повышение квалификации, курсы
2012
Школа Анализа Данных, отделение Биоинформатика
Яндекс, ИППИ РАН, Биоинформатика
Гражданство, время в пути до работы
Гражданство: Россия
Разрешение на работу: Россия
Желательное время в пути до работы: Не имеет значения
