Verification of Neural Networks for Control Expert

1 day ago


Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full time

About the Project

The 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 behavior.

This involves creating automatic methods to analyze neural networks, generating human-readable certificates of their performance, and integrating these approaches into a comprehensive platform for designing secure control systems.



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

    Job OverviewThe 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...


  • Aalborg, Ålborg Kommune, Denmark GomSpace AS Full time

    About Our WorkWe aim to deliver high-quality solutions for our customers in the space industry.Skillful AOCS Engineers at GomSpace are responsible for control, software, and hardware development.Key aspects of this role include designing AOCS solutions, integrating and testing spacecraft AOCS components and algorithms for customer-specific missions and...


  • Aalborg, Ålborg Kommune, Denmark GomSpace AS Full time

    Company Overview">GomSpace A/S is a leading global designer, integrator, and manufacturer of high-end nano and microsatellites for customers in the academic, government, and commercial markets.Our positions of strength include systems integration, small satellite subsystems, and advanced miniaturized radio technology. Our international team is devoted to...


  • 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, Ålborg Kommune, Denmark GomSpace AS Full time

    Job OverviewWe are seeking an experienced Electronics Engineering Lead to join our team. As a key member of our Delivery Engineering Department, you will play a crucial role in delivering nanosatellites and microsatellites to customers.You will work closely with multidisciplinary teams to ensure the successful integration of components into our satellite...


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

    We are seeking a technically gifted and Danish-speaking Professional Service Supporter to join our Global and local Operations team based in Aalborg, Denmark or Dublin.This exciting opportunity involves providing technical support services, customer training, and software installation to our customers across Scandinavia, the USA, the UK, Ireland, and...


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

    Company OverviewInniti is a pioneering start-up transforming the biotech, food & beverage, pharma, and chemical industries by enabling scientists to solve tomorrow's problems.We are driving the digital revolution in laboratories by creating inter-connectivity between laboratory equipment and software.Our solution, the Inniti Connector, allows for seamless...


  • Aalborg, Ålborg Kommune, Denmark Semco Maritime AS Full time

    Skilled Electrician NeededWe are seeking an expert electrician to join our team at Semco Maritime A/S. As a highly skilled professional, you will have expertise in electrical systems and safety protocols.Key ResponsibilitiesCable Routing: Ensure effective cable routing by installing cable tray infrastructure and pulling electrical cables through trays and...


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

    At HOYER Rekruttering, we are seeking a highly motivated and career-oriented technical product specialist to join our team.About INFUSERINFUSER is a dynamic company that develops innovative and green solutions for air and surface purification. With a strong focus on sustainability, we aim to improve the quality of life for people around the world.The company...


  • 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 Alfa Laval Corporate AB Full time

    Every day, we get opportunities to make a positive impact – on our colleagues, partners, customers, and society. Together, we’re pioneering the solutions of the future and unlocking the full potential of precious resources. Trusted to act on initiative, we challenge conventional thinking to develop world-leading technologies that inspire progress in...


  • Aalborg Kommune, Denmark Aalborg Institute for Development Full time

    Business Partnerships & Talent Placement Internship Are you excited about making valuable connections and building a network that can shape your career? Join our team as a Business Partnerships & Talent Placement Intern , where you’ll have the unique opportunity to connect talented professionals with local businesses in Aalborg and North Jutland. We’re...


  • 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 GomSpace AS Full time

    Ambitious Space Company is looking for a Product Integration Engineer At GomSpace, we are committed to making space accessible, affordable, and useful. We are an agenda-setting player in the small satellite business and our highly skilled team is committed, dedicated, and accountable. We believe that small satellites and our efforts, multidisciplinary...


  • Aalborg, Denmark HOYER Rekruttering Full time

    Would you like to help pioneer a new revolution in science? At Inniti, we are transforming how scientists work in laboratories, enabling a new era of product development within the biotech, food & beverage, pharma and chemical industries. In short, we release the full potential of scientists to solve tomorrow’s problems. Inniti is a Copenhagen based...


  • 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...

  • Head of Department

    5 days ago


    Aalborg, Denmark KMD Group Full time

    At KMD, we build digital solutions used by millions of people around the world. These solutions are the digital foundations of our most important institutions, from governments and public services to financial industries and private companies. Our mission is to ensure that they are reliable, accessible, and efficient. We believe that the future is what you...


  • Aalborg, Denmark Ramboll Full time

    Coastal engineering is both your passion and excellence, combined with the desire to make a positive impact on the nearshore environment - we have the inspiring projects – let's close the gap for a sustainable future together! We invite you to bring your profound coastal and marine engineering expertise into play, taking on technical development and...


  • Aalborg, Denmark HOYER Rekruttering Full time

    INFUSER is looking for a highly motivated and career-oriented technical product manager/specialist, to be responsible for improvements, documentation, and international customer support for a new and very promising purification solution. INFUSER is a dynamic company that develops, manufactures, and markets innovative and green solutions for air and surface...


  • Aalborg, Denmark Blue Power Partners AS Full time

    About the Role As our Junior Business Analyst, you will contribute to developing, supporting, and maintaining the construction management processes and tools as part of Blue Power Partners’ Construction department. The right candidate will play a central part in supporting the team with its construction approaches and construction management tools. The...