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.