Beta
NextResu.me
Upload a resume screenshot or PDF/Word file.
File size can not exceed 5M
Resume optimization.
The first 1,000 reservations can experience for free.
✔ subscribed
Job information
Are you a researcher or engineer interested in applying formal methods to large scale distributed systems? We are looking for people who are passionate about working on problems that lie at the intersection of academic research and applied industrial practice in formal methods. This is a unique chance to join a new team and play a key role in shaping how these tools and techniques will be applied across the entire Cloud organization and in the wider industry. The Cloud Reliability Lab at the Huawei Ireland Research center has a mission to bring world class reliability to Huawei Cloud by solving cross-functional problems that span Hardware, Software, Networking, Monitoring and Operations. We have teams working in all these areas with a diverse mix of people including industry veterans, academic researchers, and Ph.D. student interns. In your role, you will collaborate with the local research teams, other European research centers, and other engineering teams spread across the globe.Responsibilities: Independent execution of projects and workstreams in the team. An example of such a project could be the development of a TLA+ model to verify transaction invariants in a distributed database. Investigating deep technical problems and coming up with solutions. An example of such a problem could be diagnosing a subtle concurrency bug in the specification of a consensus algorithm. Keeping up with the latest research on formal methods and updating your personal knowledge of tools, algorithms and modelling techniques. Mentoring and growing junior engineers or interns in your team. Education, documentation and training to other teams who don’t specialize in formal methods. Requirements Ph.D. or Master’s degree in Computer Science or a related field. Experience writing formal specifications in a language like TLA+ or PlusCal. Experience with Rust, Go, C++, Java, Python or other programming languages. Strong understanding of the theoretical basics of distributed systems. Foundational knowledge in one of the following: 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: Hands-on experience working with AWS, Azure, GCP or other cloud systems. BenefitsCheck out Life at Huawei Ireland Research Centre https://www.youtube.com/watch?v=3gR64sYSnOA&feature=youtu.be Competitive salary package Long-term personal growth space Opportunities to work on high profile initiatives that impact the whole company Opportunities to work with the brightest minds in software engineering (including Huawei Fellow and renowned professors in the world) A multi-cultural, international working environment Work for an international world leader, an established yet still rapidly growing Fortune 500 company ONLY CANDIDATES WHO MAY LIVE AND WORK IN IRELAND WITHOUT RESTRICTION CAN BE CONSIDERED FOR THIS POSITION.DUE TO THE HIGH VOLUME OF REPLIES, ONLY CANDIDATES WHO ARE SHORTLISTED FOR INTERVIEW WILL BE CONTACTEDhttp://career.huawei.com/reccampportal/portal/hrd/weu_rec_all.html
Generate
Enter the job description and your resume,
To get your personalized interview questions
Remaining fish crackers: --
|
Login