2 graph-theory Postdoctoral positions at Aalborg Universitet

PostDoc in programming semantics, verification and reliability assurance of combined classical and quantum communicating and computing systems.(DEIS)

Aalborg Universitet | Denmark | 3 months ago

Faculty of IT and Design, Department of Computer Science, a 2-year Postdoc position in theories for programming semantics, methods for verification and reliability assurance of combined classical and

Postdoc in Mechanical Design of Subsea HVDC Electrode Units via Experimental and High-Fidelity Numerical Analysis

Aalborg Universitet | Denmark | about 1 month ago

environment such as Python, MATLAB, or R. Good understanding of hydrodynamic loading and wave–current environments (e.g., wave kinematics, high-order wave theories) would be highly regarded. Familiarity with