Senior Systems Engineer, Database

Мы тихо переосмысливаем то, как мир относится к надежности программного обеспечения, и мы только начинаем! В Antithesis мы начинаем с основ — мы запускаем полные программные системы в детерминированной симуляции и ломаем их всеми мыслимыми способами. Каждая проблема затем сопровождается идеальным воспроизведением, поэтому вы можете быстро выявить первопричины, вместо того чтобы тратить дни на попытки воссоздать то, что пошло не так.

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

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

О РОЛИ

Pangolin — это собственная база данных потоковой аналитики Antithesis — основа для того, как наши клиенты взаимодействуют со своими данными и понимают их. Она построена вокруг нативной древовидной структуры, которая масштабируется до более чем миллиарда узлов, поддерживает транзакции ACID и позволяет клиентам определять произвольно сложные запросы с помощью JavaScript UDF. Под капотом: разделенное хранение и вычисления, обработка на основе Lambda и хранение в S3 — современная архитектура, построенная с нуля, а не унаследованная. Она ежедневно обрабатывает и запрашивает терабайты клиентских данных, и делает это быстро. Если вы когда-либо читали об ограничении базы данных и думали, что это решаемая проблема, это место для вас.

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

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

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

• Создавать и развивать Pangolin, нашу собственную аналитическую базу данных — потоковую систему с древовидной структурой, ежедневно обрабатывающую терабайты клиентских данных
• Тесно сотрудничать с внутренними клиентами — включая команду ноутбуков/UI — для определения приоритетов, формирования дорожной карты и предоставления функций, которые делают исследование данных более быстрым и плавным
• Сотрудничать с более широкой командой инфраструктуры по вопросам развертывания, надежности и масштабирования
• Писать чистые, обоснованные проектные документы и вносить вклад в долгосрочное техническое направление системы

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

• Глубокое знание Rust; безопасный, производительный, идиоматичный код для вас — вторая натура
• Глубокие фундаментальные знания системного программирования — вы можете рассуждать о памяти, параллелизме и производительности, исходя из первых принципов
• Крепкие фундаментальные знания CS в области структур данных и алгоритмов, с привычкой решать сложные проблемы с нуля
• Сильный опыт бэкенд-разработки; вы работали с системами баз данных или рядом с ними и понимаете, что заставляет их работать — чем глубже, тем лучше
• Ориентированность на продукт: умение общаться с внутренними клиентами, преобразовывать нечеткие требования в конкретные приоритеты и отвечать за их выполнение

Компенсация: $170K - $250K в год

Мы работаем очно, потому что так мы строим доверие и вместе решаем сложные задачи.

Местоположение: Эта позиция предполагает 5-дневную работу в офисе в Вене, Вирджиния, или Сан-Франциско, Калифорния.