Sort by
Refine Your Search
-
The Section for Software Engineering and Computing Systems, at the Department of Electrical and Computer Engineering (ECE), invites applicants for a two-year postdoctoral position within the area of
-
the Principal Investigator with the verified implementation of such a compiler. The verification will be done using the Rocq proof assistant. Qualifications: The ideal candidate will be experienced in formal
-
analyses. • Analyze and process microscopy data using specialized software • Train researchers and students in these techniques and advanced microscopy • Collaborate with team members on imaging needs
-
in the Software engineering and computing systems section. The section performs teaching and conducts innovation & research in the systematic development of software taking its context into account
-
development. You have experience in medical statistical data software analysis (using R, STATA or similar), as well as integrative analysis of molecular data in relation to clinical datatypes, such as
-
Cloud software engineer/research software engineer for HPC research application development at Center for Humanities Computing Center for Humanities Computing (CHC), at the School of Culture and
-
of understanding their regulation by phosphorylation. You will be in charge of writing and testing code, developing, deploying and maintaining software. Your work will benefit from the experimental data generated by
-
welfare, 3Rs, European and Danish legislation. Strong experience in mice colony management and in animal management software (Ticketlab). Strong experience with mice model, handling, administration (IV, IP
-
the foundations for reliable decision support and Monitoring, Reporting, and Verification (MRV) systems for reducing greenhouse gas emissions in Danish agriculture, particularly exploring conditions for the uptake