Applied Scientist, Automated Reasoning, EC2

Êtes-vous motivé par le défi d'appliquer la vérification formelle, l'analyse de programme, la résolution de contraintes et la démonstration de théorèmes pour adresser des problèmes réels ? Chez Amazon EC2, nous recherchons un pionnier pour développer des produits qui simplifient l'expérience utilisateur, renforcent les mesures de sécurité et vantent une correction prouvée en utilisant des techniques de Raisonnement Automatisé.

Dans ce rôle impactant au sein des équipes EC2 et EC2 Networking, vous collaborerez avec des équipes internes et des clients externes pour analyser et comprendre leurs besoins en matière de réseautage. Votre expertise sera vitale pour concevoir des solutions, construire des prototypes de logiciels et transitionner ces prototypes en systèmes opérationnels avec l'aide de pratiques de développement logiciel robustes. De plus, vous élargirez les solutions pour répondre à la demande croissante de nos clients. Ce poste offre également l'opportunité unique de s'engager avec la communauté académique et de contribuer en publiant votre travail révolutionnaire.

Notre engagement chez AWS s'étend au-delà de l'avancement technologique pour favoriser un lieu de travail inclusif. Avec plus de 40 000 employés participant à 190 chapitres à travers le monde via nos groupes d'affinité, nos efforts en matière d'inclusion sont évidents dans tout ce que nous faisons. Nous sommes fiers de nos initiatives en cours telles que les Conversations sur la Race et l'Ethnicité (CORE) et AmazeCon, couplées à un large éventail d'avantages innovants.

Nous accordons une importance considérable au maintien d'un équilibre entre vie professionnelle et vie privée. Chez Amazon, il ne s'agit pas du nombre d'heures que vous passez au travail ou à la maison, mais de créer un rythme qui insuffle de l'énergie dans votre vie. Avec des horaires de travail flexibles, nous vous donnons le pouvoir de découvrir et d'établir l'harmonie entre votre vie professionnelle et personnelle.

Notre équipe est dédiée à cultiver ses membres, offrant un mélange de niveaux d'expertise et d'ancienneté pour favoriser un environnement propice au mentorat. Les membres seniors de l'équipe fournissent un mentorat personnalisé et effectuent des revues de code approfondies et respectueuses. Nous priorisons votre développement de carrière et alignons des projets qui améliorent vos compétences et vous permettent de relever des défis plus complexes à l'avenir.

Prêts à innover depuis l'un de nos sites clés ? Nous sommes ouverts à l'embauche de candidats pour travailler depuis Minneapolis, MN, ou Portland, OR.

• Doctorat dans un domaine pertinent
• Compétence dans des langages de programmation tels que C/C++, Python, Java ou Perl

• Expérience avec les technologies et protocoles de réseautage
• Expérience avec SMT (Satisfiability Modulo Theories)

Amazon est un employeur offrant l'égalité des chances, profondément engagé à créer un environnement de diversité et d'inclusion. Nous ne faisons pas de discrimination basée sur la race, la nationalité, l'identité de genre, l'orientation sexuelle, le handicap, l'âge, ou tout autre statut protégé par la loi. Nous fournissons également des accommodations pour les personnes handicapées (voir notre site officiel pour les détails).

Êtes-vous prêt à innover et transformer l'industrie avec nous ? Postulez maintenant et redéfinissez l'avenir avec Amazon EC2.