28 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
-
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
-
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
-
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
-
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
-
. Over the last decade HLA class II antigen presentation has been accurately described and methods developed that predict this event with a high level of confidence. In comparison, a detailed understanding
-
of TSN-based in-vehicle networks. These networks carry mixed-criticality traffic and use TSN with multiple traffic shapers and redundant communication. You will investigate methods for runtime analysis