[TYPES/announce] Funded PhD Position(s) on the Intersection of PL & AI in Darmstadt, Germany

[David Richter]

The Hessian Center of Artificial Intelligence (hessian.AI), located in Darmstadt, Germany, is looking to fully fund PhD Position(s) via the Cluster of Excellence "Reasonable Artificial Intelligence". In particular, the "Systemic AI Lab" within the cluster, is looking for applicants interested in research in artificial intelligence in a combination with either programming language OR software engineering OR databases OR human computer interaction.

Of course, the combination of artificial intelligence with programming languages (and functional programming, type systems, dependent-types, ...) as a research direction is the most relevant here. Sample research topics with regard to programming language research are: expressiveness, efficiency, correctness of differentiable programming; explainable AI; probabilistic programming; reactive and incremental AI programming; programming methods for modular and reliable AI systems; orchestration/composition of differentiable and non-differentiable AI models.

Systemic AI Lab: https://urldefense.com/v3/__https://www.career.tu-darmstadt.de/tu-darmstadt/job/51296__;!!IBzWLUs!TSn__xchGjsjUR6x0JG3Nki4Y3vgXx2i6I7kcPNnj7B2oNu9fElny__2ZZjTK3CDIMe63Gm2vs0wYvLQZyCMeeIxe2qi3IiectMC4ustkdlEEA$ 
Application Deadline soon: 16th Nov 2025. (I wish I had known and shared this a bit earlier.)

Applicants should select 3 professors as potential mentors whose research interests best align with them. The list of professors and other research directions in the official announcement. Applicants interested in the programming language (or software engineering) research direction, should mention Prof. Mira Mezini as one of the mentors.