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 Position: Novel Coatings For Programmable Photonics, Eindhoven University of Technology, Netherlands, about 1 hour ago
Irène Curie Fellowship No Department(s) Electrical Engineering Reference number V36.7349 Job description The advanced photonic solutions lab (APSL) at the Electro-Optics Communication (ECO) group ...
-
Ph D In Computational Chemistry , University of Amsterdam, Netherlands, 15 days ago
PRONTO (PROperty prediction by Network TOpology modelling of polymer films) is a 3-PhD project concerning ‘drying’ of paints or coating solutions, a solidification process where multifunctional m...
-
Ph D Position On Theoretical Physics And Machine Learning , University of Amsterdam, Netherlands, 9 days ago
The project you will work on lies on the boundary between AI and theoretical physics. Physics has been a source of inspiration for innovation since the early days of machine learning. In particula...
-
Ph D In Computational Chemistry , University of Amsterdam, Netherlands, 15 days ago
PRONTO (PROperty prediction by Network TOpology modelling of polymer films) is a 3-PhD project concerning ‘drying’ of paints or coating solutions, a solidification process where multifunctional m...
-
Ph D Candidate In The Neurophysiological Foundations Of Autism Spectrum Disorders , University of Amsterdam, Netherlands, 22 days ago
Autism spectrum disorder (ASD) refers to a range of early-onset communication deficits and repetitive sensory-motor behaviors that have a strong genetic component. According to global estimates, A...
-
Ph D Candidate Random Histogram Limits And Exact Quantum Field Theories , University of Amsterdam, Netherlands, 20 days ago
The Korteweg – de Vries Institute of the Faculty of Science is inviting applications for a fully funded PhD position (4 years) for the research project: Random histogram limits and exact quantum...