job formalising graph theory

Stream: graph theory

[Kevin Buzzard]

It occurred to me that not everyone subscribed to this stream might have seen @Mario Krenn 's job advertisement involving formalising some graph theory proofs for money. The Zulip link to their ad is here.