PhD Candidate: Declarative Programming and the Internet of Things

You will be working on the semantics and verification of systems software (libraries for concurrency, efficient data structures, compilers, and/or operating systems) using type systems, separation logic, and proof assistants. As part of this PhD project, you will contribute to one or more topics: - The type-theoretical foundations and implementation of the...

You will be working on the semantics and verification of systems software (libraries for concurrency, efficient data structures, compilers, and/or operating systems) using type systems, separation logic, and proof assistants. As part of this PhD project, you will contribute to one or more topics: - The type-theoretical foundations and implementation of the...

The Chair Group of Environmental Governance and Politics (EGP) at the Nijmegen School of Management, Radboud University, is looking for a postdoctoral researcher or PhD candidate. You will be part of a transdisciplinary consortium, called SAFE, working on the project 'Accelerating the Transition to Animal-free Next Generation Risk Assessment (NGRA): A...

The Centre for Language Studies (CLS) is looking for a PhD candidate for a project on the interplay of experience and concreteness in smell and flavour languages. We offer you the opportunity to develop and carry out your own PhD project within the areas of expertise of your supervisors (Prof. Margot van Mulken, Dr Ilja Croijmans and Dr Laura Speed). The...

The Centre for Language Studies (CLS) is looking for a PhD candidate for a project on the interplay of experience and concreteness in smell and flavour languages. We offer you the opportunity to develop and carry out your own PhD project within the areas of expertise of your supervisors (Prof. Margot van Mulken, Dr Ilja Croijmans and Dr Laura Speed). The...

In this PhD project, you will critically study causal mechanisms in the social sciences. The project is suitable for a candidate with a strong background in philosophy of science and a proven interest or experience in social scientific research (such as political science, international relations studies, sociology, or educational research). You will be able...

We are starting an exciting project to explore the effects of online and offline marketing of alcohol-free beverages. Given the relatively recent emergence of alcohol-free beverages, there is limited understanding of their impact and how their marketing influences alcohol consumption. While the marketing of alcoholic products is known to lead to earlier and...

The Department of Metaphysics and Philosophical Anthropology is looking for a PhD candidate to work on the project ’The Origins of Philosophical Anthropology in Classical German Philosophy’. In the eighteenth century, the study of human nature and the development of anthropological theories gained increasing attention. Classical German philosophers...

Do you want to carry out a PhD in program verification and proof assistants? And help to scale it up to the verification of realistic systems software? You will be working on the semantics and verification of systems software (libraries for concurrency, efficient data structures, compilers, and/or operating systems) using type systems, separation logic, and...

Do you want to carry out a PhD in program verification and proof assistants? And help to scale it up to the verification of realistic systems software? You will be working on the semantics and verification of systems software (libraries for concurrency, efficient data structures, compilers, and/or operating systems) using type systems, separation logic, and...

Recent years have seen significant changes in the types of cases being brought before international judicial bodies: increasingly, states are instituting proceedings on the basis of common or community interests, such as the regulation of the global environment, the protection of human rights, or the prevention of unspeakable atrocities like genocide....

Recent years have seen significant changes in the types of cases being brought before international judicial bodies: increasingly, states are instituting proceedings on the basis of common or community interests, such as the regulation of the global environment, the protection of human rights, or the prevention of unspeakable atrocities like genocide....

Are you passionate about unraveling the mysteries of consciousness? And do you want to delve into fMRI, pupillometry, and information theory to understand how sensory predictions shape our perception of color? Then join Donders Centre for Cognition as a PhD candidate! This PhD project aims to address a primary challenge of consciousness research: to explain...

Employment 1.0 FTE Required background Research University Degree Organizational unit Faculty of Law Application deadline 15 May 2024 The successful completion of the PhD project involves writing a monograph, although the option of publishing articles leading up to a PhD thesis is also open for negotiation. It is expected that interim findings will be...

The Department of Mathematics is seeking a highly motivated PhD candidate for a research position funded by the NWO ENW-M project ‘Higher Invariants of Finite-Volume Spaces’. This project is about developing and applying new invariants of certain non-compact manifolds which have finite volume. It falls in the broad area of analysis and geometry on...

The Department of Mathematics is seeking a highly motivated PhD candidate for a research position funded by the NWO ENW-M project 'Higher Invariants of Finite-Volume Spaces'. This project is about developing and applying new invariants of certain non-compact manifolds which have finite volume. It falls in the broad area of analysis and geometry on manifolds....

Are you looking to advance your career in sustainable finance? Are you a recent graduate in Finance, Economics, or Econometrics, and ready to work with top academics and industry leaders in the Netherlands, as well as in Germany and Australia? Then join the Finance group as a PhD candidate or postdoctoral researcher! The Finance group at the Department of...

Are you looking to advance your career in sustainable finance? Are you a recent graduate in Finance, Economics, or Econometrics, and ready to work with top academics and industry leaders in the Netherlands, as well as in Germany and Australia? Then join the Finance group as a PhD candidate or postdoctoral researcherThe Finance group at the Department of...

Are you passionate about unraveling the mysteries of consciousness? And do you want to delve into fMRI, pupillometry, and information theory to understand how sensory predictions shape our perception of color? Then join Donders Centre for Cognition as a PhD candidateThis PhD project aims to address a primary challenge of consciousness research: to explain...

Are you passionate about unraveling the mysteries of consciousness? And do you want to delve into fMRI, pupillometry, and information theory to understand how sensory predictions shape our perception of color? Then join Donders Centre for Cognition as a PhD candidateThis PhD project aims to address a primary challenge of consciousness research: to explain...