KTH Royal Institute of Technology, School of Electrical Engineering and Computer Science seeks two doctoral students for a project in Machine Learning for Automated Code Generation.
Project description
KTH seeks two fully funded doctoral students to join its WASP-funded project on “Automated Software Verification with Expert-Driven Reasoning”, focused on developing the next generation of AI-assisted programming tools, producing efficient, secure, and resilient software with limited or no human intervention. One of the two doctoral positions is reserved for the under-represented gender within WASP.
Main supervision by Associate Professor Marco Chiesa and co-supervision by Assistant Professor Hamed Nemati proposed to supervise the doctoral student. Decisions are made on admission.
Work environment
KTH offers the following:
- The possibility to study in a dynamic and international research environment in collaboration with industries and prominent universities from all over the world.
- A workplace with many employee benefits and monthly salary according to KTH’s Doctoral student salary agreement.
- A postgraduate education at an institution that is active and supportive in matters pertaining to working conditions, gender equality and diversity as well as study environment.
- Work and study in Stockholm, close to nature and the water.
- Guidance on relocating and settling in at KTH and in Sweden
- A strong group of internationally recognized researchers collaborating with industries. Read more about our group here and more about our previous research on AI-based software development here. We closely collaborate with the NSLab at KTH.
