LISTSERV - PODC Archives - LISTSERV.ACM.ORG

PODC Archives

ACM PODC Participants List

PODC@LISTSERV.ACM.ORG

	LISTSERV Archives
	PODC Home

	Log In
	Register

	Subscribe or Unsubscribe

	Search Archives

Options:	Use Forum View Use Monospaced Font Show Text Part by Default Show All Mail Headers
Message:	[<< First] [< Prev] [Next >] [Last >>]
Topic:	[<< First] [< Prev] [Next >] [Last >>]
Author:	[<< First] [< Prev] [Next >] [Last >>]

Subject:	Two Tenured Professorships in “Theoretical Computer Science” at RPTU
From:	Annette Bieniusa <[log in to unmask]>
Reply To:	Annette Bieniusa <[log in to unmask]>
Date:	Fri, 29 Sep 2023 19:08:43 +0200
Content-Type:	text/plain
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

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

ATOM RSS1 RSS2

LISTSERV.ACM.ORG