Proficiency in Swift and Objective-C programming languages
Knowledgeable of embedded systems software design and development involving C and/or other lower level languages
Expertise in formal algorithm validations
Experience in designing and implementing interpreters for languages
Nice to Haves
Candidates must be enrolled as students pursuing a Master's, Ph.D., or equivalent degree program
What You'll Be Doing
A dedicated mentor will be paired with each intern, fostering collaboration and guidance
Interns will work on designing and implementing an innovative solution to validate the current code and design a secure implementation based on interpreting the formal description of authorization flows
Upon completion of the internship, interns will have the opportunity to present their work to the SEAR leadership
Perks and Benefits
Join an exceptional team with the opportunity to work directly with the R&D team in Prague
Build an immersive learning experience to acquire practical skills and gain real-world experience
Develop a comprehensive understanding of the industry and establish valuable connections