Используем cookie для работы сайта и статистики. «Хорошо» разрешит ещё и запись сессий.
Antithesis
Лондон, Великобритания8 месяцев назад
140 000 – 170 000 GBP
в год
Грейд
Senior
Формат работы
Офис
Тип занятости
Полная занятость
Уровень английского
B2, выше среднего
Письмо на почту или сообщение рекрутеру в Telegram
Мы тихо переосмысливаем то, как мир думает о надежности программного обеспечения, и только начинаем! В Antithesis мы начинаем с основ – мы запускаем целые программные системы в детерминированной симуляции и ломаем их всеми мыслимыми способами. Каждая проблема затем сопровождается идеальным воспроизведением, поэтому вы можете быстро определить первопричины, а не тратить дни на попытки воссоздать то, что пошло не так.
Рост количества кода, генерируемого ИИ, сделал эту работу как никогда актуальной. Агенты могут писать код быстрее любого человека, но скорость не имеет большого значения, когда результат содержит ошибки, застрял в процессе проверки или проскользнул незамеченным. Узкое место в верификации реально, оно растет, и его устранение является одной из самых важных проблем в разработке программного обеспечения прямо сейчас. Над этим вы и будете работать.
Мы хорошо финансируемся и глубоко техничны – то самое место, где самые сложные проблемы получают наибольшее внимание, а лучшие идеи побеждают независимо от того, кто их выдвинул. Если вы хотите делать работу, которая действительно меняет представление о том, насколько надежным может быть программное обеспечение, читайте дальше.
О роли
Мы ищем инженеров уровня Senior до Staff для создания будущего автономного тестирования. Независимо от вашей конкретной области опыта, если вы амбициозно создавали сложное программное обеспечение и думаете, что могли бы подойти;
Наша команда включает выпускников CS, философов, математиков и всех, кто находится между ними, или вообще без формального образования. Что объединяет всех – это высокая планка качества инженерии. Мы работаем вместе лично, потому что так мы строим доверие и вместе решаем сложные проблемы.
В этой роли вы будете частью команды, которая поддерживает наш open-source проект Bombadil. Это включает работу со спецификационным языком и верификатором, автоматизацией Chromium, продвинутым property-based тестированием, фронтенд-разработкой и многим другим.
Уверенное владение Rust
Опыт в property-based тестировании или фаззинге
Опыт работы с веб-технологиями (браузеры, HTTP, HTML, Javascript, CSS)
Кандидаты должны быть уполномочены работать в соответствующей стране без текущих или будущих требований к спонсорству.
Chrome Devtools Protocol, Playwright, Cypress или Selenium
Формальные спецификационные языки (например, TLA+ или LTL)
Реализация парсеров, систем типов и интерпретаторов
Вознаграждение: £140 000 - £170 000 в год
Местоположение: Эта позиция предполагает полную занятость в офисе в Лондоне, Великобритания.
Визовая поддержка: Мы не можем предоставить визовую поддержку или помощь с иммиграцией для этой позиции.
Compensation: £140K - £170K per year
About Antithesis
We've been quietly reinventing how the world thinks about software reliability, and we're just getting started! At Antithesis, we start at the foundations – we run entire software systems inside a deterministic simulation and break them in every way imaginable. Every issue then comes with a perfect reproduction, so you can identify root causes fast instead of spending days trying to recreate what went wrong.
The rise of AI-generated code has made this work more urgent than ever. Agents can write code faster than any human, but speed doesn't matter much when the output is buggy, stuck in review, or slipping through undetected. The verification bottleneck is real, it's growing, and solving it is one of the most consequential problems in software right now. That's what you'd be working on.
We're well-funded and deeply technical, the kind of place where the hardest problems get the most attention and the best ideas win regardless of who has them. If you want to do work that actually moves the needle on how reliable software can be, keep reading.
About the Role
We're looking for engineers in the Senior to Staff levels to build the future of autonomous testing. No matter your particular field of experience, if you've been ambitiously building complex software and think you could be a fit; drop us a note.
In this role you will be part of the team that maintains our open-source project Bombadil. This includes working with the specification language and verifier, Chromium automation, advanced property-based testing, frontend development, and much more.
Must have for this role:
Proficient in Rust development
Experience with property-based testing or fuzzing
Comfortable with web technology (browsers, HTTP, HTML, Javascript, CSS)
Experience that would be a plus:
Chrome Devtools Protocol, Playwright, Cypress, or Selenium
Formal specification languages (e.g. TLA+ or some LTL)
Implementing parsers, type systems, and interpreters
About Our Team
Our team spans CS degrees, philosophy, mathematics, and everything in between, or nothing formal at all. What everyone shares is a high bar for engineering quality. We work in-person because it's how we build trust and tackle hard problems together.
Location: This position is full time in the office in London, UK.
Visa Sponsorship: We are unable to provide visa sponsorship or immigration support for this position. Candidates must be authorized to work in the applicable country without current or future sponsorship requirements.
Сравним навыки, грейд, формат работы и зарплату
Чаще всего от 121 000 до 146 000
