PhD Stipend in Verification of Neural Networks for Control
3 days ago
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 broad range of synergistic activities within research and education in the general area of computer science, including curiosity-driven research and targeted research in collaboration with industrial partners, traditional university education with a unique problem- and project-based focus, and continued education and knowledge dissemination.
Jobbeskrivelse
The 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. Methodologically, 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.
The candidate will be part of the Distributed, Embedded and Distributed Systems research group:
Applicants must have a Master's degree in computer science or a closely related field such as mathematics or control engineering. Due to the project's angle, applicants should have a strong background in at least one of the following areas: formal methods, machine learning. Additional knowledge and experience within the following areas are appreciated: formal verification, deep learning, dynamical systems, control theory. Excellent spoken and written communication skills in English are expected.
Application
An application must contain:
- Cover letter of max. 2 pages (excl. references), including (i) motivation for applying, (ii) preferred starting date, and (iii) an explanation of the applicant's background and suitability for the position
- CV
- Diplomas and transcripts of records
Interested applicants are welcome to contact Associate Professor Christian Schilling, email: < E-Mail aus Sicherheitsgründen gelöscht > , regarding the scientific aspects of the position.
PhD stipends are allocated to individuals who hold a Master's degree. PhD stipends are normally for a period of 3 years. It is a prerequisite for allocation of the stipend that the candidate will be enrolled as a PhD student at the Technical Doctoral School of IT and Design in accordance with the regulations of Ministerial Order No. 1039 of August 27, 2013 on the PhD Programme at the Universities and Certain Higher Artistic Educational Institutions. According to the Ministerial Order, the progress of the PhD student shall be assessed at regular points in time.
Assessment
The assessment of candidates for the position will be carried out by qualified experts. Shortlisting will be applied. This means that after the application deadline, the head of the department, with the assistance of the hiring committee, will select the applicants to be assessed. All applicants will be informed whether they have been shortlisted for assessment or not.
When the hiring process is completed, a final rejection will be sent to the applicants who are not considered for the position. The hiring process at Aalborg University may include a risk assessment as a tool to identify potential risks associated with new hires, ensuring the safety, compliance, and integrity of the workplace.
Further information
For further information about stipends and salary as well as practical issues concerning the application procedure, please contact Ms. Annemarie Davidsen, the Doctoral School at the Technical Faculty of IT and Design, email: < E-Mail aus Sicherheitsgründen gelöscht > .
For more information of the Technical Doctoral School of IT and Design:
The application is only to be submitted online by using the "Apply online" button below.
AAU wishes to reflect the diversity of society and welcomes applications from all qualified candidates regardless of personal background or belief.
Løn og ansættelsesvilkår
Appointment and salary as a PhD fellow are according to the Ministry of Finance Circular of 15 December 2021 on the Collective Agreement for Academics in Denmark, Appendix 5, regarding PhD fellows, and with the current Circular of 11 December 2019 on the employment structure at Danish universities.
Ref. nummer
16-25001
Ansøgningsfrist
02.03.2025
#J-18808-Ljbffr-
Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full timeJob 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 Hs Mittweida Full timeAbout 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, Denmark Aalborg Universitet (AAU) Full timePhD 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 Aalborg Universitet Full timePhD 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, Ålborg Kommune, Denmark Aalborg Universitet Full timeCompany 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 Hs Mittweida Full timeCompany 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...
-
Structural Design Engineer for Green Buildings
9 hours ago
Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full timeJob DescriptionThe successful candidate will be working on novel structural applications of reclaimed materials in architecture. This PhD stipend aims to explore the transformation of buildings, bio-based materials, and upcycling of building waste materials and building components. The position requires a background in either architecture or engineering with...
-
System Control Engineer
1 week ago
Aalborg, Denmark Alfa Laval Corporate AB Full timeEvery 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...
-
Research Assistant in connectivity
3 days ago
Aalborg, Denmark Hs Mittweida Full timeAt 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...
-
Business Partnerships
3 days ago
Aalborg Kommune, Denmark Aalborg Institute for Development Full timeBusiness 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 Aalborg Universitet (AAU) Full timePostdoc 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...
-
Aalborg, Denmark Aalborg Universitet (AAU) Full time2024-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...
-
Aalborg, Ålborg Kommune, Denmark HOYER Rekruttering Full timeCompany 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...
-
2024-224-06164 SSH DK/UK: Adjunkt
6 days ago
Aalborg, Denmark Aalborg Universitet København Full timeAt 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 time2024-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...
-
EMBEDDED FIRMWARE ENGINEER
6 days ago
Aalborg, Denmark HOYER Rekruttering Full timeWould 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...
