Applied Scientist, Automated Reasoning, EC2

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

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

Наша приверженность в AWS простирается за пределы технологического прогресса до создания инклюзивного рабочего места. Более 40,000 сотрудников, участвующих в 190 главах по всему миру через наши группы схожести, наши усилия в инклюзивности видны во всем, что мы делаем. Мы гордимся нашими текущими инициативами, такими как Беседы о расе и этничности (CORE) и AmazeCon, наряду с широким спектром инновационных льгот.

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

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

Готовы инновировать из одного из наших ключевых мест? Мы открыты для найма кандидатов для работы из так