Job Description

A leading technology company in Canada is offering a 4-month internship for an Associate Researcher focused on LLMs and formal verifications. You will design verification tools and collaborate with experts in artificial intelligence to solve software systems engineering challenges. The ideal candidate is pursuing or has completed a computer science degree and possesses strong skills in functional programming and formal verification.
#J-18808-Ljbffr

Apply for this Position

Ready to join Huawei Technologies Canada Co., Ltd.? Click the button below to submit your application.

Submit Application