Design and implementation of secure operating systems including kernel runtime and system services. Work with multi-functional teams to bring up test debug and verify software for new platforms and products. Contribute to security requirements and features for future hardware.
Currently pursuing Bachelors or Masters degree in computer science or related fields.
Background in operation systems development. This may include areas such as the kernel low-level runtime system services driver frameworks and component models.
Understanding of system construction principles in the context of a microkernel-based environment.
Understanding of computer architecture - how CPUs memory caches and interrupts behave in response to code running at the instruction level.
Proficiency in languages commonly used in systems such as C.
Habitual practice of good software engineering principles such as using type systems identification and prevention of undefined behaviour property-based testing and formal verification. Keen eye for security flaws such as buffer overruns.
Strong communication and collaboration skills working within an established team and with people across different teams.
Disclaimer: Drjobpro.com is only a platform that connects job seekers and employers. Applicants are advised to conduct their own independent research into the credentials of the prospective employer.We always make certain that our clients do not endorse any request for money payments, thus we advise against sharing any personal or bank-related information with any third party. If you suspect fraud or malpractice, please contact us via contact us page.