Associate Researcher- LLMs/Formal Verficaitons
About the role
Huawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal Verifications About the team: The Intelligent Testing Technology Team, currently a part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. By harnessing LLMs' strengths in natural language processing and generation, this team explores their synergy with the precision of formal verification techniques. As part of this team, you will collaborate with industry leaders on groundbreaking projects and contribute to shaping the future of technology.
About the job:
- Design and implement type-checking and verification tools for use in neuro-symbolic systems, which combine symbolic reasoning with generative AI models
- Collaborate with AI, formal methods, and systems researchers to bring about AI-driven solutions to real-world software systems engineering challenges
Job requirements
About the ideal candidate:
- Currently pursuing or has completed a degree in computer science
- Strong functional programming skills (preferably with Haskell)
- Strong background in formal specification, formal verification, and/or software analysis (including type checking)
About Huawei Canada
Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We are committed to bringing digital to every person, home and organization for a fully connected, intelligent world. We have approximately 197,000 employees and we operate in over 170 countries and regions, serving more than three billion people around the world.
In Canada, Huawei conducts innovative and leading edge research in 5G technologies, along with advanced development of emerging cloud, device and network technologies & services. While our renowned Canada Research Centre in the thriving technology landscape of Ottawa, Ontario continues to grow rapidly in size and strategic product initiatives, additional presence has also been established across Canada with R&D facilities in Vancouver, Edmonton, Waterloo, Markham, Montreal, and a R&D office in Quebec City.
Associate Researcher- LLMs/Formal Verficaitons
About the role
Huawei Canada has an immediate 4-month Internship opening for an Associate Researcher- LLMs/Formal Verifications About the team: The Intelligent Testing Technology Team, currently a part of the Waterloo Research Centre, is at the forefront of integrating large language models (LLMs) with formal methods to advance artificial intelligence. By harnessing LLMs' strengths in natural language processing and generation, this team explores their synergy with the precision of formal verification techniques. As part of this team, you will collaborate with industry leaders on groundbreaking projects and contribute to shaping the future of technology.
About the job:
- Design and implement type-checking and verification tools for use in neuro-symbolic systems, which combine symbolic reasoning with generative AI models
- Collaborate with AI, formal methods, and systems researchers to bring about AI-driven solutions to real-world software systems engineering challenges
Job requirements
About the ideal candidate:
- Currently pursuing or has completed a degree in computer science
- Strong functional programming skills (preferably with Haskell)
- Strong background in formal specification, formal verification, and/or software analysis (including type checking)
About Huawei Canada
Founded in 1987, Huawei is a leading global provider of information and communications technology (ICT) infrastructure and smart devices. We are committed to bringing digital to every person, home and organization for a fully connected, intelligent world. We have approximately 197,000 employees and we operate in over 170 countries and regions, serving more than three billion people around the world.
In Canada, Huawei conducts innovative and leading edge research in 5G technologies, along with advanced development of emerging cloud, device and network technologies & services. While our renowned Canada Research Centre in the thriving technology landscape of Ottawa, Ontario continues to grow rapidly in size and strategic product initiatives, additional presence has also been established across Canada with R&D facilities in Vancouver, Edmonton, Waterloo, Markham, Montreal, and a R&D office in Quebec City.