Applied Scientist, Automated Reasoning, EC2

Czy motywuje Cię wyzwanie stosowania weryfikacji formalnej, analizy programów, rozwiązywania ograniczeń i dowodzenia twierdzeń do rozwiązywania problemów ze świata rzeczywistego? W Amazon EC2 szukamy pioniera do rozwijania produktów, które upraszczają doświadczenia użytkowników, zwiększają środki bezpieczeństwa i mogą pochwalić się udowodnioną poprawnością przy użyciu technik Automated Reasoning.

W tej wpływowej roli w zespołach EC2 i EC2 Networking będziesz współpracować zarówno z zespołami wewnętrznymi, jak i zewnętrznymi klientami, aby analizować i rozumieć ich potrzeby sieciowe. Twoja wiedza fachowa będzie kluczowa w projektowaniu rozwiązań, budowaniu prototypów oprogramowania i przechodzeniu tych prototypów do operacyjnych systemów przy pomocy solidnych praktyk programistycznych. Ponadto, będziesz skalować rozwiązania, aby sprostać rosnącym wymaganiom naszych klientów. Stanowisko to oferuje również unikalną możliwość zaangażowania się w społeczność akademicką i wkładu poprzez publikowanie swoich przełomowych prac.

Nasze zaangażowanie w AWS wykracza poza postęp technologiczny, obejmując także tworzenie inkluzjyjnego miejsca pracy. Z ponad 40 000 pracowników uczestniczących w 190 rozdziałach na całym świecie przez nasze grupy powinowactwa, nasze wysiłki na rzecz inkluzji są widoczne we wszystkim, co robimy. Jesteśmy dumni z naszych bieżących inicjatyw, takich jak Conversations on Race and Ethnicity (CORE) i AmazeCon, w połączeniu z szeroką gamą innowacyjnych korzyści.

Kładziemy znaczny nacisk na utrzymanie równowagi między pracą a życiem prywatnym. W Amazon nie chodzi o liczbę godzin spędzanych w pracy lub w domu, ale o stworzenie rytmu, który zasila Twoje życie energią. Dzięki elastycznym godzinom pracy, dajemy Ci moc odkrywania i ustalania harmonii między Twoim życiem zawodowym a prywatnym.

Nasz zespół jest zaangażowany w pielęgnowanie swoich członków, oferując mieszankę poziomów ekspertyzy i stażu pracy, aby stworzyć środowisko sprzyjające mentorstwu. Starsi członkowie zespołu zapewniają spersonalizowane mentoring i prowadzą dogłębne i pełne szacunku recenzje kodu. Priorytetem dla nas jest Twój rozwój zawodowy, dopasowujemy projekty, które poprawiają Twoje umiejętności i pozwalają stawić czoła bardziej złożonym wyzwaniom w przyszłości.

Jesteś gotowy do innowacji z jednej z naszych kluczowych lokalizacji? Jesteśmy otwarci na kandydatów do pracy z Minneapolis, MN, lub Portland, OR.

• Doktorat w odpowiedniej dziedzinie
• Znajomość języków programowania takich jak C/C++, Python, Java lub Perl

• Doświadczenie z technologiami i protokołami sieciowymi
• Doświadczenie z SMT (Satisfiability Modulo Theories)

Amazon jest pracodawcą zapewniającym równouprawnienie, głęboko zaangażowanym w tworzenie środowiska pełnego różnor