Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] posdoctoral position in Prague


view this post on Zulip Email Gateway (Sep 14 2021 at 12:13):

From: Stepan Holub <holub@karlin.mff.cuni.cz>
One year postdoctoral research position is available at the Charles
University in Prague.
See
https://www.mathjobs.org/jobs/list/18130

The call is broad and theoretically oriented. Nevertheless, one concrete
option is a candidate who would want to participate on the formalization
effort in the area of Combinatorics on Words within Isabelle. See
https://gitlab.com/formalcow/combinatorics-on-words-formalized

Feel free to contact me if you want to know more.

Best regards

Stepan Holub


Last updated: Dec 08 2021 at 09:20 UTC