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
-
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
-
responsibility for the Master's degree programs in medicine and in molecular medicine. At the department we are approx. 670 academic employees, 500 PhD students and 160 technical/administrative employees who
-
The Department of Psychology and Behavioural Sciences invites applications for assistant professorships in Psychology. The educational program of the Department covers the subfields of Social and