87 programming-language-"St"-"University-of-St"-"FEMTO-ST"-"St" positions at Aarhus University
Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
-
Danish fluently, and English on a high level. The working environment is international and much of the communication is English. You are an engaged and flexible employee, who would like to contribute to a
-
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
-
and research training in their field, and how this articulates with the Department. This should include a short-, medium- and long-term research plan demonstrating how the applicant will consolidate
-
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
-
Attractive salary and benefits in accordance with Danish agreements for academic staff, including a competitive pension plan. International, welcoming work environment: The Department of Mathematics hosts
-
order to understand the context better. During the project you will complete a PhD education as described in the rules and regulations for the PhD programme. Project duration This is a three-year PhD
-
verification in Rocq, functional programming, formal cryptographic proofs, compilation, RISC-V Key responsibilities: Implementation and verification of cryptographic protocols in Rocq Implementation and formal