4 construction-"https:" "https:" "https:" "https:" positions at University of Southern Denmark (SDU) in Denmark

Postdoc Position in Neuro-morphic Reinforcement Learning

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 3 months ago

The SDU Adaptive Intelligence Lab (ADIN Lab) (https://adinlab.github.io/ ) located under the Data Science and Statistics Section of the Department of Mathematics and Computer Science (IMADA

Postdoc Positions in Computer Science (Formal Methods)

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 3 months ago

potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue

PhD Positions in Computer Science (Formal Methods)

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 3 months ago

construction of digital systems guided by rigorous mathematical foundations. Towards which, our current main instrument is the Computer Science Library (CSLib) in the Lean programming technology . CSLib is a

Postdoc positions: Pharmacoepidemiology and reproductive epidemiology

University of Southern Denmark (SDU) | Odense C, Region Syddanmark | Denmark | 2 months ago

advantage but is not required. Candidates are expected to contribute to a positive and constructive working environment through active participation and openness to interdisciplinary collaboration. Further