42 formal-verification-computer-science 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
-
At the Faculty of Engineering and Science, Department of Materials and Production a position as Postdoc in Growth of Ferroelectric Catalytic Thin Films is open for appointment from 01.04.2026
-
, and Computer Science & Engineering. The Computer Science Department at Aalborg University takes a leading international position within data management and verification. Aalborg is an attractive student
-
At the Faculty of Engineering and Science, AAU Energy, a position as Postdoc in inHealth-Aware Optimization of Lithium-Ion Battery Charging is available from 1stof March 2026 (or as soon as possible
-
satellites with mechanical beam steering techniques as per March 1, 2026, or as soon as possible thereafter. The positions are available for a period of 3 years. In electronic engineering, Aalborg University
-
postdoctoral researchers willberecruited to workcloselyacross the two AAU departments of Sustainability and planning (PLAN) and Computer Sciences (CS). The project’smethodological PI is Associate Professor
-
At the Faculty of Engineering and Science, Department of Materials and Production, section of Physics and Mechanics, a position as Postdoc in rheology and modelling of gels and tissues is open for
-
Postdoctoral Position in Probabilistic Machine Learning for Spatio-Temporal Data Modelling A postdoctoral position is available at the Department of Computer Science, Aalborg University Copenhagen
-
Computer Science and Mathematics. A background in algorithm design and implementation combined with solid programming skills (e.g., Java, C, C++, Python), is highly valued. Candidates are expected to contribute
-
; get access to advanced laboratory and computing facilities, and contribute to publications and project. Your competencies You have a strong research motivation in electronic engineering, wireless