PhD Researcher in Neural Network Verification

2 days ago


Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full time

Job Overview

The Department of Computer Science at Aalborg University has a fully-funded PhD position available within the study programme. The candidate will be working on formal verification of neural-network control policies.

This project addresses the fundamental question of how to trust a neural network that controls a dynamical system. Since neural networks are large black boxes, we need both automatic methods to analyze such systems and human-interpretable certificates of the analysis results. We will devise automatic and sound methods to respectively certify correctness and incorrectness of neural-network controllers. We will also develop a framework that integrates these methods for constructing correct-by-design controllers.

We will investigate how traditional computer-science techniques for verification and falsification as well as machine learning can be tailored to these goals. This way, the project lays the grounds toward safe AI control systems.



  • Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full time

    About the ProjectThe project focuses on developing reliable methods for verifying neural networks controlling complex systems. Neural networks are notoriously difficult to understand due to their complexity and opacity. Our goal is to create effective tools and frameworks that enable us to trust these networks by providing clear evidence of their...


  • Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full time

    Company OverviewAalborg University is a leading research and educational environment in Denmark that addresses the challenge of the interplay between creativity and technology.Job DescriptionWe invite applications for a 3-year PhD stipend focusing on novel structural applications of reclaimed materials in architecture. The PhD stipend is available within the...


  • Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full time

    Company OverviewAalborg Universitet is a leading institution in the field of architecture, design, and media technology. Our department offers a unique opportunity for interdisciplinary research that integrates creativity, engineering, and technology within the disciplines of architecture, urban design, industrial design, digital design, and interactive...


  • Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full time

    We are seeking a highly motivated researcher to join our team at Aalborg Universitet.Research Project OverviewThe research project 'Green Market Making: Sustainable Energy and the Single Market in Europe' aims to develop the concept of green market making and empirically analyze the synergies and conflicts that emerge from the intersection between Europe's...


  • Aalborg, Ålborg Kommune, Denmark Aalborg Universitet (AAU) Full time

    OverviewAalborg Universitet (AAU) is a leading university in Denmark, known for its innovative research and academic excellence. Our faculty of Engineering and Science is seeking highly qualified candidates for a postdoctoral researcher position in Mechanical and Material Science Engineering.Job DescriptionThe postdoctoral researcher will be part of the...


  • Aalborg, Ålborg Kommune, Denmark Aalborg Universitet (AAU) Full time

    Job DescriptionThe Department of Culture and Learning at Aalborg University's Copenhagen campus is seeking a highly skilled postdoctoral researcher to join their team. As part of the CULTIGEN project, this position will focus on developing innovative digital solutions for culture and tourism.Project OverviewThe CULTIGEN project aims to pioneer a data-driven...


  • Aalborg, Ålborg Kommune, Denmark HOYER Rekruttering Full time

    Company Overview:">Inniti is a pioneering startup that revolutionizes laboratory connectivity solutions. With a strong background in science and engineering, Inniti brings together innovative technologies, software, and IoT to create superior connectivity in laboratory experiments and drive scientific advancements.">Job Description:">">As a key player in our...


  • Aalborg, Ålborg Kommune, Denmark Alfa Laval Corporate AB Full time

    At Alfa Laval Corporate AB, we strive to make a positive impact on our colleagues, partners, customers, and society. As pioneers of innovative technologies, we unlock the full potential of precious resources while driving progress in energy, food, water, and shipping.In this dynamic environment, we challenge conventional thinking to develop world-leading...


  • Aalborg, Denmark Hs Mittweida Full time

    The Department of Computer Science at Aalborg University has a fully-funded PhD position available within the Computer Science study programme. The candidate will be working on formal verification of neural-network control policies. The earliest starting date is 1 May 2025, but a later date can be negotiated. The Department of Computer Science features a...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    PhD Stipend in Neural Oscillations and Architectural Rhythms At the Technical Faculty of IT and Design, Department of Architecture, Design, and Media Technology, a PhD stipend is available within the study programme "Media, Architecture and Design". The stipend is open for appointment from 1 October 2024 or soon thereafter for a period of three years. The...


  • Aalborg, Denmark Hs Mittweida Full time

    At the Technical Faculty of IT and Design, Department of Electronic Systems, a position as Research Assistant in connectivity is open for appointment from February 15, 2025, or as soon as possible thereafter. The position is available for 12 months.Job Description In electronic engineering, Aalborg University is known worldwide for its high academic quality...


  • Aalborg, Denmark Aalborg Universitet Full time

    PhD Stipend in European Sustainable Energy and Market Governance At the Technical Faculty of IT and Design, Department of Sustainability and Planning (PLAN), a PhD stipend is available within the general study programme Planning and Development. The stipend is open for appointment from 1 May 2025 or soon hereafter. The PhD position is part of the research...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Postdoc in the Calmodulinopathy Research Program (2024-224-06018) At the Faculty of Engineering and Science, Department of Chemistry and Bioscience, a position as Postdoc in the Calmodulinopathy Research program is open for appointment from 1 December 2024 or soon hereafter. The position is available for a period of 2.5 years. Job Description...


  • Aalborg, Denmark Aalborg Universitet København Full time

    At the Department of Communication and Psychology, the Faculty of Humanities, Aalborg University, a position as Assistant Professor in Personality Psychology will be open for appointment as of 1st of March or as soon as possible thereafter. The selected candidate will conduct research and teaching within at least one of the following areas: Personality...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    2024-224-05969, Postdoc in sociology, Aalborg The Department of Sociology and Social Work at the Faculty of Social Sciences and Humanities is offering a Postdoc position in Sociology. The Postdoc position is available from October 1st or as soon as possible thereafter. The position is available for a period of three years. Job Description The Postdoc...

  • Assistant Professor

    5 days ago


    Aalborg, Denmark Aalborg University Full time

    Be among the first 25 applicants Head of Department of Computer Science & Professor of Systems Development Practice We're specifically looking for recent PhD graduates within: Software security Programming languages and technologies Machine learning and artificial intelligence Information systems development and software engineering Responsibilities: ...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Postdoc in Carbon Capture and Transportation from Biomass CHP Plant (2024-224-05995) At the Faculty of Engineering and Science, Department of Chemistry and Bioscience, a postdoctoral position focused on carbon capture and transportation from a biomass CHP plant is available starting 1 December 2024 or shortly thereafter. The position is available for a...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Associate Professor in Medical Image Analysis (2024-224-06036) At the Faculty of Medicine, Department of Health Science and Technology, a position as Associate Professor in Medical Image Analysis is open for appointment from February 1, 2025, or soon thereafter. Job Description Department of Health Science and Technology carries out multidisciplinary...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Assistant Professor in Informatics for Urban Design and Management (2024-224-06038) At Technical Faculty of IT and Design, Department of Sustainability and Planning, in Aalborg, a position as Assistant Professor in Informatics for Urban Design and Management is open for appointment from 01.01.2025 until 31.12.2027 or soon hereafter. At Department of...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    One or more Postdocs in Mechanical and Material Science Engineering – Optimized Composite Materials and Composite Recycling processes for Next-Generation Wind Turbine Blades (2024-224-05992) At the Faculty of Engineering and Science, Department of Materials and Production, one or more postdoc positions in Mechanical and Material Science Engineering is open...


  • Aalborg, Denmark Aalborg Universitet København Full time

    Postdoc in Machine Learning (2024-224-06141) At the Faculty of Engineering and Science, Department of Materials and Production, a PostDoc position is available. This two-year position is open for appointment from 1 April 2025 or soon thereafter. The position is funded by projects from Novo Nordisk Foundation and Sygesikring Danmark and offers a unique...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    2024-224-06042 Postdoc in Machine Learning Assisted Terahertz Spectroscopy At the Faculty of Engineering and Science, Department of Materials and Production, a position as a full-time postdoc in Machine Learning Assisted Terahertz Spectroscopy is open for appointment from 1.12.2024 or soon thereafter. The position is available for a period of 3 years. The...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Tenure Track Assistant Professor in Metabolomics and Inflammatory Bowel Disease (2024-224-06033) The National Center of Excellence PREDICT based at the Department of Clinical Medicine, Aalborg University in Copenhagen is looking to recruit a highly skilled tenure-track assistant professor to join our international and interdisciplinary group of dedicated...


  • Aalborg, Denmark Qorvo, Inc. Full time

    Experience Level: Internship Job Type: Intern Location: Denmark - Norresundby, DK Requisition ID: 8124 Renowned as the leader in high-performance RF components for wireless communication, QORVO’s components enable quicker design turns, higher performance, lower part count and lower overall solution cost through leading edge design methodologies and...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Associate Professor in Sustainable Urban Planning (2024-224-06035) At the Technical Faculty of IT and Design, Department of Sustainability and Planning, in Aalborg, a position as Associate Professor in Sustainable Urban Planning is open for appointment from 01.01.2025 or soon hereafter. At Department of Sustainability and Planning, we have about 200...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Postdoc Position in CULTIGEN – Culture, Tourism and Regeneration through innovative digital solutions and governance platforms (2024-224-06026) The Department of Culture and Learning at Aalborg University’s Copenhagen campus is looking for a postdoc in the field of digital methods and participatory data design. The position is for two years full time,...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Postdoc in Large Language Models for Technical Support (2024-224-06021) At the Faculty of Engineering and Science, AAU Energy, a position as Postdoc in Large Language Models for Technical Support is open for appointment from 1 November 2024 or soon hereafter. The position is available for 1 year. Job Description Aalborg University contributes to the...


  • Aalborg, Denmark Aalborg Universitet (AAU) Full time

    Postdoc in Digital Communication Architectures for Microgrid Applications (2024-224-06027) At the Faculty of Engineering and Science, AAU Energy, a position as Postdoc in Digital Communication Architectures for Microgrid Applications is open for appointment from 1 December 2024 to 30 November 2026 or soon hereafter. Job Description The research areas will...