Job expired!
Are you a researcher or engineer interested in applying formal methods to large scale distributed systems? We are looking for individuals who are passionate about addressing problems at the intersection of academic research and formal methods in applied industrial practice. This is a unique opportunity to join a new team and play a crucial role in shaping how these tools and techniques will be used across the entire Cloud organization and wider industry.
The Cloud Reliability Lab at the Huawei Ireland Research centre aims to bring world-class reliability to Huawei Cloud by solving cross-functional problems spanning Hardware, Software, Networking, Monitoring and Operations. Our diverse team comprises industry veterans, academic researchers, and Ph.D. student interns, working in all these areas. In your role, you will collaborate with local research teams, other European research centres, and engineering teams distributed globally.
Responsibilities:
- Independently executing projects and workstreams within the team. An example of such a project could be developing a TLA+ model to validate transaction invariants in a distributed database.
- Investigating complex technical problems and devising solutions. An example could be diagnosing a subtle concurrency bug in a consensus algorithm's specification.
- Staying current with the latest research on formal methods and continuously updating your personal knowledge of tools, algorithms, and modelling techniques.
- Mentoring and nurturing junior engineers or interns in your team.
- Educating, documenting and training other teams that don’t specialize in formal methods.
Requirements:
- Ph.D. or Master’s degree in Computer Science or a related field.
- Experience in writing formal specifications in a language like TLA+ or PlusCal.
- Proficiency with Rust, Go, C++, Java, Python or other programming languages.
- Strong understanding of the theoretical foundations of distributed systems.
- Foundational knowledge in areas such as Formal semantics, propositional logic, higher-order logic, temporal logic, SAT solving, SMT solving, Dafny, Boogie, P, Coq, HOL-light, Isabelle, or a closely related area.
- Optional: Practical experience working with AWS, Azure, GCP or other cloud systems.
Benefits:
- Competitive salary package.
- Long-term personal growth potential.
- Opportunities to work on high-profile initiatives impacting the entire company.
- Engage with the brightest minds in software engineering (including Huawei Fellow and renowned professors worldwide).
- A multicultural, international working environment.
- Employment with an established yet rapidly growing Fortune 500 international leader.
ONLY CANDIDATES WHO CAN LIVE AND WORK IN IRELAND WITHOUT RESTRICTIONS WILL BE CONSIDERED FOR THIS POSITION. DUE TO THE HIGH VOLUME OF APPLICATIONS, ONLY CANDIDATES SHORTLISTED FOR INTERVIEW WILL BE CONTACTED.
