[TYPES/announce] PhD scholarship in PL, SE, and GenAI at DTU

[Christian Gram Kalhauge]

We are looking for applicants for a fully funded PhD scholarship at the Technical University of Denmark (DTU) located in the great Copenhagen Area, in programming languages, software engineering and generative AI.

Topic:
Generative AI (GenAI) has taken the world and the software development scene by storm. GenAI has shown great promises of improving the productivity of developers, however, there are doubts about the quality of the code produced. If you want to investigate the effect that adoption of GenAI has on software development, as well as building tools for mitigating the risks, verifying the generated code, and improving the quality of the output of GenAI, this PhD opportunity may be for you.

Requirements:
We are looking for you if you have a background and interest in programming languages and formal methods --- e.g., has taken courses in program analysis, verification, compiler construction and/or model checking. You should be well versed in basic statistics and practical programming skills is a must. Knowledge about the inner workings of GenAI would be nice but not necessary.
You must have a two-year master's degree (120 ECTS points) or a similar degree with an academic level equivalent to a two-year master's degree.

Supervision:
The PhD will be primarily advised by Christian Gram Kalhauge (chrg at dtu.dk<mailto:chrg at dtu.dk>), and co-supervised by Alberto Lluch Lafuente.

Deadline: 14 May 2025 (23:59 Danish time)

Apply here: https://urldefense.com/v3/__https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_2001/job/5090/__;!!IBzWLUs!TZ_AXrQZjU9--yZSPIyPauJpIjXWt6i1pIDpAfjvmXmXRt0bBz3Isg4l09eqo23uwGFttD7H5T2t5jTy_BQ9SJDeKMY$ 


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250430/4f4c2c2a/attachment-0001.htm>