Former Maths student at Cambridge (my fourth-year courses were in logic/computability/set theory and also combinatorics); now a software engineer.