I am pleased to announce the opening of a PHD position at KTH Royal Institute of Technology (Stockholm, Sweden), in the area of program analysis with applications to:
• software testing
• oracle assessment
• test amplification
• software security
The position is supported by the Internet of DevOps project.
Contact: Prof. Benoit Baudry, firstname.lastname@example.org