PhD Candidate: Civic Fictions Project

As part of the Vici project on Civic fictions, you will design a PhD project with a book history focus, to study the 18th-century reception of texts and publications dealing with slavery and abolition from a comparative European perspective (Netherlands, France, British Isles). You will use 18th-century debates on slavery and abolition as a case study to...

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

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

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

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

Almost every decision we make is accompanied by a feeling of confidence – a subjective assessment of how likely we are to be correct. This feeling of confidence allows us to evaluate our decisions and adjust our actions accordingly. Imagine you are about to cross a busy street. You rely on your sight and hearing to gauge if an oncoming truck will stop in...

Almost every decision we make is accompanied by a feeling of confidence – a subjective assessment of how likely we are to be correct. This feeling of confidence allows us to evaluate our decisions and adjust our actions accordingly. Imagine you are about to cross a busy street. You rely on your sight and hearing to gauge if an oncoming truck will stop in...

Artificial Neural Networks (ANNs) are driving new applications in AI, data science and intelligent systems. Yet, their training demands significant computational power, leading to a need for energy-efficient techniques that work well on lightweight devices. Random sparse ANNs have shown promise in addressing this challenge. However, the full understanding...

Artificial Neural Networks (ANNs) are driving new applications in AI, data science and intelligent systems. Yet, their training demands significant computational power, leading to a need for energy-efficient techniques that work well on lightweight devices. Random sparse ANNs have shown promise in addressing this challenge. However, the full understanding...

Artificial Neural Networks (ANNs) are driving new applications in AI, data science and intelligent systems. Yet, their training demands significant computational power, leading to a need for energy-efficient techniques that work well on lightweight devices. Random sparse ANNs have shown promise in addressing this challenge. However, the full understanding...

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

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

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

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