Applied Scientist, Automated Reasoning, EC2

Чи мотивує вас виклик застосування формальної верифікації, аналізу програм, розв’язання обмежень та доведення теорем для вирішення реальних проблем? У Amazon EC2 ми шукаємо піонера для розробки продуктів, які спрощують користувацький досвід, покращують заходи безпеки і забезпечують доведену коректність за допомогою методів Автоматизованого Резонування.

У цій впливовій ролі в рамках команд EC2 та EC2 Networking ви будете співпрацювати як з внутрішніми командами, так і з зовнішніми клієнтами, щоб аналізувати та розуміти їхні потреби в мережевих технологіях. Ваша експертиза буде життєво важливою при проектуванні рішень, створенні програмних прототипів і переході цих прототипів у оперативні системи за допомогою міцних практик розробки програмного забезпечення. Крім того, ви будете масштабувати рішення, щоб задовольняти зростаючі потреби наших клієнтів. Ця посада також надає унікальну можливість спілкуватися з академічною спільнотою та зробити внесок, публікуючи свої проривні роботи.

Наше зобов'язання в AWS виходить за рамки технологічного прогресу, ми прагнемо створювати інклюзивне робоче місце. З понад 40,000 працівників, які беруть участь у 190 розділах по всьому світу через наші групи спільного співчуття, наші зусилля в інклюзії видні у всьому, що ми робимо. Ми пишаємося нашими постійними ініціативами, такими як Бесіди про Расу та Етнічну Приналежність (CORE) та AmazeCon, на додаток до широкого спектру інноваційних переваг.

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