Ingénieur de Recherche Senior (Méthodes Formelles)

Êtes-vous un chercheur ou un ingénieur intéressé par l'application de méthodes formelles à des systèmes distribués à grande échelle ? Nous recherchons des personnes passionnées par les problèmes qui se situent à l'intersection de la recherche académique et de la pratique industrielle appliquée en méthodes formelles. C'est une chance unique de rejoindre une nouvelle équipe et de jouer un rôle clé dans la manière dont ces outils et techniques seront appliqués à travers toute l'organisation Cloud et dans l'industrie en général.

Le Cloud Reliability Lab du centre de recherche Huawei Irlande a pour mission d'apporter une fiabilité de classe mondiale au Cloud Huawei en résolvant des problèmes transversaux qui couvrent le matériel, le logiciel, le réseau, la surveillance et les opérations. Nous avons des équipes qui travaillent dans tous ces domaines avec un mélange diversifié de personnes, notamment des vétérans de l'industrie, des chercheurs universitaires et des stagiaires doctorants. Dans votre rôle, vous collaborerez avec les équipes de recherche locales, d'autres centres de recherche européens et d'autres équipes d'ingénierie réparties dans le monde entier.

Responsabilités:

• Exécution indépendante de projets et de flux de travail dans l'équipe. Un exemple d'un tel projet pourrait être le développement d'un modèle TLA+ pour vérifier les invariants de transaction dans une base de données distribuée.
• Investigation de problèmes techniques profonds et proposition de solutions. Un exemple d'un tel problème pourrait être le diagnostic d'un subtil bug de concurrence dans la spécification d'un algorithme de consensus.
• Mise à jour de vos connaissances personnelles sur les outils, les algorithmes et les techniques de modélisation avec les dernières recherches sur les méthodes formelles.
• Mentorat et développement des ingénieurs juniors ou des stagiaires de votre équipe.
• Éducation, documentation et formation pour d'autres équipes qui ne se spécialisent pas en méthodes formelles.

Exigences

• Doctorat ou Master en informatique ou dans un domaine connexe.
• Expérience de la rédaction de spécifications formelles dans une langue comme TLA+ ou PlusCal.
• Expérience avec Rust, Go, C++, Java, Python ou d'autres langages de programmation.
• Bonne compréhension des bases théoriques des systèmes distribués.
• Connaissances de base dans l'un des domaines suivants: sémantique formelle, logique propositionnelle, logique d'ordre supérieur, logique temporelle, résolution SAT, résolution SMT, Dafny, Boogie, P, Coq, HOL-light, Isabelle, ou un domaine étroitement lié.
• Optionnel: Expérience pratique de travail avec AWS, Azure, GCP ou d'autres systèmes de cloud.

Avantages

Consultez la vie au centre de recherche Huawei Irlande https://www.youtube.com/watch?v=3gR64sYSnOA&feature=youtu.be

• Salaire compétitif
• Espace de développement personnel à long terme
• Opportunités de travailler sur des initiatives à haut profil qui impactent l'ensemble de l'entreprise
• Opportunités de travailler avec les esprits les plus brillants en génie logiciel (y compris Huawei Fellow et des professeurs renommés dans le monde)
• Un environnement de travail multiculturel et international
• Travailler pour un leader mondial, une entreprise établie mais toujours en forte croissance dans le Fortune 500

SEULS LES CANDIDATS QUI PEUVENT VIVRE ET TRAVAILLER EN IRLANDE SANS RESTRICTION PEUVENT ÊTRE CONSIDÉRÉS POUR CE POSTE.

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