Worker Sub-Type: Student (Fixed Term) Job Description: QNX® is a global leader in high-performance, safe, and secure operating systems, hypervisors, frameworks, and development tools for embedded systems. Trusted in over 255 million vehicles and deployed across industries such as automotive, medical devices, industrial controls, transportation, heavy machinery, and robotics, QNX powers some of the world’s most critical systems. Our scalable, safety-certified software solutions enable companies to adopt flexible, cloud-enabled embedded strategies across product lines—ensuring performance, security, and reliability. The QNX micro-kernel is certified to the highest level of various safety standards, including automotive, medical and industrial. The correctness of the kernel design and implementation is therefore of a key to its success as a product. While testing at different levels can reveal problems with the kernel, it cannot prove correctness. The use of formal and semi-formal methods has been used successfully to find problems that can escape testing. The application of such methods is strongly recommended by the various safety standards. As such we are seeking a confident student candidate with a background in Software Development with an interest in formal/semi-formal methods as well as software modelling to work with our Core OS organization on the continued modelling of components therein. Location: Ottawa, ON Length of Term: 4 Months Key Responsibilities Become familiar with the QNX operating system Dive into the design of various OS level components Work with the Core OS organization on the definition and implementation of formal and semi formal methods targeted at specific areas of the OS Build out the models associated with analysis from the above Continue down the path of proving the correctness of algorithms and other components leveraging the models and methods derived and built as part of the term Required Skills & Qualifications Experience in formal and semi formal methods and modeling Currently pursuing post-secondary education in a related field Familiarity with QNX products (or Linux/UNIX-like operating systems as an alternative) Programming experience in C and C++ Excellent communication and interpersonal skills Eagerness to learn and solve problems Why Join QNX? Mentorship & Learning: Access to professional development courses, mentorship programs, and our on-demand learning platform Wellness Support: Access to events that support physical, mental and financial wellness. We host wellness sessions, fitness courses, discounts to local gyms and offer a 24/7 Employee Assistant Program (EAP) Collaborative Culture: Highly collaborative teams and a supportive workplace environment, with organization-wide events and a student social committee Scheduled Weekly Hours: 40 BlackBerry (NYSE: BB; TSX: BB) is a trusted security software and services company that provides enterprises and governments with the technology they need to secure the Internet of Things. Headquartered in Waterloo, Ontario, the company is unwavering in its commitment to safety, cybersecurity and data privacy, and leads in key areas such as artificial intelligence, endpoint security and management, encryption and embedded systems. You couldn’t choose a more exciting time to consider joining us! For more information, visit BlackBerry.com and follow @BlackBerry. Whether you are a Co-op or a Graduate, we know your first job matters, and a career at BlackBerry can take you anywhere you want to go. At BlackBerry you will find that the pace is fast, the challenge exciting and the rewards are extremely satisfying. If you want to push the boundaries of mobile experience, then we want you to join the BlackBerry team. ©2025 BlackBerry. All right reserved. BlackBerry® and related trademarks, names, and logos are the property of BlackBerry Limited and are registered and/or used in the U.S. and countries around the world. It is the policy of BlackBerry to ensure equal employment opportunity without discrimination or harassment on the basis of race, color, creed, religion, national origin, alienage or citizenship, status, age, sex, sexual orientation, gender identity or expression, marital or domestic/civil partnership status, disability, veteran status, genetic information, or any other basis protected by law. EEO Minorities/Females/Protected Veteran Disabled BlackBerry strives to create an accessible and inclusive application and selection process and is committed to working with and providing reasonable accommodation to job applicants who may require provisions to participate in the selection process. Should you require an accommodation, please contact recruitment@blackberry.com or contact our HR department by calling 1-519-888-7465. We will reply to your request as soon as possible. Federal Employment Law Posters: EEO is the Law Employee Polygraph Protection Act FMLA Federal Contractor Postings: E-Verify Right to Work EEO is the Law Supplement Pay Transparency HELPFUL LINKS: Contact Us Application Process Careers FAQ Return to Job Listings
