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/). The DistriNet program verification team, operating under the supervision of Prof. Bart Jacobs, is mainly focused on trying to find practical approaches for software development teams to verify security properties and other important properties of programs. Currently this team has one open position for a PhD student.
This position involves performing research on program verification under the supervision of Prof. dr. Bart Jacobs, 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.
The topic is to be agreed. Possible topics include:
If you share our strong interest this research topic and if you have
then you might be the researcher we are looking for.
For more information please contact Prof. dr. ir. Bart Jacobs, tel.: +32 16 37 20 14, mail: firstname.lastname@example.org.
You can apply for this job no later than April 30, 2020 via the online application tool
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.Continue reading
|Job location||Oude Markt 13, 3000 Leuven|
|Published||February 21, 2020|
|Application deadline||April 30, 2020|
|Job types||Research assistant,   PhD  |
|Fields||Informatics,   Information Science,   Algorithms,   Artificial Intelligence,   Artificial Neural Network,   Computer and Society,   Computer Architecture,   Computer Communications (Networks),   Computer Graphics,    and 21 more. Cyber Security,   Computing in Mathematics, Natural Science, Engineering and Medicine,   Computing in Social science, Arts and Humanities,   Data Mining,   Data Structures,   Databases,   Distributed Computing,   Human-computer Interaction,   Information Systems (Business Informatics),   Operating Systems,   Parallel Computing,   Programming Languages,   Quantum Computing,   Software Engineering,   Theory of Computation,   Computational Sciences,   Game Design,   Big Data,   Machine Learning,   Machine Vision,   Computer Vision  |