<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
Hi everyone,</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
<br>
</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
I am looking to recruit a new PhD candidate to work on formal methods for data protection in digital twins at the University of Oslo. Background/experience in programming language theory, formal methods, theoretical computer science is expected (e.g., from
courses). Applicants must have or be close to obtaining a master’s degree. I would greatly appreciate it if you could share this information with your group or anyone interested in pursuing a PhD in this topic. Please feel free to contact me if you have additional
questions.</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
<br>
</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
Kind regards,</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
<br>
</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
<div>Silvia Lizeth Tapia Tarifa</div>
<div>Department of Informatics</div>
<div>University of Oslo</div>
</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
<br>
</div>
<div style="caret-color: rgba(0, 0, 0, 0.847); color: rgba(0, 0, 0, 0.847); font-family: -apple-system-font; font-size: 12px;">
<div>*** Further Details ***</div>
<div><br>
</div>
<div>Position type: Full-time (3 years) with the possibility to extend to 4 years<br>
</div>
<div><br>
</div>
<div>Application deadline:17th of August, 2025. <br>
</div>
<div><br>
</div>
<div>Webpage: https://www.jobbnorge.no/en/available-jobs/job/283081/phd-research-fellow-in-formal-methods-for-data-protection-in-digital-twins</div>
<div><br>
</div>
<div>Starting date: no later than 1st of December, 2025.<br>
</div>
<div><br>
</div>
<div>Salary: NOK (Norwegian Krone) from 550 800 - 595 000 per year </div>
</div>
</body>
</html>