Hi seL4 developers NIO uses seL4 as the kernel for the vehicle operating system, and we are seeking a systems software researcher / developer to join the team. Please see the job description. [https://nio.wd3.myworkdayjobs.com/NIO_Careers/job/San-Jose-US/Systems-Softwa...] If you enjoy building systems from scratch, writing high quality system code, optimizing performance, turning your research ideas into awesome real-world products, and shaping the future of systems software for intelligent EVs, the position is for you. Please drop me an email if you would like to know more. Looking forward to hearing from you. Regards, Yanyan [Banner]<http://www.nio.io> This email and any files transmitted with it are confidential and intended solely for the use of the individual or entity to whom they are addressed. You may NOT use, disclose, copy or disseminate this information. If you have received this email in error, please notify the sender and destroy all copies of the original message and all attachments. Please note that any views or opinions presented in this email are solely those of the author and do not necessarily represent those of the company. Finally, the recipient should check this email and any attachments for the presence of viruses. The company accepts no liability for any damage caused by any virus transmitted by this email.