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

Görel Hedin gorel.hedin at cs.lth.se
Sat Aug 10 05:34:06 EDT 2019


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>


More information about the Types-announce mailing list