Sort by
Refine Your Search
-
Aarhus University, Denmark - an international top-100 university - has made an ambitious strategic investment in a recruitment plan to radically expand the Department of Electrical and Computer
-
communicate in English. Therefore, we expect you to have good skills in oral and written English. Danish language skills are an advantage. If you have prior experience with procedures at Aarhus University
-
days are alike, and we welcome creative thinking and new ideas. Support for international researchers and their families, including Relocation Service and an Expat Partner Programme Living and working
-
and English. Be good at collaborating and networking. Have a structured approach to task execution and the ability to handle multiple processes simultaneously. Have a Master of Science with
-
conversations with colleagues. We are a mixed group of nationalities at CHC, and as a consequence we predominantly speak English at the office and at meetings to be inclusive of our international colleagues. CHC
-
verification in Rocq, functional programming, formal cryptographic proofs, compilation, RISC-V Key responsibilities: Implementation and verification of cryptographic protocols in Rocq Implementation and formal