Jobs @ DistriNet

Working Environment

  • KU Leuven is one of Belgium's leading research institutions
  • the campus offers top-class educational and recreational facilities
  • DistriNet is the premier research group in Belgium on distributed software and software security and collaborates actively with many peer research centers in Europe
  • both the research group and the university provide a dynamic and international environment
  • the working language is English, the knowledge of Dutch is not required
  • Leuven is a lively, language friendly university city located near Brussels airport

Currently we are looking for:

Researcher/PhD student in Security and Privacy in an Internet of Things Environment

We have one open position for a junior researcher/PhD student in the SBO project SPITE (Security and Privacy in a Internet-of-Things Environment). SPITE aims at finding appropriate solutions for realizing advanced access control in an Internet-of-Things (IoT) setting. The new mechanisms will allow for increased flexibility, adaptability and security by making use of IoT devices to ’trustworthily’ determine the user’s context, and based on this context adapting the required authentication procedure and the prevailing authorization rules. Moreover, some of the solutions can be applied to protect a subset of the IoT devices managed by the user.

Profile

If you share our interest in Security and Privacy in a Internet-of-Things Environment and if you have

  • a Master degree in computer science or similar,
  • knowledge of IT security and/or privacy-protection techniques (i.e. you should have received credits for at least one course on this topic),
  • an analytical mind and strong technical skills,
  • a team player attitude and the capability to work in an international research team,
  • excellent communication skills, both oral and written and proficient in English.

We offer

  • full-time appointment as a doctoral student or researcher,
  • a supportive and collaborative team in which you can develop know-how and expertise in state-of-the-art technologies,
  • the opportunity to build up research and innovation skills that are essential for a future career in industrial as well as academic research and development environments,
  • support in the further development of your competences to analyze strategic research problems and to architect and evaluate innovative solutions with industrial applicability,
  • an international and multicultural working environment at the KU Leuven High Tech Campus.

To apply you should send your

  • Curriculum Vitae, motivation and relevant research experience;
  • Study curriculum with rankings, English proficiency and Pdf of diploma and transcripts (translation if necessary);
  • Names and e-mail of 2 reference persons, and the nature of contact with them.

Interested?

Do not hesitate to contact Bart De Decker if you have any questions regarding this open position. You can apply for this job no later than September 30, 2019.

Researcher/PhD student in Access Control for Next-generation Distributed Applications

We are looking for new colleagues to strengthen our research capabilities on access control with a focus on authorization for next generation distributed applications.

Nowadays, cloud, fog and edge applications are confronted with a growing number of cybersecurity threats and an increasing sophistication of attacks. As a result, new research challenges emerge about the way we secure access to critical resources. Within DistriNet, we gather more than 30 researchers working on and with middleware platforms. We focus on authentication, authorization, auditing, security analytics, etc. We tackle access control challenges in any of the following topics of interest:

  • API protection for (micro)service applications in container orchestrations
  • Formal verification of authorization policies against specific security properties (e.g. Separation of Duty)
  • Authorization policies for secure application deployment in cloud, fog and edge environments
  • Dynamic and adaptive policy-based access control for ever-evolving cybersecurity threat landscapes

We apply our findings in case studies in innovative application domains, including e-health, Industry 4.0, e-finance, e-media and e-government.

Profile

If you share our strong interest in security and distributed systems and if you have

  • a master in computer science (or equivalent),
  • an analytical mind and strong technical skills,
  • optionally some industry experience,
  • a team player attitude and the capability to work in an international research team;
  • excellent communication skills, both oral and written and proficient in English.

then you might be the researcher we are looking for. An interest in microservices (e.g. Spring Cloud), container frameworks (e.g. Docker, Kubernetes), access control standards (e.g. XACML, OAuth 2.0) or model checkers (e.g. SPIN, NuSMV) is a plus.

The research position leads to a PhD trajectory in computer science, but that is not a mandatory objective for interested candidates who wish to apply for this position.

We offer

  • a supportive and collaborative team in which you can develop know-how and expertise in state-of-the-art technologies,
  • the opportunity to build up research and innovation skills that are essential for a future career in industrial as well as academic research and development environments,
  • support in the further development of your competences to analyze strategic research problems and to architect and evaluate innovative solutions with industrial applicability,
  • an international and multicultural working environment at the KU Leuven High Tech Campus.

To apply you should send your

  • Curriculum Vitae, motivation and relevant research experience;
  • Study curriculum with rankings, English proficiency and Pdf of diploma and transcripts (translation if necessary);
  • Names and e-mail of 2 reference persons, and the nature of contact with them.

Interested?

Contact Davy Preuveneers & Bert Lagaisse . Do not hesitate to contact us if you have any questions regarding these open positions. You can apply for this job no later than September 30, 2019.

back to top

PhD students in Program Verification

We have two open PhD student positions in the program verification group. These positions involve performing research on program verification under the supervision of Prof. dr. Bart Jacobs and postdoctoral researcher Amin Timany, with the goal of obtaining a PhD within four to five years. PhD students are expected to publish and present their results regularly at competitive international conferences and journals, which generally involves international travel, as well as to contribute to the Department's educational obligations. Possible topics include:

  • Logical techniques known as "logical relations" for proving properties of advanced programming languages and programs written in those languages, such as compiler correctness, compiler security, correctness of optimizations.
  • Developing advanced program logics for reasoning about correctness of higher-order programs with fine-grained concurrency.
  • Developing supporting theories, such as type theory and category theory, to serve as logical and semantic foundations for program logics
  • Developing supporting tools, such as proof assistants (e.g. Coq, Agda) and program verification tools (e.g. Iris, VeriFast), including advancing their usability by developing improved automation technologies.

Links:

Profile

  • Strong background in computer science (Master's degree or equivalent)
  • Strong background in mathematical logic and/or theoretical foundations of computer science
  • a team player attitude and the capability to work in an international research team;
  • excellent communication skills, both oral and written and proficient in English.

To apply you should send your

  • Curriculum Vitae, motivation and relevant research experience;
  • Study curriculum with rankings, English proficiency and Pdf of diploma and transcripts (translation if necessary);
  • Names and e-mail of 2 reference persons, and the nature of contact with them.

Interested?

Contact Prof. Bart Jacobs & Dr. Amin Timany . Do not hesitate to contact us if you have any questions regarding these open positions.

back to top

Apply spontaneously