Universitetet i Oslo

Oslo

Silvia Lizeth Tapia Tarifa

Associate Professor

For questions regarding Jobbnorge, contact Therese Ringvold

HR Adviser at the Faculty

<h2>About the position</h2><p>Position as PhD Research Fellow in formal methods for data protection in digital twins is available at the Department of Informatics.</p><p>Starting date no later than December 1, 2025. The fellowship period is three years.</p><p>A fourth year maybe considered and it will involve 25 percent of other career-promoting work. Other career-promoting work may consist of teaching, supervision, and/or research assistance. This is dependent upon the qualification of the applicant and the current needs of the department.</p><p>No one can be appointed for more than one PhD Research Fellowship period at the University of Oslo. </p><br /><h2>Job description</h2><p>This position is funded by the Department of Informatics and will be part of the collaboration between the Reliable Systems (PSY) research group, which works in formal methods, programming language theory and digital twins, and the Data and Knowledge Management (DKM) research group, which works in sematic technologies. Both groups have a dynamic and interactive working environment with good gender balance, consisting of full-time professors, researchers, and many postdocs and PhD candidates.</p><p>The planned PhD research topic will explore techniques to handle protected data in digital twin architectures. To explore and investigate this topic, the project will combine formal methods, programming language theory and semantic technologies, aiming to develop systematic techniques for handling protected data. The planned topic aims to develop methods that can be integrated within a digital twin framework. The PhD project aims at demonstrating the results by either a theoretical framework or in an experimental proof of concept that can be integrated to the existing digital twin framework SMOL (<a href="https://smolang.org/" rel="nofollow">https://smolang.org/</a>).</p> <p>A digital twin is a virtual representation of a system that is continuously updated with real-time data to simulate, predict, or analyse the performance or behaviour of the twinned system. Digital twins rely heavily on data to maintain their operations, which includes both real-time data and historical data, some of which can be highly sensitive and need to be protected. Access to such data and further processing should be guaranteed to happen according to some established policy or contract, and it should prevent any other unauthorised access or usage since sensitive data that is disclosure, or misuse could potentially lead to risks such as identity theft, financial loss, reputational damage, or legal consequences.</p><br /><h2>What skills are important in this role?</h2><p>The Faculty of Mathematics and Natural Sciences has a strategic ambition to be among Europe’s leading communities for research, education and innovation. Candidates for these fellowships will be selected in accordance with this, and expected to be in the upper segment of their class with respect to academic credentials.</p><p><strong>Qualification requirements:</strong></p><ul><li>Master’s degree or equivalence in a relevant field of computer science or informatics for this position, such as programming language theory, formal methods or semantic technology</li><li>A solid documented background in theoretical computer science is required</li><li>Foreign completed degree (M.Sc.-level) corresponding to a minimum of four years in the Norwegian educational system</li><li>Fluent oral and written English communication skills</li><li>Applicants must submit a statement of research interests indicating why this PhD topic fits their interest/background. This statement of research interest should not exceed one page</li></ul><p><strong>Desired qualifications:</strong></p><ul><li>Good knowledge in programming language theory, algorithms, distributed systems and logic</li><li>Experience with language-based techniques for information-flow analysis or access control, formal methods or semantic technologies will be considered an advantage when candidates are ranked</li></ul><p><strong>Language requirement:</strong></p><ul><li>Good oral and written communication skills in English</li><li>English requirements for applicants from outside of EU/ EEA countries and exemptions from the requirements:<br /><a href="https://www.mn.uio.no/english/research/phd/regulations/regulations.html#toc8" rel="nofollow">https://www.mn.uio.no/english/research/phd/regulations/regulations.html#toc8</a></li></ul><p><strong>Grade requirements:</strong><br />The norm is as follows:</p><ul><li>The average grade point for courses included in the Bachelor’s degree must be C or better in the Norwegian educational system</li><li>The average grade point for courses included in the Master’s degree must be B or better in the Norwegian educational system</li><li>The Master’s thesis must have the grade B or better in the Norwegian educational system</li></ul><p>The purpose of the fellowship is research training leading to the successful completion of a PhD degree. For more information see:<br /><a href="https://www.mn.uio.no/english/research/phd/" rel="nofollow">http://www.mn.uio.no/english/research/phd/</a></p><p>All candidates and projects will have to undergo a check versus national export, sanctions and security regulations. Candidates may be excluded based on these checks. Primary checkpoints are the Export Control regulation, the Sanctions regulation, and the national security regulation.</p><br /><h2>What are we looking for in you?</h2><p><strong>Personal skills:</strong></p><ul><li>Strong analytical skills</li><li>Independent thinking, creativity, and good at taking initiative</li><li>Good communication and interpersonal skills</li></ul><p>Employment in the position is based on a comprehensive assessment of all qualification requirements applicable to the position, including personal qualifications.</p><br /><h2>We can offer you</h2><ul><li>A pleasant and stimulating work environment</li><li>Good <a href="https://www.uio.no/english/for-employees/employment/welfare/index.html" rel="nofollow">welfare schemes</a></li><li>Opportunity of up to 1.5 hours a week of <a href="https://www.uio.no/english/for-employees/employment/welfare/exercise/" rel="nofollow">exercise during working hours</a></li><li>A workplace with good development and career opportunities</li><li><a href="https://www.mn.uio.no/english/research/phd/career-support/index.html" rel="nofollow">Career development programmes</a></li><li>Membership in the <a href="https://www.spk.no/en/" rel="nofollow">Statens Pensjonskasse,</a> which is one of Norway&#39;s best pension schemes with beneficial mortgages and good insurance schemes</li><li>Oslo’s family-friendly surroundings with their rich opportunities for culture and outdoor activities</li><li>Salary in position as PhD Research Fellow, position code 1017 in salary range NOK from 550 800 - 595 000, depending on competence and experience. From the salary, 2 percent is deducted in statutory contributions to the State Pension Fund </li></ul><br /><h2>Inclusive worklife and diversity at UiO</h2><p>Inclusion and diversity are a strength. The University of Oslo has a personnel policy objective of achieving a balanced gender composition. Furthermore, we want employees with diverse professional expertise, life experience and perspectives.</p><p>If there are qualified applicants with disabilities, employment gaps or immigrant background, we will invite at least one applicant from each of these categories to an interview.</p><p>We hope that you will apply for the position.</p><p>More information about gender equality initiatives at UiO can be found <a href="https://www.uio.no/english/for-employees/competence/gender-equality/index.html" rel="nofollow">here. </a></p><br /><h2>How to apply</h2><p><strong>The application must include:</strong></p><ul><li>Cover letter - statement of motivation and research interests</li><li>CV (summarizing education, positions and academic work - scientific publications)</li><li>A statement of research interests indicating why this PhD topic fits their interest/background is required. The statement should not exceed one page</li><li>Transcripts of records, copies of the original Bachelor’s and Master’s degree diploma (see below)</li><li>Documentation of English proficiency if applicable</li><li>List of publications and academic work that the applicant wishes to be considered by the evaluation committee</li><li>Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number)</li></ul><p>Application with attachments must be submitted via our recruitment system Jobbnorge, click &#34;Apply for the position&#34;.</p><p>When applying for the position, we ask you to retrieve your education results from <a href="https://www.vitnemalsportalen.no/english/" rel="nofollow">Vitnemålsportalen.no</a>. If your education results are not available through Vitnemålsportalen, we ask you to upload copies of your transcripts or grades. Please note that all documentation must be in English or a Scandinavian language.</p><br /><h2>General information</h2><p>The best qualified candidates will invited for interviews.<br /><br />Applicant lists can be published in accordance with <a href="https://lovdata.no/dokument/NLE/lov/2006-05-19-16" rel="nofollow">Norwegian Freedom of Information Act § 25</a>. When you apply for a position with us, your name will appear on the public applicant list. It is possible to request to be excluded from this list. You must justify why you want an exemption from publication and we will then decide whether we can grant your request. If we can&#39;t, you will hear from us.</p> <p>Please refer to <a href="https://www.uio.no/english/about/regulations/personnel/academic/guidelines-appointment-postdoc-researcher.html" rel="nofollow">Regulations for the Act on universities and colleges chapter 3</a> (Norwegian), <a href="https://www.uio.no/english/about/regulations/personnel/academic/guidelines-appointment-postdoc-researcher.html" rel="nofollow">Guidelines concerning appointment to post doctoral and research posts at UiO</a> (Norwegian) and <a href="https://www.uio.no/english/about/regulations/research/doctoral-degree/phdforskreng.html" rel="nofollow">Regulations for the degree of Philosophiae Doctor (PhD) at the University of Oslo</a>.  </p><p>The University of Oslo has a <a href="https://www.uio.no/english/for-employees/employment/work-results/agreement-rights-to-work-results.html" rel="nofollow">transfer agreement</a> with all employees that is intended to secure the rights to all research results etc.</p><br />

PhD Research Fellow in Formal Methods for Data Protection in Digital Twins