Sort by
Refine Your Search
-
verification of compiler optimizations in Rocq The position is for 15 hours per week. Starting on September 1, 2025 - or soon thereafter . The place of work is: Computer Science, Aarhus University - Åbogade 34
-
of the highest quality and is responsible for a large part of the medical degree programme. Academic staff contribute to the teaching. English is the preferred language in the laboratory, at meetings
-
academia. Potential for publication in a scientific journal or conference. Place of work: Department of Computer Science, Aarhus University. Åbogade 34, 8200 Aarhus N Formalities and salary range Salary and
-
large part of the medical degree programme. Academic staff contribute to the teaching. English is the preferred language in the laboratory, at meetings and at seminars. The department employs approx. 500
-
) Private Equity Market Microstructure Trading (High Frequency) Commodity Markets Quantum Computing in Finance Artificial Intelligence in Finance Risk Management and Financial Engineering Quantitative Methods
-
section, which is part of the Department of Dramaturgy and Musicology, has numerous collaborations with local, national and international theatre makers, cultural institutions and other professional
-
Start: July 1 Duration: One-year full-time appointment Project: Danish Foundation Models Location: Center for Humanities Computing, Aarhus University Job Description: We seek a highly motivated IT
-
, learning objectives, and teaching methods – please consult existing MGMT course descriptions . Please state the proposed level (BA or MA). Applications that do not contain a course proposal will not be taken
-
with interests in the biogenesis and turnover of nuclear RNA and its relationship to gene expression regulation in mammalian cells. Applied methods range from cell biological over biochemical
-
scale for food and feed. Conducting research-based tasks for the ministry focused on risk assessment of substrates to assist in political decisions. Developing digital measurement methods of metabolism as