lean jobs in Düsseldorf

Stream: job postings

[Marcus Zibrowius]

Heinrich Heine University Düsseldorf is seeking two full-time postdocs within the project ADAM: Anticipating the Digital Age of Mathematics. The core aim of the project is to develop, test and publish online resources that provide an introduction to 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 me (via zulip or <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.

[Marcus Zibrowius]

We are seeking to fill a short-term postdoc position at Düsseldorf, from March to September 2024, within the ADAM project. Our focus is the further development of Lean Games like the Natural Number Game, both in terms of the underlying software and in terms of game content. Over the past year, we have reimplemented the Lean Web Editor to work with Lean 4, reimplemented and redesigned the Lean Game Engine (based on a Lean 4 prototype by Patrick Massot), and drafted a new game based on typical undergraduate exercises in traditional courses.

The ideal candidate would bring experience from some of the following areas into the project:

• formalization of mathematics (ideally analysis, ideally Lean)
• JavaScript / TypeScript / React
• C/C++ to WebAssembly compilation
• functional programming (ideally Lean)
• web server administration
• web design/graphic design

For a rundown of the technical side of the project, the current development status, and unbiased opinions on work and life in Düsseldorf, you can contact @Alexander Bentkamp and @Jon Eugster. For more details on the position itself and the application procedure, please contact me directly via Zulip or via <marcus.zibrowius@hhu.de> . The position comes with no teaching duties.