[seL4] sel4 job offer

For information, we are looking for people to work on sel4. See https://www.appone.com/maininforeq.asp?Ad=250944&R_ID=1243309&Refer=http://sei.cmu.edu/careers/&B_ID=44 If you have any question, do not hesitate to contact me and/or apply! Julien.