76 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Aarhus University in Denmark
Sort by
Refine Your Search
-
The Section for Electrical Energy Technology at the Department of Electrical and Computer Engineering (ECE), Aarhus University, is in a phase of rapid growth in both education and research
-
Development Programme targeted at career development for postdocs at AU. You can read more about it here . At the Faculty of Natural Science at Aarhus University, we strive to support our scientific staff in
-
Zheng. Your competences You have academic qualifications at PhD level, for example within computational biology, bioinformatics, spatial omics, or related areas. Experience with computational imaging
-
We are seeking applicants for postdoc positions in ‘Mammalian Nuclear RNA Production and Turnover Systems’ to join us at the Department of Molecular Biology and Genetics in the research team
-
Development Programme targeted at career development for postdocs at AU. You can read more about it here . At the Faculty of Natural Science at Aarhus University, we strive to support our scientific staff in
-
) molecule fluorescence and other techniques, such as smFRET. Structural biology using electron microscopy, such as cryogenic electron microscopy (cryo-EM) and tomography (cryo-ET). The postdoc will be central
-
The Department of Biomedicine at Faculty of Health at Aarhus University invites applications for a position as Postdoc in the field of spatial biology as per 1 April 2026 or as soon as possible
-
at the Department of Electrical and Computer Engineering, Aarhus University, where we are advancing communication-efficient and distributed foundation model inference across the computing continuum
-
The Department of Biomedicine at Faculty of Health at Aarhus University invites applications for a position as Postdoc in the field of muscle cell biology and cardiovascular research as per 1 July
-
of the basic working principles the technology Quantification of reaction rates and conversion efficiencies for different redox chemistries tested in proof-of-concept setup. Address and solve technical