×
Register Here to Apply for Jobs or Post Jobs. X

LLM & Formal Verification Research Intern

Job in Markham, Ontario, Canada
Listing for: Huawei Canada
Apprenticeship/Internship position
Listed on 2025-12-30
Job specializations:
  • Business
    Computer Science
Salary/Wage Range or Industry Benchmark: 80000 - 120000 CAD Yearly CAD 80000.00 120000.00 YEAR
Job Description & How to Apply Below
A leading telecommunications firm is seeking an Associate Researcher for a 4-month internship in Toronto, Ontario. The role involves designing verification tools and collaborating on AI-driven software engineering projects. Ideal candidates are pursuing or have completed a computer science degree, with strong functional programming skills, preferably in Haskell. Competitive salary ranges from CA $80,000 to CA $120,000.
#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