Ingeniero de Investigación Senior (Métodos Formales)

¿Eres un investigador o ingeniero interesado en aplicar métodos formales a sistemas distribuidos a gran escala? Buscamos personas apasionadas por trabajar en problemas que se encuentran en la intersección de la investigación académica y la práctica industrial aplicada en métodos formales. Esta es una oportunidad única para unirse a un nuevo equipo y jugar un papel clave en la forma en que estas herramientas y técnicas se aplicarán en toda la organización Cloud y en la industria en general.

El Laboratorio de Confiabilidad de la Nube en el centro de investigación de Huawei en Irlanda tiene la misión de aportar una confiabilidad de clase mundial a Huawei Cloud resolviendo problemas transversales que abarcan Hardware, Software, Redes, Monitoreo y Operaciones. Tenemos equipos trabajando en todas estas áreas con una diversa mezcla de personas, incluyendo veteranos de la industria, investigadores académicos e internos estudiantes de doctorado. En tu rol, colaborarás con los equipos de investigación locales, otros centros de investigación europeos y otros equipos de ingeniería repartidos por todo el mundo.

Responsabilidades:

• Ejecución independiente de proyectos y corrientes de trabajo en el equipo. Un ejemplo de tal proyecto podría ser el desarrollo de un modelo TLA+ para verificar los invariantes de transacción en una base de datos distribuida.
• Investigación de problemas técnicos profundos y formulación de soluciones. Un ejemplo de tal problema podría ser el diagnóstico de un error sutil de concurrencia en la especificación de un algoritmo de consenso.
• Mantenerse al día con la última investigación sobre métodos formales y actualizar su conocimiento personal de herramientas, algoritmos y técnicas de modelado.
• Mentoría y crecimiento de ingenieros junior o internos en tu equipo.
• Educación, documentación y formación a otros equipos que no se especializan en métodos formales.

Requisitos

• Doctorado o Maestría en Ciencias de la Computación o un campo relacionado.
• Experiencia escribiendo especificaciones formales en un lenguaje como TLA+ o PlusCal.
• Experiencia con Rust, Go, C++, Java, Python u otros lenguajes de programación.
• Sólida comprensión de las bases teóricas de los sistemas distribuidos.
• Conocimiento fundamental en una de las siguientes áreas: Semántica formal, lógica proposicional, lógica de orden superior, lógica temporal, resolución de SAT, resolución de SMT, Dafny, Boogie, P, Coq, HOL-light, Isabelle, o un área estrechamente relacionada.
• Opcional: Experiencia práctica trabajando con AWS, Azure, GCP u otros sistemas en la nube.

Beneficios

Consulta la vida en el Centro de Investigación de Huawei Irlanda https://www.youtube.com/watch?v=3gR64sYSnOA&feature=youtu.be

• Paquete salarial competitivo
• Espacio para el crecimiento personal a largo plazo
• Oportunidades para trabajar en iniciativas de alto perfil que impactan a toda la empresa
• Oportunidades para trabajar con las mentes más brillantes en ingeniería de software (incluyendo el Huawei Fellow y reconocidos profesores en el mundo)
• Un entorno de trabajo multicultural e internacional
• Trabajar para un líder mundial internacional, una empresa establecida pero aún en rápido crecimiento de Fortune 500

SÓLO LOS CANDIDATOS QUE PUEDAN VIVIR Y TRABAJAR EN IRLANDA SIN RESTRICCIÓN SERÁN CONSIDERADOS PARA ESTE PUESTO.

http://career.huawei.com/reccampportal/portal/hrd/weu_rec_all.html