Top Benefits
About the role
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
About BlackBerry
BlackBerry helps organizations defend against cyberthreats. Founded in 1984 as Research In Motion (RIM), BlackBerry is now a leader in cybersecurity — helping businesses, government agencies, and safety-critical institutions of all sizes secure the Internet of Things (IoT).
Top Benefits
About the role
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
About BlackBerry
BlackBerry helps organizations defend against cyberthreats. Founded in 1984 as Research In Motion (RIM), BlackBerry is now a leader in cybersecurity — helping businesses, government agencies, and safety-critical institutions of all sizes secure the Internet of Things (IoT).