Posted: 2 days ago
Job Description
<p><strong><span ><span >Huawei Canada has an immediate 4-month Internship opening for a Research Engineer.</span></span></strong></p><p ></p><p><strong><span ><span >About the team:</span></span></strong></p><p><span >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.</span></p><p ></p><p><strong><span ><span >About the job:</span></span></strong></p><ul><li><p>Design and implement type-checking and verification tools for use in neuro-symbolic systems, which combine symbolic reasoning with generative AI models</p></li><li><p>Collaborate with AI, formal methods, and systems researchers to bring about AI-driven solutions to real-world software systems engineering challenges</p></li></ul>Create Your Resume First
Give yourself the best chance of success. Create a professional, job-winning resume with AI before you apply.
It's fast, easy, and increases your chances of getting an interview!
Application Disclaimer
You are now leaving Jobiend.com and being redirected to a third-party website to complete your application. We are not responsible for the content or privacy practices of this external site.
Important: Beware of job scams. Never provide your bank account details, credit card information, or any form of payment to a potential employer.