Applied Scientist, Automated Reasoning, EC2

¿Estás motivado por el desafío de aplicar verificación formal, análisis de programas, resolución de restricciones y demostración de teoremas para abordar problemas del mundo real? En Amazon EC2, estamos buscando un pionero para desarrollar productos que simplifiquen las experiencias de usuario, mejoren las medidas de seguridad y exhiban una corrección demostrada usando técnicas de Razonamiento Automatizado.

En este rol de gran impacto dentro de los equipos de EC2 y Redes de EC2, colaborarás con equipos internos y clientes externos para analizar y comprender sus necesidades de red. Tu experiencia será vital en el diseño de soluciones, la construcción de prototipos de software, y la transición de estos prototipos a sistemas operativos con la ayuda de prácticas robustas de desarrollo de software. Además, escalarás soluciones para hacer frente a las crecientes demandas de nuestros clientes. Esta posición también ofrece la oportunidad única de interactuar con la comunidad académica y contribuir publicando tu trabajo innovador.

Nuestro compromiso en AWS se extiende más allá del avance tecnológico para fomentar un lugar de trabajo inclusivo. Con más de 40,000 empleados participando en 190 capítulos a nivel mundial a través de nuestros grupos de afinidad, nuestros esfuerzos en inclusión son evidentes en todo lo que hacemos. Estamos orgullosos de nuestras iniciativas en curso como Conversaciones sobre Raza y Etnicidad (CORE) y AmazeCon, junto con una amplia gama de beneficios innovadores.

Ponemos un énfasis sustancial en mantener un equilibrio entre la vida laboral y personal. En Amazon, no se trata de la cantidad de horas que pasas en el trabajo o en casa, sino de crear un ritmo que infunda energía a tu vida. Con horarios flexibles de trabajo, te empoderamos para descubrir y establecer armonía entre tu vida profesional y personal.

Nuestro equipo está dedicado a nutrir a sus miembros, ofreciendo una mezcla de niveles de experiencia y antigüedad para fomentar un ambiente propicio para la mentoría. Los miembros sénior del equipo brindan mentoría personalizada y realizan revisiones de código a fondo y respetuosas. Priorizamos tu desarrollo profesional y alineamos proyectos que realcen tus habilidades y permitan abordar desafíos más complejos en el futuro.

Listo para innovar desde una de nuestras ubicaciones clave? Estamos abiertos a contratar candidatos para trabajar desde Minneapolis, MN, o Portland, OR.

• Doctorado en un campo relevante
• Proficiencia en lenguajes de programación como C/C++, Python, Java o Perl

• Experiencia con tecnologías y protocolos de red
• Experiencia con SMT (Satisfacibilidad Módulo Teorías)

Amazon es un empleador que ofrece igualdad de oportunidades, profundamente comprometido a fomentar un ambiente de diversidad e inclusión. No discriminamos basados en raza, nacionalidad, identidad de género, orientación sexual, discapacidad, edad u otro estado legalmente protegido. También proporcionamos acomodaciones para individuos con discapacidades (consulta nuestro sitio oficial para más detalles).

¿Estás listo para innovar y transformar la industria con nosotros? Aplica ahora y redefine el futuro con Amazon EC2.