Postdoctoral Position in Protocol Testing

Postdoctoral Position in Protocol Testing

Uppsala University

Uppsala, Sweden

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.

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.

Apply NowDeadline 10 July