37 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Aarhus University
Sort by
Refine Your Search
- 
                
                
                Center for Computational Thinking and Design (cctd.au.dk), an interdisciplinary research center at Aarhus University, is offering a full time 2-year Postdoc position with start date on December 1 
- 
                
                
                The Department of Computer Science, Aarhus University invites applications for postdocs and PhD students. Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum 
- 
                
                
                The Section for Electrical Energy Technology at the Department of Electrical and Computer Engineering (ECE), Aarhus University, is in a phase of rapid growth in both education and research 
- 
                
                
                of the leading European chemistry departments with a broad research programs. It has a permanent staff of ~30 full and associate professors, a support-staff of ~30 people, ~150 PhD-students and postdocs and around 
- 
                
                
                The Department of Biomedicine at Faculty of Health at Aarhus University invites applications for a position as Postdoc in the field of Neurobiology as per 1 January 2026 or as soon as possible 
- 
                
                
                The Department of Animal and Veterinary Sciences, Aarhus University, calls for applications for two full-time postdoc positions. The two-year positions are planned to start by 1st January 2026 
- 
                
                
                The Section for Software Engineering and Computing Systems, at the Department of Electrical and Computer Engineering (ECE), invites applicants for a two-year postdoctoral position within the area of 
- 
                
                
                and beyond. The present postdoc will work with: Mass balance of contaminant influx from harvest of marine mammals into communities in Greenland and other Arctic nations Assess concentrations in key 
- 
                
                
                information about entering and working in Denmark here . Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it 
- 
                
                
                Are you interested in real-time distributed systems, IoT connectivity, and AI-driven automation? The Department of Electrical and Computer Engineering at Aarhus University invites applications for a