[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hi everyone,
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.
Kind regards,
Silvia Lizeth Tapia Tarifa
Department of Informatics
University of Oslo
*** Further Details ***
Position type: Full-time (3 years) with the possibility to extend to 4 years
Application deadline:17th of August, 2025.
Webpage:
https://urldefense.com/v3/__https://www.jobbnorge.no/en/available-jobs/job/283081/phd-research-fellow-in-formal-methods-for-data-protection-in-digital-twins__;!!IBzWLUs!Vq3vebn2t31wLd8oyDpR0VI3GVF9yGnK-xbKFEjYbYP2cl3gdkiLl_r2daCHhsmyxWrOx3PFQ8-ZhpFK-rpHCwKHL5sJyPbM9w$
Starting date: no later than 1st of December, 2025.
Salary: NOK (Norwegian Krone) from 550 800 - 595 000 per year
