×
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:
Research Scientist Research Assistant/Associate

Sr Research Associate - Formal Methods & System Verification

Job in Toronto, Ontario, C6A, Canada
Listing for: UNSW
Full Time position
Listed on 2025-12-01
Job specializations:
  • Research/Development
    Research Scientist, Research Assistant/Associate
Salary/Wage Range or Industry Benchmark: 80000 - 100000 CAD Yearly CAD 80000.00 100000.00 YEAR
Job Description & How to Apply Below
A leading university in Canada is seeking a Research Associate/Senior Research Associate to contribute to world-leading research on software systems trustworthiness. You will work on developing proof techniques and applying them to real-world software systems, engage with industry partners, and supervise research students. The ideal candidate will have a PhD in computer science, experience with theorem proving, and a strong track record in academic research.
#J-18808-Ljbffr
Position Requirements
10+ Years work experience
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