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 <>
One year postdoctoral research position is available at the Charles
University in Prague.

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

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

Best regards

Stepan Holub

Last updated: Dec 08 2021 at 09:20 UTC