PhD Candidate: Analysis and Geometry on Manifolds

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...

We will support you throughout the PhD process to engage in research, participate in local, national and international meetings, and report on your results in scientific publications. You should ideally be available to start the PhD project between 1 September and 1 November 2024. Other starting dates are negotiable, but the earlier the better. This...

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...

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....

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...

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...

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 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...

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...

You will contribute to algebraic and logical theories and formal methods for specifying and verifying systems and software. Topics we study are Kleene algebra, automata theory, logics and foundations of monitorability. The latter topic is in the area of runtime verification, and we are in particular interested in the logical foundations of monitoring...

You will contribute to algebraic and logical theories and formal methods for specifying and verifying systems and software. Topics we study are Kleene algebra, automata theory, logics and foundations of monitorability. The latter topic is in the area of runtime verification, and we are in particular interested in the logical foundations of monitoring...

You will contribute to research on the various aspects of orchestrating IoT systems. Topics we study are embedded domain-specific languages, declarative programming styles such as functional programming and task-oriented programming, tierless programming, green computing, and system orchestration. Furthermore, we perform quantitative and qualitative...

Job Title: PhD Researcher in Adaptive Management for Healthcare Accessibility Transport and healthcare sectors are interconnected, but collaboration between researchers, planners, and practitioners is lacking. The aim is to make transport more sustainable, reducing greenhouse gas emissions and decreasing reliance on cars. Digitalization in healthcare...

RNA is an essential biomolecular polymer that exhibits many cellular functions that are crucial for life, ranging from catalytic to informational. The recently discovered versatile cellular functions of RNA have rendered RNA an interesting target for therapy. In particular, the prospect of targeting RNA with small molecule modulators offers great promise...

Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of algebraic and logical methods in computer science? Then start your academic career off right as a PhD candidate at Radboud University. You will contribute to algebraic and logical theories and formal methods for specifying...

Are you an aspiring researcher, fascinated by theoretical computer science? And would you like to conduct research at the intersection of algebraic and logical methods in computer science? Then start your academic career off right as a PhD candidate at Radboud University.You will contribute to algebraic and logical theories and formal methods for specifying...