20 software-verification-"https:" Postdoctoral positions at Aalborg University in Denmark
Sort by
Refine Your Search
-
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
-
installation directly on the seabed and reducing the need for additional protective barrier structures and associated vessel operations. However, the mechanical design and verification of standardised subsea
-
Associate Professor Arijit Khan, Department of Computer Science. His research works can be found at , https://scholar.google.com/citations?user=6Y-m8k4AAAAJ&hl=en , and at https://dblp.org/pid/67/2933.html
-
network of collaborators. Read more about PREDICT: https://www.predictibd.dk/ About the Department of Clinical Medicine: The Department of Clinical Medicine provides research-based teaching across all
-
and postdoc cohort positions at http://www.capex-p2x.com . The research area will be within design and modeling of pulsed power supplies utilizing power electronics technology for plasma generation
-
the Human-Centered Computing section,which focuses on designing, developing, and applying interactive computing technologies. More information can be found on our website: https://www.cs.aau.dk/research/hcc
-
of POLSAFE (see profile: https://vbn.aau.dk/da/persons/jajh/ )The research team will consist of two postdoctoral researchers working closely together with the principal investigator and a research assistant
-
expected to include hardware which responds to our own proprietary software. There will also be some logistics which need to be handled and therefore the postdoc is expected to be mobile to some degree. Your
-
of life and satisfaction of its residents. https://www.enjoynordjylland.com/ Your work tasks The position is offered in relation to the EU-funded research program "STRONG UR, Strategies for optimized
-
Andres Masegosa (arma@cs.aau.dk), Department of Computer Science. (please see: https://andresmasegosa.github.io/ . The project’s domain PI is Professor Jamal Jokar Arsanjani (jja@plan.aau.dk), Department