1 postdoctoral "RPTU" PhD positions

PhD student in computer science: set-theoretic types for dynamic languages (M/F)

CNRS | Paris 13, le de France | France | about 7 hours ago

of Annette Bieniusa at RPTU Kaiserslautern-Landau, which develops the Etylizer type checker for Erlang. The project includes two plenary meetings per year, alternating between France and Germany, research