23 formal-methods Postdoctoral positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
methods such as gas chromatography, Karl-Fischer (for water), titration methods for TAN/CAN, elemental analysis etc. Synthesis and characterization of catalysts. Writing of scientific papers and attending
-
productively with both the CAISA research team and external organisations and institutions experience with mixed methods Furthermore, it will be considered an advantage if applicants can document: experience
-
to the air. This project aims at developing analytical methods and capacity to sample and quantify volatile PFAS compounds and air emissions from Danish landfills and treatment plants. The project is carried
-
participation in national and international conferences is integral to the job. Furthermore, participation in supervising BEng, BSc, and MSc students is expected. As a formal qualification, you must hold a PhD
-
and focuses on the technological development of fishing gears, techniques and methods that can contribute to promoting economic and environmental sustainability in the fishing industry, and that can
-
fermentation and formulation methods for whole-cell BioAg products. A central focus will be linking production processes with field performance by studying physiological, chemical, and molecular-genetic
-
of the Development pipeline and support the development of predictive models that bridge lab-scale discovery with fermentation (manufacturability) and in-field performance. Qualifications As a formal qualification
-
techniques tailored to repair and remanufacturing, supporting sustainable production methods for the future. Responsibilities and qualifications You will join the Section of Manufacturing Engineering at DTU
-
health data science research analyses. As a postdoc, you will also be part of the teaching and supervision of DTU students, who in turn will also use the infrastructure. Our expectations of you As a formal
-
in time-predictable computer architecture. Designing a network-on-chip for real-time automotive systems Verify the design with modern verification methods, such as function verification and formal