Chair of Theoretical Computer Science – INF8

The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the Friedrich-Alexander-Universität Erlangen-Nürnberg. Our core research topics are

  • Logic in Computer Science
  • Formal Methods
  • Knowledge Representation

Head of the group is Prof. Dr. Lutz Schröder.

Aktuelle Stellenausschreibungen für Hiwi-Jobs.


Open PhD position in a  DFG-project “Abstract Techniques for Programming Languages and Secure Compilation”