Ref IDA-2023-00227
We have the power of over 40,000 students and co-workers. Students who provide hope for the future. Co-workers who contribute to Linköping University meeting the challenges of the day. Our fundamental values rest on credibility, trust and security. By having the courage to think freely and innovate, our actions together, large and small, contribute to a better world. We look forward to receiving your application!
We are looking for a PhD student in computer science specializing in formal security analysis.
Your work assignments
Your task as a PhD student will be to conduct world-class research in cybersecurity as part of the project “Protocol security verification using dynamic key structures” funded by the ELLIIT strategic research initiative and carried out in collaboration with Lund University. The aim of the project is to tackle the inherent computational complexity of protocol security analysis by providing the means and the tools to leverage model structures (e.g., dynamic key dependencies) in models of security mechanisms and to use these structures to automate security analysis.
As a doctoral student, you devote most of your time to doctoral studies and the research projects of which you are part. Your work may also include teaching or other departmental duties, up to a maximum of 20% of full-time.
Your qualifications
You have graduated at Master’s level in computer science or mathematics or completed courses with a minimum of 240 credits, at least 60 of which must be in advanced courses in the computer science. Alternatively, you have gained essentially corresponding knowledge in another way.
A candidate for this position is expected to have completed courses in computer science and mathematics with excellent grades. In addition to course transcripts, the candidate should be able to demonstrate software development skills (e.g., through a programming portfolio), as well as mathematical proficiency (e.g., through course work).
Excellent communication in English, both verbally and written, is a requirement.
The work of a PhD student is driven by curiosity, passion for innovation and creativity, and ability to work independently.
Your workplace
The Department of Computer and Information Science was founded in 1983 but its roots go back to the early 1970s. It is one of the largest computer science departments in northern Europe.
Our research covers a broad spectrum of fields, from core to applied computer sciences. Its vast scope also benefits our undergraduate and graduate programmes, and we now teach courses in several engineering programmes at bachelor’s and master’s levels, as well as the programmes in statistics, cognitive science and innovative programming. Read more at https://liu.se/en/organisation/liu/ida
You will belong to the Real-time Systems Laboratory (RTSLAB) in the Software and Systems (SaS) Division within the Department of Computer and Information Science (IDA) at Linköping University. We conduct research in the areas of dependability, security, and resource allocation in distributed systems.
The employment
When taking up the post, you will be admitted to the program for doctoral studies. More information about the doctoral studies at each faculty is available at Doctoral studies at Linköping University
The employment has a duration of four years’ full-time equivalent. You will initially be employed for a period of one year. The employment will subsequently be renewed for periods of maximum duration two years, depending on your progress through the study plan. The employment may be extended up to a maximum of five years, based on the amount of teaching and departmental duties you have carried out. Further extensions can be granted in special circumstances.
Starting date by agreement.
Salary and employment benefits
The salary of PhD students is determined according to a locally negotiated salary progression. The starting salary is currently 31 500 SEK per month.
More information about employment benefits at Linköping University is available here.
Union representatives
Information about union representatives, see Help for applicants.
Application procedure
Apply for the position by clicking the “Apply” button below. Your application must reach Linköping University no later than September 26, 2023.
Applications and documents received after the date above will not be considered.
We welcome applicants with different backgrounds, experiences and perspectives – diversity enriches our work and helps us grow. Preserving everybody’s equal value, rights and opportunities is a natural part of who we are. Read more about our work with: Equal opportunities. We look forward to receiving your application!
Linköping university has framework agreements and wishes to decline direct contacts from staffing- and recruitment companies as well as vendors of job advertisements.
Contact persons
Mikael Asplund
Associate professor
Sandra Malmström
HR-administrator
URL to this page
https://liu.se/en/work-at-liu/vacancies/22714