Realising I haven't advertised this here—I'm hiring! Walter Dean and I have a project on measuring the strength of mathematical theorems used in philosophy, and we're looking for a postdoctoral researcher to join our team.
www.jobs.ac.uk/job/DQO344/r...