![Radboud University](https://media.trabajo.org/img/noimg.jpg)
PhD Candidate: Analysis and Geometry on Manifolds
3 weken geleden
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 position has a light teaching load, of up to 10% of your working time. Upon successful completion, you will be awarded a PhD from Radboud University. The PhD project will be supervised by Dr Peter Hochs.
We welcome applications from candidates with an excellent academic track record and demonstrable experience in at least one of the areas mentioned above. Members from groups that are underrepresented in Science, Technology, Engineering and Mathematics disciplines are particularly encouraged to apply.
-
PhD Candidate: Analysis and Geometry on Manifolds
48 minuten geleden
Nijmegen, Nederland Radboud Universiteit VoltijdThe 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...
-
PhD Candidate: Analysis and Geometry on Manifolds
1 week geleden
Nijmegen, Gelderland, Nederland Radboud University VoltijdWe 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...
-
PhD Candidate
1 week geleden
Nijmegen, Gelderland, Nederland Radboud University VoltijdThe 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...
-
PhD Candidate: International and European Law
1 week geleden
Nijmegen, Gelderland, Nederland Radboud University VoltijdRecent 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....
-
PhD Candidate: International and European Law
1 week geleden
Nijmegen, Nederland Radboud University VoltijdRecent 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....
-
PhD candidate Metaphysics and Philosophical Anthropology
5 dagen geleden
Nijmegen, Nederland Radboud University VoltijdThe 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...
-
PhD Candidate
1 week geleden
Nijmegen, Gelderland, Nederland Radboud University VoltijdIn 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...
-
PhD Candidate in Program Verification
3 weken geleden
Nijmegen, Nederland Radboud University VoltijdYou 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...
-
PhD Candidate in Program Verification
1 maand geleden
Nijmegen, Nederland Radboud University VoltijdYou 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...
-
Nijmegen, Nederland Radboud University VoltijdThe 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...
-
Nijmegen, Nederland Radboud University VoltijdThe 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...
-
PhD Candidate in Program Verification
3 weken geleden
Nijmegen, Nederland Radboud Universiteit VoltijdDo 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...
-
PhD Candidate in Program Verification
4 weken geleden
Nijmegen, Nederland Radboud Universiteit VoltijdDo 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...
-
PhD Candidate: Formal Methods
4 weken geleden
Nijmegen, Nederland Radboud University VoltijdYou 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...
-
PhD Candidate: Formal Methods
3 weken geleden
Nijmegen, Nederland Radboud University VoltijdYou 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...
-
Nijmegen, Nederland Radboud University VoltijdYou 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...
-
PhD Candidate: Adaptive Management for Healthcare Accessibility
7 dagen geleden
Nijmegen, Gelderland, Nederland Radboud University VoltijdJob 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...
-
PhD Candidate: Small Molecule RNA Targeting
4 weken geleden
Nijmegen, Nederland Radboud University VoltijdRNA 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...
-
PhD Candidate: Formal Methods
3 weken geleden
Nijmegen, Nederland Radboud Universiteit VoltijdAre 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...
-
PhD Candidate: Formal Methods
1 week geleden
Nijmegen, Gelderland, Nederland Radboud Universiteit VoltijdAre 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...