[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
([email protected]<mailto:[email protected]>), 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$
