Apparently the formalized mathematics project at wrote about previously did get some funding after all and they are hiring two people to work on it. The PhD position is for 4 years and the postdoc position is 3 years. I hope that a usable formalized mathematics wiki will be available earlier.(NL) that I
The postdoc position pays a “maximum salary” of 3755 Euro per month. Such wording immediately makes me curious what is the minimum … .