Policy Research Science Skills Startups Aust to lose top security scientist Gernot Heiser, one of the main brains behind the extremely hard to hack seL4 microkernel, is set to leave Australia for Germany to work in a cyber security startup....