[ 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 information-flow
analysis for 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 greatly appreciate 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
Applications deadline: 28th of February, 2025.
Webpage:
https://urldefense.com/v3/__https://www.jobbnorge.no/en/available-jobs/job/274336/phd-research-fellow-in-the-information-flow-analysis-for-digital-twins__;!!IBzWLUs!SMNITjHiCWlSYxAeiNkrjrVa7XCH8PwU9mUuus_szGjswoL-FxeSPLtrr5NS4IpB9yuPYy38TCEz-zJD1rXTMTKo8Ku3xqiMAw$
Starting date: no later than 1st of October, 2025.
Salary: NOK (Norwegian Krone) 536 200 – 575 400 per year
