Postdocs at Aalto University (Finland)

Stream: job postings

[Kalle Kytölä]

At Aalto University, together with academy research fellow Shinji Koshida, we opened a call for two postdoc positions in probabilistic and/or algebraic mathematical physics (especially two-dimensional and related to conformal field theory, but not exclusively). Formalization and Lean are explicitly mentioned in one of the two position's descriptions.

• CALL TEXT
  • review of applications begins 2026-01-01T10:00:00+02:00 and call closes 2026-01-31T23:59:00+02:00

The text does not mention a specific formalization project for two reasons: (1) these are still primarily traditional postdoctoral researcher positions in mathematics, and (2) to the extent that formalization would be involved, I believe it will be more fruitful to commit to a larger project only after an assessment of different projects' realistic participants. But rest assured that I value past formalization achievements as well as mathematical ones (and Shinji also does).