Sort by
Refine Your Search
-
verification in Rocq, functional programming, formal cryptographic proofs, compilation, RISC-V Key responsibilities: Implementation and verification of cryptographic protocols in Rocq Implementation and formal
-
(typically 1–2 days a week at the office) and virtual tasks throughout the week—such as managing the project mailbox. We will plan your tasks and work hours together, based on project needs and your study and
-
the world attractive career perspectives via the Technical Sciences Tenure Track Programme. Highly qualified candidates are appointed as Assistant Professors for a period of six years with the prospect
-
the basis for the research-based public sector consultancy and degree programs covering bachelor’s, master’s and PhD degree programs within animal science and veterinary medicine. We offer a lively, engaged
-
or soon thereafter. The educational activities for these positions are aimed at students in veterinary medicine at both the bachelor and master levels. The veterinary medicine programme is structured
-
plants and bacteria to foster sustainable and climate-friendly agricultural practices. Our research is funded by ambitious programs, and our team consists of dedicated scientists and students committed
-
plants and bacteria to foster sustainable and climate-friendly agricultural practices. Our research is funded by ambitious programs, and our team consists of dedicated scientists and students committed
-
ecosystem restoration? SustainScapes – Center for Sustainable Landscapes under Global Change at Department of Biology at Aarhus University leads several monitoring programs across different ecosystems in
-
Technical Sciences Tenure Track Aarhus University offers talented scientists from around the world attractive career perspectives via the Technical Sciences Tenure Track Programme. Highly qualified
-
, including research and teaching activities, as well as in management and/or organisational roles (such as participation in the central study board, degree programme boards and various local management