W3-Professorship of Theoretical Computer Science (Chair) Ludwig-Maximilians-Universität München, Faculty of Mathematics, Computer Science and Statistics (Department of Computer Science) Germany

W3-Professorship of Theoretical Computer Science (Chair)


Facility: Faculty of Mathematics, Computer Science and Statistics
(Department of Computer Science)


Instrumentation Date: the earliest possible date


End of the application deadline: 02/01/2019


The Ludwig-Maximilians-Universität München (LMU) is one of the most renowned and largest universities in Germany.

 

tasks


The professorship should deal with theoretical computer science in research and teaching, especially with applications of logic and / or type theory to programming and programming languages. Relevant research topics include:


• Type theory and functional programming
• Logic and computer-aided proofing
• Automatic theorem proving, such as SAT and related solvers
• Fundamentals and semantics of programming languages, especially declarative languages
• Logical and programming language aspects of resources, security, privacy, Side Effects, Concurrency
conditions


The Ludwig-Maximilians-Universität München (LMU) would like to win a well-qualified personality who has demonstrated her academic qualification following her university studies, as well as an above-average doctorate or comparable aptitude through internationally visible, excellent performance in research and teaching.

 

In case of employment as a civil servant, the age of 52 may not be completed at the time of appointment. In urgent cases, exceptions may be allowed.

 

The LMU aims to increase the proportion of women in research and teaching and therefore urges female scientists to apply.

 

Handicapped persons are preferred with otherwise substantially equal suitability.

 

The LMU offers support for dual career couples.


Severely disabled applicants are preferred with otherwise substantially equal suitability.

 

address for applications


Applications with the usual documents (curriculum vitae, certificates, documents, list of publications) are to be submitted to the


Ludwig-Maximilians-Universität München
Dean of the Faculty of Mathematics, Computer Science and Statistics
Prof. Dr. med. Volker Heun
Theresienstraße 39
80333 München
It is requested to send the documents also in electronic form as a pdf-file (not larger than 10MB) to dekanat16@lmu.de.


E-Mail: dekanat16@lmu.de


Contact / in
Prof. Dr. Heinrich Hussmann


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN
GOOGLE
https://computeroxy.com/announcement,a6769.html">

surrey

ubc reklama

Anu

cambridge

geneva

kuwait

Melbourne

nottingham

Nus

sfu

southampton

texas tech

Toronto

uni copenhagen

unsw

Uwo