×
Apply for Jobs Apply for Jobs Post a Job Post a Job Local Jobs Home
Register Here to Apply for Jobs or Post Jobs. X
More jobs:
AI Engineer Computer Science

Intern: LLMs & Formal Verifications in Neuro-Symbolic AI

Job in Markham, Ontario, Canada
Listing for: Huawei Technologies Canada Co., Ltd.
Full Time, Apprenticeship/Internship position
Listed on 2025-12-02
Job specializations:
  • IT/Tech
    AI Engineer, Computer Science
Salary/Wage Range or Industry Benchmark: 25000 - 35000 CAD Yearly CAD 25000.00 35000.00 YEAR
Job Description & How to Apply Below
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
Note that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary
Advanced Search