The University of Luxembourg is a multilingual, international research university.
The University of Luxembourg invites applications to the following vacancy in the Department of Computer Science (http://dcs.uni.lu) within its Faculty of Science, Technology and Medecine:
Doctoral candidate (PhD student) in Computer Science (m/f)
The studentship would be conducted in the Security and Trust of Software Systems group (SaToSS), led by Prof Sjouke Mauw, with co-supervision from an experienced researcher in the group. The SaToSS group has a track record in producing outstanding researchers, for example the most recent PhD graduate, Jorge Toro-Pozo, was awarded for writing the best thesis of the year in computer science at University of Luxembourg and is now a researcher at ETH Zurich.
For more information on the SaToSS research group see: https://satoss.uni.lu/members/
The candidate’s tasks include:
Candidates should hold a master degree in computer science or mathematics. The candidate should demonstrate a pro-active approach to achieving research excellence.
Topics that can be selected for the PhD thesis include:
The methodology typically applied in the group is to harness formal methods and tools to analyse topical security problems such as the above. Formal methods employed are not limited to various strands of symbolic analysis, concurrency theory, logic, graph theory, and game theory. A student comfortable proving theorems can generally convert to such topics, if research in security is a new direction for the student. More specific topics can be suggested on request, and can be matched to a strong student's background and interests.
Applications —written in English— should be submitted online and include:
Deadline for application: 15 June 2020.
Early submission is highly encouraged as the applications are processed in order of reception. Applications by email will not be considered.Läs mer
|Titel||Doctoral candidate (PhD student) in Computer Science (m/f)|
|Employer||University of Luxembourg|
|Job location||6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg|
|Publicerad||april 7, 2020|
|Sista ansökningsdatum||juni 15, 2020|
|Ämnen||Informatik,   Informationsvetenskap,   Algoritmer,   Artificiell intelligens,   Artificiella neurala nätverk,   Dator och samhälle,   Datorarkitektur,   Datorkommunikation (nätverk),   Datorgrafik,    and 21 more. Cyber Security,   Databehandling inom matematik, naturvetenskap, teknik och medicin,   Databehandling inom samhällsvetenskap, humaniora,   Datautvinning,   Datastrukturer,   Databaser,   Distribuerad databehandling,   Människa-datorinteraktion,   Informationssystem (affärsinformatik),   Operativsystem,   Parallell databehandling,   Programmeringsspråk,   Kvantdatoranvändning,   Programvaruteknik,   Beräkningsteori,   Beräkningsvetenskaper,   Speldesign,   Big data,   Maskininlärning,   Robotseende,   Datorseende  |