Full-time positions in formalized mathematics at Düsseldorf

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](https://stiftung-hochschullehre.de/). 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.