[isabelle] posdoctoral position in Prague

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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.