Sort by
Refine Your Search
-
Job Description The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites
-
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
-
. 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
-
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
-
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
-
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
-
, 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
-
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