[goldname]

A typical first job will need you to prove the axiom of choice and be able to build a quantum turing machine.