Marcus Zibrowius (Jun 27 2022 at 07:12): Marcus Zibrowius (Jun 27 2022 at 07:12):Heinrich Heine University Düsseldorf is seeking two full-time postdocs within the project ADAM: Anticipating the Digital Age of Mathematics, which is funded by the public foundation Stiftung Innovation in der Hochschullehre. The core aim of the project is to develop, test and publish online resources that provide an introduction to formalized mathematics using the lean proof assistant. Suitable candidates will have a PhD in mathematics or a related area, experience in formalized mathematics and strong programming skills, and display a keen willingness to engage and collaborate with students and staff across a range of subjects including mathematics, computer sciences and linguistics.
The positions are currently available for two years starting from October 2022. They are payed on the E13 scale and come with very limited regular teaching duties.
Düsseldorf is the capital of Nordrhein-Westfalen, the most populous German state, with a very cosmopolitan atmosphere and diverse neighbourhoods. It has an international airport and excellent direct rail connections to Amsterdam, Brussels, Paris and Berlin.
Interested candidates are encouraged to contact Prof. Marcus Zibrowius (<marcus.zibrowius@hhu.de>) or Prof. Immanuel Halupczok (<immanuel.halupczok@hhu.de>) for more information. Full applications should be sent to <marcus.zibrowius@hhu.de> and include a cover letter, CV and a contact for a potential letter of reference. There is no formal application deadline, but all applications received by 10 July 2022 are guaranteed to be considered.
Manuel Eberl (Oct 17 2022 at 09:53):Did you mean to say ‘10 July 2023’?
Last updated: Apr 26 2024 at 16:20 UTC