 
| 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: |
|
| Subject: |
|
| Content-Transfer-Encoding: |
quoted-printable |
| Message-ID: |
|
| Sender: |
|
| From: |
|
| Parts/Attachments: |
|
|
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
RPTU
Rheinland-Pfälzische Technische Universität
Kaiserslautern-Landau
Gottlieb-Daimler-Straße
Gebäude 32-426
67663 Kaiserslautern
T +49 (0) 631 205 3958
E [log in to unmask]
############################
Unsubscribe:
[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:
https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?GETPW1
Once you have created a password, you can log in and view or change your
subscription settings at:
https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC
|
|
|
