[TYPES/announce] Fully funded PhD position in the Foundations of Programming Languages at SDU

Stelios Tsampas stelios at imada.sdu.dk
Thu May 29 18:23:19 EDT 2025


I am offering a fully funded PhD position in the Foundations of Programming Languages at IMADA, SDU. The hired candidate will be part of the section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP), an active, dynamic research group that combines bold research and a collaborative spirit.

The position is funded by the German Research Foundation (DFG), project “Abstract Techniques for Programming Languages and Secure Compilation”. The project builds on recent advances in Higher-Order Mathematical Operational Semantics, a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD candidate, who will contribute to the development and implementation of the theory, and to applications in secure compilation. Further details on the planned research are summarized in the technical part of the project proposal, which can be provided by request.

The proposed starting time is August or September 2025. The appointment will be made at a competitive salary and will follow the PhD study programme at the Faculty of Science.

You can apply in the following page: https://urldefense.com/v3/__https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/2894/?utm_medium=jobshare&utm_source=External*Job*Share__;Kys!!IBzWLUs!STf2tgoR7pssSPbsHJjifF7oVTKBuOkd6CK6_tOdrzCLFbojnVR1gqT35cxGl7afrwQ5FOslsI3E6TLkizqy6AZ150ePiMp6LW4$ .

Application deadline: 18 June 2025 at 23:59 hours local Danish time

The project is supervised by me and Marco Peressotti (peressotti at sdu.dk). For any inquiries, you can send me an email at stelios at imada.sdu.dk.

Best regards,
Stelios Tsampas
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250529/2e8747fe/attachment-0001.htm>


More information about the Types-announce mailing list