<div dir="ltr"><div><div>Hi CakeML users,</div><div><br></div><div>If you'd be interested in a job working on or with CakeML:<br></div><div><br></div><div>We are expanding our Trustworthy Systems team in Sydney!</div>
<div><br>
</div>
<div>We are currently looking for three motivated people in formal methods:</div>
<div>  - 2 Proof Engineers (junior and senior)</div>
<div>  - 1 Research Scientist</div>
<div>to join Trustworthy Systems at Data61 CSIRO.</div>
<div><br>
</div>
<div>We are expanding because we have a new funded project exploring verified</div>
<div>infrastructure on top of seL4, our formally verified OS microkernel. This</div>
<div>project includes building trustworthy applications at user-level, using</div>
<div>CakeML and the CAmkES component system. Anyone interested in building and</div>
<div>verifying real systems is highly encouraged to apply!</div>
<div><br>
</div>
<div>This round of applications closes 21 November 2017.</div>
<div>More information at [1,2].</div>
<div><br>
</div>Cheers,<br></div>Ramana<br><div><div><br>
</div>
<div>[1] <a href="https://ts.data61.csiro.au/jobs/proof-engineers-2017.pml" target="_blank">https://ts.data61.csiro.<wbr>au/jobs/proof-engineers-2017.<wbr>pml</a></div>
<div>[2] <a href="https://ts.data61.csiro.au/jobs/research-scientist-2017.pml" target="_blank">https://ts.data61.csiro.<wbr>au/jobs/research-scientist-<wbr>2017.pml</a></div>

<div><br>
</div></div></div>