[logic-ml] Fwd: PhD positions in operational semantics at Univ. of Warsaw

[Ichiro Hasuo]

みなさま，

東京大学の蓮尾です．ワルシャワ大学の Bartek Klin さんからの
博士課程学生募集のメッセージを転送します．
プロジェクトの内容は bialgebra と operational semantics で，
給料はとても良くはありませんが，ワルシャワの物価を考えると
十分な額だと思います．ごはんもおいしくて楽しい街です．
また，同じプロジェクトでポスドクの募集もそのうちに
あるそうです．

蓮尾 一郎
www-mmm.is.s.u-tokyo.ac.jp/~ichiro/


-----------------------------------------------------------------------------------------------------------

Two PhD student positions will soon be available to work under the direction
of Bartek Klin in the Institute of Informatics, University of Warsaw.

The positions are in the field of semantics of programming
languages and process algebras, in connection to the project
"Modular operational semantics: a bialgebraic approach", funded
by the Polish National Science Center. The applicants should have
solid background in Mathematics and Computer Science, and
be interested in topics such as semantics of programming languages,
process algebra, formal methods, and/or category theory.

The positions will be available from October 2013. Interested
candidates should apply for a PhD fellowship at the Warsaw Center
of Mathematics and Computer Science (http://www.wcmcs.edu.pl/node/38),
with the deadline of

*** June 7th, 2013 ***.

A successful candidate will earn 5000PLN(~1200EUR)/month
(3500PLN tax-free from the WCMCS fellowship + 1500PLN pre-tax funded
by the research project), subject to yearly evaluation of progress.
The positions are associated with teaching duties of up to 60 hours/year.

Any queries about the positions should be addressed to Bartek Klin,
klin at mimuw.edu.pl .

-----------------------------------------------------------------------------------------------------------