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


If you apply for this position please say you saw it on Computeroxy

Apply

All Jobs

FACEBOOK
TWITTER
LINKEDIN

queens uni belfast unted kingdom

Harvard University Academic Positions

Kuwait University Current Faculty Openings

Osaka University Academic Opportunities

Purdue University Job Postings for Faculty Positions

Texas Tech University Faculty Openings

Tsinghua University Job Postings

University of Geneva Faculty Opportunities

University of New South Wales Job Openings

University of Nottingham Research Positions

University of Oslo Academic Jobs

University of Saskatchewan Faculty Positions

University of Southampton Research Vacancies

University of Tokyo Current Academic Vacancies

University of Toronto Open Faculty Positions