Logic List Mailing Archive

Two W2 Professorship (one tenured, one 5y) in computer-assisted theorem proving, Bonn (Germany)

TWO W2 PROFESSORSHIPS (PERMANENT AND 5 YEARS) IN FORMAL MATHEMATICS AND
COMPUTER-ASSISTED THEOREM PROVING

UNIVERSITY OF BONN (GERMANY), DEADLINE 15 NOVEMBER 2022

Further details can be found in the job announcements at

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

or

https://www.uni-bonn.de/de/universitaet/medien-universitaet/medien-organisation-und-einrichtungen/medien-dezernat-3/w2-formal-mathematics-and-computer-assisted-theorem-proving-engl.pdf


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam