[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]). For
any inquiries, you can send me an email at [email protected].
Best regards,
Stelios Tsampas
