Software Engineer (Backend, Scala, Distributed Systems)

☑ Основной блок:

Опыт работы: 3–6 лет.

Тип занятости: полная занятость.

График работы: удаленная работа.

Зарплата: от 5000 до 8000 USD.

Примерное место работы: Россия, Москва.

☑ Актуальность объявления:

Это объявление № 4105678 добавлено в базу данных: Вторник, 18 февраля 2025 года.

Дата его обновления на этом интернет-ресурсе: Воскресенье, 16 марта 2025 года.

☑ Репутация компании "ИП Fluence Labs Ltd":

Читайте свежие отзывы сотрудников об этом работодателе здесь!

Оставить своё мнение об этой компании можно тут без регистрации и бесплатно.

☑ Подробности о вакантном месте:

Мы в Fluence работаем над децентрализованной базой данных и ищем бэкенд инженера, который сможет не только писать код на Scala, но и читать исследовательские статьи в области, реализовывать их, придумывать новое и публиковать свои результаты.

Чем придется заниматься?

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

– (Byzantine Fault Tolerant) консенсус в распределенной сети. Про это можно почитать, например, статьи про Tendermint (https://tendermint.com/static/docs/tendermint.pdf), HoneyBadgerBFT (https://eprint.iacr.org/2016/199.pdf) и Hyperledger Fabric (https://arxiv.org/pdf/1709.06921.pdf).

– Peer-to-peer роутинг и distributed hash tables. Можно почитать про Kademlia (https://pdos.csail.mit.edu/~petar/papers/maymounkov-kademlia-lncs.pdf) и S/Kademlia для недоверенной сети (http://www.spovnet.de/files/publications/SKademlia2007.pdf). Еще есть https://libp2p.io/, которую есть мысли использовать или реализовать с нуля на Scala.

– Web Assembly, GraalVM и прочие виртуальные машины. Их планируется использовать совместно с верификацией вычислений на недоверенных машинах. Про такую верификацию, например, можно почитать в статье от TrueBit (https://people.cs.uchicago.edu/~teutsch/papers/truebit.pdf)

– Verifiable data structures. Такие структуры данных, которые на запрос могут вместе с результатами выдать доказательство, что недоверенная машина не подменила данные. Статьи: https://www.continusec.com/static/VerifiableDataStructures.pdf и Baloon (https://eprint.iacr.org/2015/007.pdf).

– Поиск по зашифрованным данным. Несколько классных статей: https://people.csail.mit.edu/nickolai/papers/popa-mope-eprint.pdf и https://eprint.iacr.org/2016/591.pdf

– Распределенные системы. Можно посмотреть на Designing Data-Intensive Applications от Martin Kleppmann (https://dataintensive.net/) и блог Aphyr’а (https://aphyr.com/tags/jepsen).

– Zero Knowledge Proofs. Как Alice доказать проверяющему, что Alice знает X, без раскрытия этого самого X. Неплохое введение про zkSNARKs – https://blog.ethereum.org/2016/12/05/zksnarks-in-a-nutshell/.

Требования к работнику:

Scala желательна, хотя мы верим, что хороший инженер может довольно быстро с ней разобраться не имея опыта, и не испугается аппликативных функторов и моноидов. (Там интересно и несложно, если потратить время. Мы используем typelevel stack: cats, monix и т.д.

Также хорошо бы иметь какие-то распределенные системы / биг дата процессинг в анамнезе, вроде Cassandra, Spark, Kafka или Druid.

Уметь в алгоритмы и структуры данных тоже важно.

Результаты публиковать нужно будет на английском, так что желателен хотя бы intermediate уровень (финальные пруфридинг и редактура будут выполнены носителями языка, поэтому advanced/fluent уровень необязателен).

Город
Мы децентрализованы, так что это удаленная работа.
Если вы в Москве, Перми, Краснодаре или Самаре – то будет компания из еще одного инженера.

Компания
Сейчас у нас 8 человек, из них 5 инженеров/ресерчеров. Работаем чуть меньше года, практически весь код (кроме внутренних экспериментов) выкладываем в открытый доступ.

Еще можно почитать нашу февральскую публикацию и посмотреть рассказ про трудности на CodeFest.

☑ О компании:

Логотип (эмблема, торговая марка, бренд) компании:

Сфера деятельности компании: Информационные технологии, системная интеграция, интернет; .

☑ Отклинуться сообщением, резюме, запросить телефон, отправить жалобу (претензию):