Rezultati pretraživanja
  1. 26. ruj 2017.

    Brilliant talk from on the applicability of the operating system to realise the high-trust computing on-board vehicles

  2. 29. ruj 2015.

    We're hiring! Multiple Proof Engineers. If you're into FP and like a challenge, apply!

  3. 19. stu 2018.

    We're also looking for an FM researcher to join our team in Sydney!

  4. 14. stu 2018.
  5. 2. kol 2019.

    Can we prove that an OS kernel prevents timing channels? , and I think so, for . We are currently recruiting two postdocs, at UNSW and Uni Melbourne. Applications for Uni Melbourne close Aug 30. Come work with us!

  6. 23. ruj 2019.

    Announcing the Foundation at the seL4 Summit

  7. 31. kol 2019.
  8. 17. ožu 2018.

    We're hiring again! Have fun, live in Sydney, and prove theorems about for a living! 3 open positions for proof engineers, entry-level and experienced.

  9. 3. velj 2019.

    just gave an update of the state of in the microkernel devroom at . Very interesting is Cogent, a purely functional language for systems programming:

  10. 26. lip 2017.
  11. 29. lis 2019.

    Immensely honoured to have been involved in this work, and it being recognised for its long-term impact

  12. 27. stu 2018.

    I’ve just won a sizeable grant for verified time protection and am looking for postdocs with a formal methods background and interest in modelling/verifying OS and hardware properties. Will be on , of course

  13. 3. velj 2016.

    "We have 200k lines...to prove 9000 lines of C. It's as rock solid as you can get [and] it's the fastest microkernel around."

  14. 15. stu 2018.

    I need 31 more followers to get an off the ground. Join us! Suggest questions! Vote em up! Go!

  15. 4. ruj 2017.
  16. 28. stu 2018.

    I am seeking postdocs and possible students for two projects on verified information flow security: 1. verifying concurrent programs on weak memory (for 12 months); 2. verified timing channel protection in (for 2--3 years). Please spread the word or get in touch!

  17. 18. pro 2019.

    I’m looking for a PhD student with strong systems skills for developing a secure, Android-based IoT OS running on

  18. 7. velj 2016.

    “By the time I have a pacemaker, if I ever need one, I want it to run seL4.” –

  19. 29. sij

    Neat work by . Looks like an ideal use case for , which I’ve wondered for years about using as a foundation for secure drop style systems

  20. 12. pro 2019.

    In a few moments at the , will present their microkernel running on 's Mi-V in Antmicro's open simulation faremwork for highly secure systems: 

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.