leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: job postings

Topic: CS Faculty position at the University of Montreal


Frédéric Dupuis (Oct 20 2025 at 19:37):

The University of Montreal CS department has opened a faculty position in programming languages and systems, at either the assistant or associate professor level. You can find the announcement here. The deadline for applications is January 9. Feel free to reach out to me if you have any questions!


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll