Huawei Technologies Canada Co., Ltd.
Huawei Canada has an immediate 12-month contract opening for a Research Engineer.
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:
-
Engage in research projects focused on neuro-symbolic systems (NSSs) that leverage symbolic AI and formal methods to enhance and refine LLM outputs, ensuring the generation of acceptable symbolic results
-
Implement innovative NSS designs and validate their intended properties
-
Collaborate on research publications to disseminate findings
#LI-T1