2 verification-computer-science "https:" positions at Aalborg Universitet

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

Aalborg Universitet | Denmark | about 1 month ago

is funded by the Energy Technology Development and Demonstration Programme (EUDP) and aims to deliver a standardised, robust, and scalable subsea electrode unit for HVDC systems. The successful

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