[lugm.org] Fwd: Devel Digest, Vol 16, Issue 14

[Jheengut Pritvi]

---------- Forwarded message ----------
From: <devel-request at sel4.systems>
Date: 30 September 2015 at 06:00
Subject: Devel Digest, Vol 16, Issue 14
To: devel at sel4.systems


Send Devel mailing list submissions to
        devel at sel4.systems

To subscribe or unsubscribe via the World Wide Web, visit
        https://sel4.systems/lists/listinfo/devel
or, via email, send a message with subject or body 'help' to
        devel-request at sel4.systems

You can reach the person managing the list at
        devel-owner at sel4.systems

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Devel digest..."


Today's Topics:

   1. We're hiring! (Gernot Heiser)


----------------------------------------------------------------------

Message: 1
Date: Tue, 29 Sep 2015 10:11:38 +0000
From: Gernot Heiser <gernot at nicta.com.au>
To: seL4 developers <devel at sel4.systems>
Subject: [seL4] We're hiring!
Message-ID: <3D97A155-3D9C-4621-AF65-E39C9D5606E1 at nicta.com.au>
Content-Type: text/plain; charset="utf-8"

Want to be part of the seL4 team and be *paid* for having fun?

We?re hiring:
- proof engineers: https://ssrg.nicta.com.au/jobs/proof-engineers2015
- OS engineers: https://ssrg.nicta.com.au/jobs/OS-engineers2015
- researchers/postdocs: https://ssrg.nicta.com.au/jobs/OS-researchers2015

Gernot

________________________________

The information in this e-mail may be confidential and subject to legal
professional privilege and/or copyright. National ICT Australia Limited
accepts no liability for any damage caused by this email or its attachments.

------------------------------

Subject: Digest Footer

_______________________________________________
Devel mailing list
Devel at sel4.systems
https://sel4.systems/lists/listinfo/devel


------------------------------

End of Devel Digest, Vol 16, Issue 14
*************************************
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://discuss.lugm.org/pipermail/discuss_discuss.lugm.org/attachments/20150930/5009c534/attachment.html>