Data61 Seeking Proof Engineers
==
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 living. We
are the creator
If you're looking for a job using HOL4, the following may be of interest :)
Data61 Seeking Proof Engineers
==
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 Trustwor
