Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
-
Field
-
Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security and Privacy ; Foundations for Interacting and Computing Systems
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
of Computer Science has the following research groups: Automated System Verification and Validation ; Data Engineering, Science, and Systems ; Distributed Sustainable Software and Systems ; Formal Methods for Security
-
Professors in Computer Science, with emphasis on Sustainable and AI-driven Software Engineering. The targeted starting period is autumn 2026, with room for flexibility. Hired candidates will join the
-
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
-
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
-
simulation software (e.g., COMSOL, Aspen Plus, MATLAB). Gas chromatography and other analytical methods Energy and mass balances Excellence in both written and spoken English You will be working in
-
. 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