Saturday, July 29, 2017

[DMANET] =?Windows-1252?Q?Lecturer_=96_University_of_Glasgow, _School_of_Computing_?= Science

The School of Computing Science, University of Glasgow seeks a Lecturer to pursue a world-class research programme in Computing Science within the topics of the Formal Analysis, Theory and Algorithms (FATA) section; to teach related topics in Computing Science at all undergraduate and postgraduate levels; to carry out allocated administrative tasks.

The research topics covered by the Formal Analysis, Theory and Algorithms section include:

* algorithms and complexity;
* formal modelling and model-checking;
* programming language theory.

The School seeks applications from outstanding candidates to develop and lead research of international standard in these or related topics.

Further information can be found at:
http://www.jobs.ac.uk/job/BDD062/lecturer/
http://www.glasgow.ac.uk/computing/worldchangerswelcome


**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************