Senior Backend Engineer

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

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

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

Команда Platform – это машинное отделение Antithesis — мы владеем инфраструктурой, сервисами и инструментами, которые находятся в основе продукта. Как старший Backend-инженер здесь, вы не будете поддерживать чужие абстракции. Вы будете проектировать их с нуля, владеть ими от начала до конца, по всему стеку: от необработанных бинарных форматов и уплотнения блоков до внешних API, от которых зависят наши клиенты. Корректность и производительность здесь не являются желательными дополнениями — они являются самой работой.

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

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

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

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

Местоположение: Эта позиция находится в офисе в Вене, Вирджиния.