Sort by
Refine Your Search
-
possess: A solid background in formal methods and process mining Experience in developing theoretical modeling and analysis frameworks Strong programming and software development skills (at least at the
-
The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications
-
., programming language theory, formal methods, or algorithms/optimization) and be open to practical computational experiments. PostDoc applicants must further demonstrate a solid history of academic writing and
-
otolith-based method and relate FMR to oceanographic and ecological conditions along north-south and fjord-offshore gradients in East Greenland. Experience with isotope analyses and arctic field work
-
of the Danish language will facilitate the interaction with the stakeholders. As a formal qualification, you must hold a PhD degree (or equivalent) preferably in Environmental Engineering. We offer DTU is a
-
the University of Sheffield. Responsibilities Your main responsibility will be to implement a unique ultrafast spectroscopic method able to track the dissipation processes in quantum emitters induced by
-
The Department of Ecoscience, Section for Wildlife Ecology at Aarhus University is seeking a postdoc (2 years) to develop and apply camera-based methods for population monitoring of bats
-
cell models from different species, and models based on human induced pluripotent stem cells applying methods such as RNAscope, RNA seq, PCR, histological stainings (IHC/IF). Conduct independent research
-
qualifications are: As a formal qualification, you must hold a PhD degree (or equivalent) in Circular Economy, Digitalisation, Industrial Ecology, Design for Sustainability, Environmental Engineering, or a closely
-
to the discussions with the project partners (with reciprocal visits during the employment period) and work towards the project deliverables; explore new methods construct LRC codes from algebraic curves and/or