Staff Software Engineer - Autonomous Verification Platform

Автоматический пересказ вакансии на русском. Полный текст на языке оригинала и форма отклика — на сайте работодателя.

Инженер в команду Test and Verification (Developer Platform) в Uber. Задача — строить системы верификации backend-изменений и оценка качества тестов, в том числе для кода, сгенерированного AI-агентами.

Задачи

• Строить системы оценки качества backend-тестов за пределами покрытия: fault detection, mutation analysis, replay реальных исторических багов
• Проектировать сигналы, показывающие инженерам и агентам, какие тесты важны для изменения, надёжны и что означает падение
• Строить верификацию для AI-сгенерированного кода: независимая генерация тестов, поведенческая валидация, артефакты верификации для CI
• Определять оценку агентов, скиллов и валидаторов через golden datasets, replay багов и отслеживание регрессий по моделям и промптам
• Измерять доверие к сигналам верификации: как часто судьи и валидаторы совпадают с реальными исходами
• Снижать flakiness и делать падения actionable
• Определять и отслеживать метрики здоровья верификации (defect catch rate, flake rate)
• Формировать видение верификации в мире агентов: spec-driven development, независимая генерация тестов, доказательства верификации для CI
• Участвовать в техническом направлении команды: писать design docs, задавать стандарты, менторить инженеров, работать с CI, build и product командами

Требования

• Bachelor's degree in Computer Science или смежная область (или эквивалентный опыт)
• 8+ лет full-time опыта в software engineering
• Сильный опыт построения и эксплуатации backend распределённых систем
• Твёрдое знание алгоритмов, структур данных и system design
• Способность задавать техническое направление в неоднозначных высоковлияющих задачах
• Опыт поставки технической работы кросс-командой

Условия

• Базовая зарплата для San Francisco, CA: $232,000–$258,000 в год
• Базовая зарплата для Sunnyvale, CA: $232,000–$258,000 в год
• Бонусная программа, возможен equity award и другие виды компенсации
• Участие в 401(k)
• Различные бенефиты
• Гибридный формат: минимум 50% времени в офисе, если не одобрена полная удалёнка

Навыки

• Go
• Java
• Bazel
• CI
• mutation testing
• fault injection
• contract testing
• LLM
• AI agents
• distributed systems
• system design
• algorithms
• data structures