The complexity of Computing systems is getting increasingly more complex. Both simple machine systems, but especially distributed and decentral systems. A significant consequence of this a significant decrease in reliability, which can result in problems relating to everything from runtime errors (e.g., erroneous execution and race conditions) to security guarantees (e.g., side-channel attacks, loss of information).An alternative approach to mitigate these problems is to look at the models that we use to build programming languages. Often, we do not need the full power of Turing completeness but can do with a more restricted model. This, of course, poses the questions of how these models look and to what degree these restrictions can be made without removing the central properties that we want.
This fellowship will investigate this problem. To get a feel for the possibilities will start by designing and investing a simple toy programming language for a reversible distributes model. This model restricts information flow and gives the possibility for reverse execution, while not overly restricting Turing completeness. The understanding of what guarantees are achieve and which problems are mitigated, will then be used to approach existing models and programming languages.
For more information and how to apply: https://www.jobbnorge.no/en/available-jobs/job/217339/phd-research-fellowship-in-informatics
Similar Positions
-
Ph D Candidate In Integrated Modeling For Plant Life History Traits , University of Amsterdam, Netherlands, 25 days ago
Do you enjoy using computational approaches to study biological problems? Are you interested in using a combination of machine learning and mechanistic modelling? We invite enthusiastic and dedica...
-
Phd Position In Multiscale Modelling Of Endothelial Cell Monolayers In Health And Disease , University of Amsterdam, Netherlands, 5 days ago
Do you have a passion for life sciences, physiology, or medicine and are eager to employ computational science methods to study endothelial cells in the microcirculation? The Computational Science...
-
Ph D Student: Physical Learning Machines, AMOLF, Netherlands, about 7 hours ago
The Learning Machines group seeks motivated PhD students to join our team working on learning in physical systems. What are learning machines? Imagine your favorite artificial intelligence machin...
-
Ph D Position: Nanophotonics With 2 D Quantum Materials , University of Amsterdam, Netherlands, 24 days ago
Are you a highly motivated physicist interested in a PhD project at the intersection between nanophotonics and 2D material science? The 2D Nanophotonics group within the Institute of Physics has a...
-
Ph D Biodiverse Urban Waterfronts , University of Amsterdam, Netherlands, 17 days ago
Do you want to contribute to more biodiverse and healthier cities? Then this PhD position might be for you! The ecology of Amsterdam’s water system, characterized by its historic canals and bridge...
-
Ph D Candidate: Software Security , Radboud University, Netherlands, 1 day ago
Employment 0.8 - 1.0 FTE Gross monthly salary € 2,770 - € 3,539 Required background Research University Degree Organizational unit Faculty of Science Application deadline 19 May 2024 Apply now Are...