Sort by
Refine Your Search
-
areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc
-
tracking). Comfortable using Linux based HPC systems. Model order reduction, particularly proper orthogonal decomposition (POD) techniques. As a formal qualification, you must hold a PhD degree (or
-
functionality in vivo in animal models (rodents). The required qualifications for the positions are: Documented experience with simulation software based on finite element methods (e.g. COMSOL) and ray tracing
-
. Experience with 2D cross-sectional modelling (e.g. BECAS). Comfortable using Linux based HPC systems. As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical
-
of extension for the project SECUREAM: Advancing Cybersecurity in Additive Manufacturing in the intersection of blockchain, cryptography, software engineering, and applied formal methods, starting February 1
-
to impactful, user-driven science. Sufficient technical skills to operate both software and hardware at the beamline Formal Qualifications: You must hold a PhD degree (or equivalent) You must contribute
-
, glacier speedup, and ice-ocean interaction. Candidates will work with satellite altimetry, velocity datasets, and climate data to quantify ice sheet mass balance and dynamics. Applicants should hold a PhD
-
candidate to help develop these new manners by which to promote bonds as kernels in the interpretation of chemical simulations. For this purpose, novel theory and simulation software will need to be developed
-
to publish at the highest level in the international peer-reviewed research literature As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical university
-
involves software development, measurements using local and large international facilities, and a keen eye on developing relations between local order and material properties. The candidate must have a