Type Complete Logic Systems Engineer ARC Prize 2026 competitor & 50% contributor to Anstey Research Group George Anstey Vancouver Island