[TYPES/announce] PhD position at Univ. of Oslo in formal methods for data protection in digital twins

[Silvia Lizeth Tapia Tarifa]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250702/72d50159/attachment-0001.htm>