[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.
