PODC Archives

ACM PODC Participants List


Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3731.700.6\))
Content-Type: text/plain; charset=utf-8
Date: Fri, 29 Sep 2023 19:08:43 +0200
Reply-To: Annette Bieniusa <[log in to unmask]>
Content-Transfer-Encoding: quoted-printable
Message-ID: <[log in to unmask]>
Sender: ACM PODC Participants List <[log in to unmask]>
From: Annette Bieniusa <[log in to unmask]>
Parts/Attachments: text/plain (66 lines)
The Department of Computer Science at the University of Kaiserslautern-Landau (RPTU), Germany, is seeking qualified candidates for two professorships in the area of theoretical computer science. 

Research areas of specific interest include, among others:
Professorship A
●     Foundation of Cryptography
●     Quantum Algorithms and Complexity
●     Randomized Algorithms
●     Theory of Distributed Algorithms
●     Approximate Algorithms
●     Computational Learning Theory
●     Structural Complexity Theory

Professorship B
●     Principles and Semantics of Programming Languages
●     Model Checking and Theorem Proving
●     Foundations of Programming Languages and Verification
●     Probabilistic Programming
●     Type Systems and Typed Calculi
●     Models of Concurrent, Distributed, and Mobile Systems
●     Automata and Logic

Further information: https://jobs.rptu.de/jobposting/64d6841637c806538427546ef6828f04e58e51030

If you know anyone who may be interested in this job offer, feel free to distribute. The application deadline is October 31, 2023.
Do not hesitate to contact me or the addresses listed in the announcement for any questions about this position.

Best regards,
Annette Bieniusa

Prof. Dr. Annette Bieniusa
Fachbereich Informatik
Lehrstuhl Softwaretechnik: Programmierung verteilter Systeme

Rheinland-Pfälzische Technische Universität

Gebäude 32-426
67663 Kaiserslautern

T +49 (0) 631 205 3958
E [log in to unmask]



[log in to unmask]

If you don't already have a password for the LISTSERV.ACM.ORG server, we recommend
that you create one now. A LISTSERV password is linked to your email
address and can be used to access the web interface and all the lists to
which you are subscribed on the LISTSERV.ACM.ORG server.

To create a password, visit:


Once you have created a password, you can log in and view or change your
subscription settings at: