<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.<br>
<br>
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.</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
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.</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
You can apply in the following page: <a href="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$" id="LPlnk765725" class="OWAAutoLink">
https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/2894/?utm_medium=jobshare&utm_source=External+Job+Share</a>.<br>
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Application deadline: 18 June 2025 at 23:59 hours local Danish time</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
The project is supervised by me and Marco Peressotti (peressotti@sdu.dk). For any inquiries, you can send me an email at stelios@imada.sdu.dk.</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Best regards,<br>
Stelios Tsampas</div>
</body>
</html>