[Haskell] Data61 Seeking Proof Engineers

Data61 Seeking Proof Engineers == We are are hiring again! If only there were a place where I could prove theorems for money, change the world, and have fun while doing it... Sounds too good to exist? In the Trustworthy Systems team at Data61 that's what we do for a

[Haskell] Data61 Seeking Research Scientist

Data61 Seeking Research Scientist = We are looking for a full-time research scientist in formal verification to join us, the Trustworthy Systems group, at Data61, CSIRO. Our highly international team is located on the UNSW campus, close to the beautiful beaches of s