Logic List Mailing Archive

W3 Professorship in Theoretical Computer Science, Munich (Germany), Deadline: 1 Feb 2019

Ludwig-Maximilians-Universität (LMU) in Munich is currently advertising a

   *Full Professorship (W3) of Theoretical Computer Science*

This professorship is dedicated, in research and teaching, towards 
Theoretical Computer Science, in particular applications of logic and/or 
type theory to programming and programming languages.

Relevant areas of research are e.g.:

- Type Theory and Functional Programming

- Logic and Computer-Aided Reasoning

- Automatic Theorem Proving, esp. SAT- and related Solvers

- Foundations and Semantics of Programming Languages, esp. declarative 
languages

- Logical and Programming Language Aspects of resources, security, 
privacy, side effects and concurrency

The application deadline is 1 February 2019.

For more information, please see: 
https://www.tcs.ifi.lmu.de/news/professorship
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam