PhD Position in Provable Security and Privacy

Catholic University of Leuven Department of Computer Science

Belgium

 
DistriNet is an international research group with extensive expertise in secure & distributed software. Embedded in the department of Computer Science of KU Leuven, DistriNet brings together a substantial critical mass of +/- 90 researchers, including 12 full-time professors, 10 permanent research staff members, 11 postdoctoral researchers, and about 60 PhD researchers. The conducted research is systems-centric, always application-driven and often performed in close collaboration with industry (e.g. in industrial automation, healthcare, transport & logistics). The know-how of DistriNet formed the basis of multiple spin-off companies (https://distrinet.cs.kuleuven.be/spinoffs/). We are now looking for new colleagues to strengthen our research capabilities on access control with a focus on authorization for next generation distributed applications.

Project

Many access control solutions are reactive in nature. They verify whether a request is granted or denied depending on whether certain security and privacy constraints are met. The evaluation of governance rules at runtime inherently comes with a significant computational overhead. Demonstrating that a (distributed) software system is compliant with certain security and privacy principles - such as the principle of least privilege - by exhaustively testing all scenarios for all users is often practically not feasible. Detecting compliance violations is thus  a non-trivial challenge when software systems evolve and access control policies must be updated accordingly. 
 
The goal of your research is to investigate provable assurance of security and privacy compliance for access control policies using formal foundations, including propositional logic, automated reasoning and theorem provers. 
Your research may lead to a PhD trajectory in computer science, but this is not a mandatory objective. 

Profile

If you share our strong interest in this research topic and if you have
  • a master in computer science or equivalent
  • optionally some industry experience
  • an analytical mind and strong technical skills
  • a team player attitude and the capability to work in an international research team
  • excellent English communication skills, both oral and written

then you might be the researcher we are looking for.

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
  • the foreseen start date is between April 1 and October 1

Interested?

For more information please contact Mr. Davy Preuveneers, tel.: +32 16 32 78 53, mail: davy.preuveneers@kuleuven.be or Mr. Bert Lagaisse, tel.: +32 16 32 78 55, mail: bert.lagaisse@kuleuven.be.

You can apply for this job no later than April 30, 2020 via the
KU Leuven seeks to foster an environment where all talents can flourish, regardless of gender, age, cultural background, nationality or impairments. If you have any questions relating to accessibility or support, please contact us at diversiteit.HR@kuleuven.be.

  • Employment percentage: Voltijds
  • Location: Leuven
  • Apply before: April 30, 2020
  • Tags: Computerwetenschappen
  • Download: file


In your application, please refer to Professorpositions.com

FACEBOOK
TWITTER
LINKEDIN

amsterdam uni

antwerp uni

cambridge uni

florida uni

hamburg uni

harvard uni

hiroshima uni

oslo uni

purdue uni

ryerson uni

shanghai jiao tong uni

stockholm uni