(ref. BAP-2022-697)
Laatst aangepast : 3/10/2022DistriNet 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 over 100 researchers, including 16 full-time professors, 10 permanent research staff members, 14 postdoctoral researchers, and about 80 PhD researchers. The conducted research is systems-centric, always application-driven and often performed in close collaboration with industry. The know-how of DistriNet formed the basis of multiple spin-off companies (https://distrinet.cs.kuleuven.be/spinoffs/). The new blockchain and decentralized systems team within DistriNet studies the software technologies underlying “Web3” decentralized applications - apps that can autonomously control digital assets recorded on blockchains with no central point of control. We are looking for new colleagues to join us in making these systems more secure and easier to build.
Project
In this position you will perform research on decentralized applications under the supervision of prof. Tom Van Cutsem. Our research aims to cover the full stack of building secure decentralized applications, from the blockchain layer to the smart contract execution layer all the way up to the application logic. We study both existing platforms (e.g. Ethereum, Cosmos) as well as create the foundations for next-generation Dapp platforms. The specific scope of your research project is open for discussion. Potential in-scope research topics include:
- Invent new programming models for writing smart contracts or application-specific blockchains (languages, type systems, virtual machines, …)
- Perform formal verification of smart contracts or blockchain kernel code
- Invent or study secure distributed object protocols to track ownership of digital assets
- Design extensible software frameworks to build decentralized blockchain-based applications
- Document decentralized application architectures & design patterns
- Invent new techniques to scale transaction processing on blockchains or related distributed ledger technology
- Improve the privacy of decentralized applications (e.g. using zero-knowledge proofs, …)
Profile
You share our strong interest in secure decentralized applications and you have
- a master in computer science (or equivalent),
- an analytical mind,
- technical skills,
- and fluent English communication skills.
Offer
We offer a full-time position as PhD researcher in computer science :
- you will join a supportive and collaborative team in which you can develop know-how and expertise in state-of-the-art technologies,
- you will have the opportunity to build up research and innovation skills that are essential for a future career in academia or in industry,
- you will work in a multicultural working environment at the KU Leuven High Tech Campus.
Interested?
For more information please contact Prof. dr. Tom Van Cutsem, tel.: +32 16 32 19 27, mail: [email protected].
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 [email protected].
Similar Positions
-
Ph D Position On Antarctic Climate Causality, KU Leuven, Belgium, 18 days ago
10 Apr 2024 Job Information Organisation/Company KU Leuven Research Field Environmental science » Other Researcher Profile First Stage Researcher (R1) Country Belgium Application Deadline 29 Apr 2...
-
Ph D On Astronomy Education In A Planetarium, KU Leuven, Belgium, 18 days ago
10 Apr 2024 Job Information Organisation/Company KU Leuven Research Field Astronomy » Other Educational sciences » Learning studies Researcher Profile First Stage Researcher (R1) Country Belgium A...
-
Ph D Student In Social Psychology, KU Leuven, Belgium, 3 days ago
24 Apr 2024 Job Information Organisation/Company KU Leuven Research Field Psychological sciences » Psychology Researcher Profile First Stage Researcher (R1) Country Belgium Application Deadline 31...
-
2 Ph D Positions On The Fwo Odysseus 1 Cor Project, KU Leuven, Belgium, 28 days ago
29 Mar 2024 Job Information Organisation/Company KU Leuven Research Field Religious sciences Researcher Profile First Stage Researcher (R1) Country Belgium Application Deadline 7 May 2024 - 00:00 ...
-
Ph D Fellowship In Computer Science: Distributed Systems Verification , University of Stavanger, Norway, about 20 hours ago
Elisabeth Tønnesen 19th May 2024 Languages English Norsk Bokmål English English Want to contribute to more robust and secure blockchain systems? PhD Fellowship in Computer Science: Distributed Sys...
-
Ph D Position On The Significance Of Bilingual Manuscripts For Detecting Cross Language Interaction In The New Testament Tradition, KU Leuven, Belgium, 28 days ago
29 Mar 2024 Job Information Organisation/Company KU Leuven Research Field Religious sciences Researcher Profile First Stage Researcher (R1) Country Belgium Application Deadline 7 May 2024 - 00:00 ...