[TYPES/announce] Three fully paid PhD positions at Lund University

[Görel Hedin]

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)/> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190810/b08bf864/attachment.html>