Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
research experience at PhD level in a relevant area such as robotics and control preferably applied to robots with flexible links. The candidate is hence expected to have most of the following qualifications
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
“WaterColor: Unraveling the Shades of Change in Greenlandic Marine Waters.” The project is led by the National Institute of Aquatic Resources (DTU Aqua) in collaboration with universities and research
-
relation to extreme wealth. The position is part of the research project, The Morality of Extreme Wealth , funded by the Independent Research Fund Denmark and is available from 01-02-2026, or as soon as
-
and 2005 and utilising various methods from history, digital humanities, and cultural studies. The position is 2,5 years (30 months). The position is based at the Department of History and Classical
-
CAPeX research themes and X-trails, our organization, and the other open PhD and postdoc cohort positions at http://www.capex-p2x.com . The automation of laboratory experiments concerning materials