Zulip Chat Archive

Stream: job postings

Topic: Bonn: two professorships in formal mathematics etc


Kalle Kytölä (Sep 23 2022 at 15:15):

A colleague noticed (and surprisingly I don't think this was mentioned yet here): in Bonn there is one permanent and one fixed-term (5 years) W2 professorship open in formal mathematics and computer assisted theorem proving. :tada:

https://www.hcm.uni-bonn.de/opportunities/w2-professorships-in-the-field-of-formal-mathematics-and-computer-assisted-theorem-proving/announcement/


Last updated: Dec 20 2023 at 11:08 UTC