UNSW Sydney is #hiring systems faculty – talk to me if you’re interested.
This is for early-career researchers in the AU Lecturer–Senior Lecturer–Associate Professor–Professor progression. Tenure is orthogonal to position level – closes 31 July.
external-careers.jobs.unsw.edu.au/cw/en/job/54...
Welcome Gapfruit, latest member of the #seL4 Foundation!
sel4.discourse.group/t/gapfruit-j...
Sad to hear that Peter G Neumann has passed away, aged 93.
He was a pioneer of computer security, back from the PSOS system to much more recently being one of the people behind CHERI capabilities. Very insightful, and a nice guy besides. He’ll be missed.
www.linkedin.com/feed/update/...
Proofcraft is a Silver Spo0nsor of the #seL4 Summit – thank you Proofcraft!
sel4.discourse.group/t/thank-you-...
Riverside Research is sponsoring the #seL4 Summit – thank you, Riverside!
sel4.discourse.group/t/thank-you-...
Interesting timing, actually, given that after a 7-year hiatus we’re getting back into serious real-time work with #seL4 and #LionsOS.
Thursday was UNSW CSE Prizes Night. Several Trustworthy Systems students featured: 2nd year Sam Tyler (left) won two. New Heroes of Operating Systems are (from right) Varun Sethu and Richard Shen: high distinctions in OS, Advanced OS and OS thesis
UNSW Sydney is #hiring systems faculty – talk to me if you’re interested.
This is for mid-career researchers in the AU Lecturer–Senior Lecturer–Associate Professor–Professor progression. Tenure is orthogonal to position level – closes 31 July.
external-careers.jobs.unsw.edu.au/cw/en/job/54...
If you’re looking for an approachable overview of seL4 etc, you might be interested in this one: trustworthy.systems/publications...
Today I had the great honour to receive the Outstanding Technical Achievement and Leadership Award of the IEEE Technical Committee on Real-Time Systems (TCRTS).
www.linkedin.com/company/tech...
Join an organisation that is shaping the future direction of modern computing systems in Australia, in an academic role that combines high-quality research, excellent teaching, and meaningful contribu...