Jon Sterling on Nostr: I will be looking for one PhD student this cycle (applications due in December). If ...

I will be looking for one PhD student this cycle (applications due in December). If you are interested in deep semantics, applications of category theory, topos theory, or homotopy type theory to programming languages, or anything in the near vicinity of these topics, I encourage you to contact me and I can explain a little more about how the process works at Cambridge.

You can message me on here, or on my departmental email (js2878 at cam.ac.uk). Realistically, a successful applicant will likely have some prior work in one of these or related areas that we can discuss. Looking forward to hearing from you!

(P.S. If you are not sure whether you would make a good applicant, please chat with me anyway. I promise I won't bite.)