Sort by
Refine Your Search
-
Listed
-
Program
-
Employer
-
Field
-
programming skills, for example in Python or MATLAB. A documented publication record relative to career stage. The ability to work independently and to collaborate in an interdisciplinary team
-
Two postdoc positions in Thermofluid Design and Digital Modeling of Cooling Systems for Electroch...
related discipline. For both positions we expect: A strong background in thermodynamics, fluid mechanics, and heat transfer. Solid scientific programming skills, for example in Python or MATLAB. A
-
, reliability, cost-effectiveness, and sustainability across applications. In parallel, we advance microgrid technologies, supporting developing countries in achieving climate neutrality by integrating
-
programming languages and programming abstractions, including LLM-assisted quantum programming * Quantum intermediate representations * Quantum compilation, including AI/ML-assisted compilation
-
programming languages and programming abstractions, including LLM-assisted quantum programming * Quantum intermediate representations * Quantum compilation, including AI/ML-assisted compilation
-
for detection and/or classification of bioacoustic signals. Extensive experience with programming (Matlab, R, Python) including GPU programming is required, and familiarity with edge-based machine
-
Security”. The postdocs will conduct research on program analysis within the Programming Languages, Logic, and Software Security research group at Aarhus University. The focus of the positions will be in
-
visual perception. Good programming (Python) skills are required along with a good understanding of empirical methods and ways to connect empirical findings with model behavior. The position also
-
postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The
-
programming languages and evaluated on both real-world bugs and code modified by AI coding assistants. The broader aim is to determine when code contains enough information to support its own repair and when