3 verification-computer-science "https:" Postdoctoral positions in Denmark

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

Aalborg Universitet | Denmark | 19 days 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 University | Denmark | about 2 months ago

At the Technical 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

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

Aalborg Universitet | Denmark | 2 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