[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Three fully paid PhD positions at Lund University
Application deadline: August 30
a) Explainable Declarative Program Analysis, for types and effects (PI Görel
Hedin)
b) A Domain-Specific Language approach for Reliability, Availability,
Maintainability and Safety of Autonomous Robots (PI Christoph Reichenbach)
c) Continuous Software System Testing of Autonomous Systems (PI Per Runeson)
The positions are financed by the large Swedish research program WASP (the
Wallenberg AI, Autonomous Systems and Software Program) and includes joint PhD
courses, summer schools, international study trips, etc.
See
http://www.lth.se/english/work/show/doctoral%20students%20in%20computer%20science%20(wasp)(pa2019-2500)/
<http://www.lth.se/english/work/show/doctoral%20students%20in%20computer%20science%20(wasp)(pa2019-2500)/>
