-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
conduct cutting-edge research on the interplay of theoretical computer science, mathematics, and quantum mechanics. Particular topics include classical and quantum aspects of: Sublinear algorithms and
-
alongside AI? This project studies how AI agents, AI-mediated processes and platform algorithms reshape co-creation and moral questions in creative industries. It follows employees, freelancers and studios as
-
algorithms, and some knowledge of data science and machine learning (through coursework, self-learning, or personal projects). The selected student will work with Ph.D. and master's students to help develop
-
sovereignty, and cyber-electromagnetic resilience. The PhD researcher will primarily work within Tilburg University’s AI research infrastructure, focusing on algorithm development, model training, and
-
sovereignty, and cyber-electromagnetic resilience. The PhD researcher will primarily work within Tilburg University’s AI research infrastructure, focusing on algorithm development, model training, and
-
contribute to collaborative projects. Areas of expertise should include contrast-free super-resolution microvessel imaging algorithm, ultrafast ultrasound imaging system design, and hardware acceleration