27 formal-methods Postdoctoral positions at Technical University of Denmark in Denmark
Sort by
Refine Your Search
-
. Your work will be central to achieving the project’s ambitious academic, industrial and societal impact goals. DTU Construct is seeking a Postdoc to develop robust metrics and data collection methods
-
background is required with documented expertise in the following research areas: Expert understanding and ample track record of Mass Spectrometry-based proteomics Strong track record in both method
-
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
-
to partake the following primary tasks: Develop inspection methods for assessing component condition and material quality Perform testing and analysis to support remanufacturing decisions, including Elemental
-
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
-
to monitoring key performance indicators (KPIs) of the reManuFactory project. Engage companies through Co-Labs, Pilots, and Drop-In formats, to be demonstrators of the methods developed in the wider reManuFactory
-
performance computing numerical methods in our state-of-the-art open source micromagnetic model, MagTense. MagTense is based on a core implemented in the Fortran programming language, and it relies
-
positive and supportive team environment. You prefer to stay organized and take pride in completing your tasks in a thoughtful and structured way. As a formal qualification, you must hold a PhD degree (or
-
conferences, and actively participate in knowledge exchange across disciplines. As a formal qualification, you must hold a PhD degree (or equivalent). Specifically, a PhD in Materials Science and Engineering
-
Job Description We are seeking a motivated postdoc to work on the design and development of i) a variety of sample preparation methods (mainly for blood samples) and ii) new fiber-based substrates