37 software-formal-method-phd 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
-
, Computer Science, Software Engineering, Applied Mathematics, Robotics or a related field. Qualification requirements Appointment as postdoc requires academic qualifications at PhD level. Who we are The Department
-
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
-
waves at the structure. This may be obtained by further development of the NL-SORS method. This could for example include extension of the method to sloping foreshores. The detailed generation and
-
for its high academic quality and societal impact. The Department of Electronic Systems employs more than 200 people, of which about 90 are PhD students, and about 40 % of all employees are internationals
-
. The topic of this Postdoc position is the development of data-driven methods to estimate river streamflowusingsatellitealtimetry. Particularly, the Postdoc willexplore hybrid deep learning models
-
charging strategies for lithium-ion batteries. The goal is to integrate model-based (digital twin) and data-driven (AI) methods to design and experimentally validate optimized pulse charging protocols. A
-
societal impact. The Department of Electronic Systems employs more than 200 people, of which about 90 are PhD students, and about 40 % of all employees are internationals. In total, it has more than 600
-
worldwide for its high academic quality and societal impact. The Department of Electronic Systems employs more than 200 people, of which about 90 are PhD students, and about 40 % of all employees
-
research as an integrated whole, where methods, theory, and empirical work mutually enrich each other Brings together diverse perspectives: humanistic, educational, socio-cultural, and existential psychology