Postdoctoral position in protocol testing

Uppsala universitet; Uppsala; On-site; SEK 300 000 - 450 000; Full time

Job summary

Le département d'Informatique de l'université d'Uppsala recherche un chercheur post-doctoral pour développer des techniques de test de sécurité d'implémentations de protocoles réseau. Ce poste temporaire de deux ans implique la réalisation de recherches avancées, la publication et le potentiel d'enseignement dans un cadre collaboratif avec des experts reconnus dans le domaine.

Benefits

Accès à un réseau international de chercheurs

Environnement de travail stimulant

Possibilité de développement professionnel

Qualifications

• Doctorat en Informatique ou Ingénierie Informatique obligatoire.
• Excellentes compétences en anglais parlé et écrit.
• Expérience préalable en recherche.

Responsibilities

• Effectuer des recherches sur les tests de sécurité des implémentations de protocoles réseau.
• Publication des résultats de recherche dans des revues académiques.
• Conseiller d'autres étudiants et peut-être enseigner.

Skills

Analyse de programme

Vérification formelle

Fuzzing

Exécution symbolique

Modélisation

Ingénierie des protocoles

Education

Doctorat en Informatique

Job description

The Department of Information Technology holds a leading position in both research and education at all levels. We are currently Uppsala University's third largest department, have around 350 employees, including 120 teachers and 120 PhD students. Approximately 5,000 undergraduate students take one or more courses at the department each year. You can find more information about us on the Department of Information Technology website.

Duties

Research, publication, advising, and possibly teaching.

Research area

The candidate will perform research to develop techniques for security testing of network protocol implementations. Relevant techniques include, but are not limited to, protocol testing, model learning, fuzzing, symbolic execution, taint analysis, program analysis, and formal verification. The goals include to significantly extend the power and scalability of automated protocol testing techniques to make the applicable to real-world implementations; foreseen applications include implementations of security protocols and other stateful software systems.

Environment

The position is funded by the Swedish Science Council (VR) through the project “Effective Security Testing of Network Protocol Implementations” (PI Kostis Sagonas). The research environment brings together several researchers at Uppsala University (Parosh Abdulla, Mohammed Faouzi Atig, Bengt Jonsson, Kostis Sagonas, and Wang Yi) that are world-renowned in the fields of automated verification, programming language implementation, and testing. Recent contributions of the group in the area of the position include techniques for protocol state fuzzing and model learning and tools such as DTLS-Fuzzer and SMBugFinder. Other tools developed by members of the group include the UPPAAL model checker, high-impact techniques and tools for testing and verification of multi-threaded software (Concuerror and Nidhugg), and several testing and static analysis tools for the Erlang programming language (Dialyzer and PropEr). Past related efforts include the project “aSSIsT: Secure Software for the Internet of Things” (https://assist-project.github.io/) where more information about recent work in the area of the position can be found.

Requirements

PhD degree in Computer Science or Compute Engineering or a foreign degree equivalent to a PhD degree in Computer Science or Compute Engineering. The degree needs to be obtained by the time of the decision of employment. Those who have obtained a PhD degree three years prior to the application deadline are primarily considered for the employment. The starting point of the three-year frame period is the application deadline. Due to special circumstances, the degree may have been obtained earlier. The three-year period can be extended due to circumstances such as sick leave, parental leave, duties in labour unions, etc.

Excellent Skills In Spoken And Written English Are Required.

Application

Applications should include a description of research interests and past experience, including a motivation for applying for this position, a CV, copies of exams, degrees and grades, a copy of Ph.D. thesis (or a draft thereof), relevant publications, and other relevant documents. Applications should be accompanied by at least two letter(s) of recommendation or contact information to reference persons, as well as earliest feasible starting date of employment.

About The Employment

The employment is a temporary position of two years according to central collective agreement. Full time position. Starting date September/October 2025 or as agreed. Placement: Uppsala

For further information about the position, please contact: Kostis Sagonas ([e-mail]) or Bengt Jonsson ([e-mail]).

Please submit your application by 10 July 2025, UFV-PA 2025/1694.

Are you considering moving to Sweden to work at Uppsala University? Find out more about what it´s like to work and live in Sweden.

Uppsala University is a broad research university with a strong international position. The ultimate goal is to conduct education and research of the highest quality and relevance to make a difference in society. Our most important asset is all of our 7,600 employees and 53,000 students who, with curiosity and commitment, make Uppsala University one of Sweden’s most exciting workplaces. Read more about our benefits and what it is like to work at Uppsala Universityhttps://uu.se/om-uu/jobba-hos-oss/ The position may be subject to security vetting. If security vetting is conducted, the applicant must pass the vetting process to be eligible for employment. Please do not send offers of recruitment or advertising services. Submit your application through Uppsala University's recruitment system.

Anställningsform: tidsbegränsad anställning | Anställningens omfattning: heltid | Antal lediga befattningar: 1 | Sysselsättningsgrad: 100% | Ort: Uppsala | Län: Uppsala län | Land: Sweden | Referensnummer: UFV-PA 2025/1694 | Facklig företrädare: Seko Universitetsklubben [e-mail], Seko Universitetsklubben [e-mail], ST/TCO [e-mail], ST/TCO [e-mail], Saco-rådet [e-mail], Saco-rådet [e-mail], | Publicerat: 2025-06-10 | Sista ansökningsdag: 2025-07-10