News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

University of Warsaw: PhD positions in operational semantics

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.

Application deadline: Friday 7 June 2013. For more information, see http://www.wcmcs.edu.pl/node/38.

Please note that this newsitem has been archived, and may contain outdated information or links.