2 software-formal-method-phd Postgraduate positions at National Research Council Canada

AI/ML Researcher for Autonomous Aerial Systems

National Research Council Canada | Old Montreal, Quebec | Canada | about 2 hours ago

learning, Uncertainty-aware and probabilistic methods Researching efficient inference algorithms and neural network optimization methods for resource-constrained embedded platforms (edge AI); Creating core

Manager, Quality Assurance

National Research Council Canada | Ottawa West, Ontario | Canada | 15 days ago

regulatory literature sources, search engines and specialized Aircraft Maintenance Tracking and Planning software such as DASH or WinAir, as well as general office software products. Behavioural competencies