Sweden 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!
Sweden are looking for a PhD student in computer science specializing in formal security analysis.
Your Task during PhD
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.
Requried qualifications for this unique PhD
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. 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. 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.