PhD Stipends within Distributed, Embedded and Intelligent Systems
4 weeks ago
At the Technical Faculty of IT and Design, Department of Computer Science, a number of PhD stipends are available within the Computer Science study program. The stipend is open for appointment from 1 January 2025, or soon thereafter. The PhD students will be working on topics within the general areas of formal methods, model checking and machine learning for safe and optimal control of cyber-physical systems. The projects are expected to be funded by the VILLUM INVESTIGATOR project S4OS ("Scalable analysis and synthesis of safe, secure and optimal strategies for cyber-physical systems"). 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, as well as traditional university education, with a unique problem- and project-based focus, and continued education and knowledge dissemination.
Jobbeskrivelse
We seek PhD students that will contribute to new generations of scalable, model-based tools for cyber-physical systems based on a mathematical sound foundation, that enables trade-offs between functional safety, security, quantitative performance, and exploitation of modern machine learning technology. It is the overall hypothesis of S4OS that a full integration of model checking and synthesis with machine learning will provide the key to innovative, highly scalable methods for learning, analysis, synthesis and optimization of cyber-physical systems.
Based on preferences, the candidates will work along one (or more) of the following different directions:
- Theoretical foundation involving quantitative models (e.g. stochastic, timed weighted, hybrid automata) and logics for behavioral and security properties
- Efficient algorithms for model checking, learning and synthesis
- Improved explainability and safety of machine learning models, e.g. by integrating neural and symbolic modeling paradigms
- Tool implementation and application to complex cyber-physical systems (e.g. transport, water, energy)
Requirements
Applicants must have a master's degree in computer science or a closely related field. Due to the project's angle, applicants must have a strong background in one or several of the following areas: model checking, modeling and specification of quantitative systems, security, games and synthesis, machine learning, logic-oriented artificial intelligence, tool development and implementation, as well as applications of the above to complex systems. Outstanding spoken and written communication skills in English are essential.
Application
The application must contain:
- A cover letter of max. 1 page, including (i) motivation for applying, (ii) preferred starting date (specifically if other than the project's starting date of 1 December 2024), and (iii) a brief explanation of the applicant's background.
- A research statement (project description) related to one or more of the three indicated research directions. This description should outline the applicant's thoughts and ideas within the overall aim of the S4OS project.
- CV
- Diploma and transcripts of records
- Other relevant information
You may obtain further information from Professor Kim Guldstrand Larsen, Department of Computer Science, email: concerning the scientific aspects of the stipend.
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.
Shortlisting will be applied. This means that after the deadline for applications, the head of department supported by the chair of the assessment committee will select candidates for assessment. All applicants will be informed whether they will be assessed or not.
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:
For more information of the Technical Doctoral School of IT and Design: .
The application is only to be submitted online, 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-24066
Ansøgningsfrist
01.11.2024
#J-18808-Ljbffr-
Aalborg, Ålborg Kommune, Denmark Hs Mittweida Full timeJob Opportunity: PhD Stipends in Distributed Systems and Cyber-Physical SystemsWe are seeking highly motivated PhD students to contribute to the development of scalable, model-based tools for cyber-physical systems. The successful candidates will work on topics within the general areas of formal methods, model checking, and machine learning for safe and...
-
Sustainable Energy Governance PhD Stipend
3 days ago
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timePhD Stipend in European Sustainable Energy and Market GovernanceAt Aalborg University, a leading institution in research and education, we offer a unique opportunity to pursue a PhD stipend within the general study programme Planning and Development.The stipend is part of the research project 'Green Market Making: Sustainable Energy and the Single Market in...
-
Aalborg, Denmark Aalborg Universitet Full timeJob description The PhD project is a part of the project NextGenBlade - Damage-Tolerant Designs for Long Term Endurance of Next-Generation Wind Turbine Blades, which is funded by the Independent Research Fund Denmark as a Sapere Aude project. The main workforce in the project consists of three people, of which there is an open full-time PhD position...
-
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet København Full timePhD Position in Machine Learning for Condition Monitoring of Wind Turbine BearingsAalborg Universitet København is seeking a PhD candidate to work on the development and application of machine learning techniques for monitoring the health of main bearings in wind turbines. The project aims to enhance the operation of next-generation offshore wind turbines...
-
Carlsberg Foundation Humanities PhD Fellowship
6 months ago
Aalborg, Denmark Aalborg Universitet Full timeJob description The Faculty of Social Sciences and Humanities, in collaboration with the Carlsberg Foundation, invites applications for a Humanities PhD Fellowship. The PhD Fellowship must involve a basic research project within humanities and is available in all humanities fields and areas of research at the Faculty of Social Science and Humanities. ...
-
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet (AAU) Full timePhD Researcher in Neural Oscillations and Architectural RhythmsWe are seeking a highly motivated and talented candidate for a PhD position as part of our research group. This research group focuses on how the built environment influences the human brain and body based on cognitive (neuro-)science. The PhD will investigate the relationship between neural...
-
Aalborg, Denmark Aalborg Universitet Full timeJob description Aalborg University contributes to the knowledge building of the global society as well as the development of prosperity, welfare and culture of Danish society. This is accomplished through research, research-based education, public sector services and knowledge collaboration. AAU educates students for the future and activities are...
-
Embedded Systems Hardware Design Engineer
7 days ago
Aalborg, Ålborg Kommune, Denmark Satlab ApS Full timeJob Description:Satlab ApS, a leading developer of advanced radio systems for embedded applications and space systems, seeks an experienced Mixed-signal Hardware Development Engineer to join our team in Aalborg, Denmark.Company Overview:We specialize in designing highly embedded, low-mass, and low-power consumption radios for data transfer and...
-
Academic Excellence in Humanities
3 days ago
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timeJob DescriptionThe Carlsberg Foundation Humanities PhD Fellowship at Aalborg Universitet offers a unique opportunity for academic excellence in humanities.We are seeking a highly motivated and talented individual to join our research community as a PhD fellow. The fellowship is available in all humanities fields and areas of research at the Faculty of Social...
-
Humanities PhD Researcher
3 weeks ago
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timeResearch Opportunity in HumanitiesThe Faculty of Social Sciences and Humanities, in collaboration with the Carlsberg Foundation, invites applications for a Humanities PhD Fellowship. The PhD Fellowship will be allocated to an individual who holds a MSc degree, preferably from a Danish university, within the field of humanities or expects to have obtained a...
-
Humanities PhD Researcher
4 weeks ago
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timeResearch OpportunityThe Faculty of Social Sciences and Humanities, in collaboration with the Carlsberg Foundation, invites applications for a PhD research position in Humanities. The successful candidate will be part of a vibrant research environment and contribute to a basic research project within humanities.The PhD research will be associated with one of...
-
Embedded Firmware Engineer
3 days ago
Aalborg, Ålborg Kommune, Denmark HOYER Rekruttering Full timeRevolutionize Scientific DiscoveryWe are seeking an experienced Embedded Firmware Engineer to join our team at Inniti, a Copenhagen-based start-up pioneering the digital revolution in laboratories.As a key member of our engineering team, you will be responsible for developing firmware for embedded systems, primarily focusing on communication with 3rd party...
-
Senior Digital Hardware Systems Engineer
2 days ago
Aalborg, Ålborg Kommune, Denmark Randstad Full timeGomSpace is seeking a highly skilled Senior Digital Hardware Systems Engineer to join their team in Aalborg.About the JobAs a Senior Digital Hardware Systems Engineer, you will play a pivotal role in designing and developing next-generation satellite systems. You will be responsible for working closely with the development of digital components and...
-
Digital Hardware Systems Designer
2 weeks ago
Aalborg, Ålborg Kommune, Denmark Randstad Full timeAbout the PositionWe are searching for a skilled Digital Hardware Systems Designer to join our team in Aalborg. As a key member of our design team, you will be responsible for developing digital electronic systems and subsystems for our satellite products.Key Responsibilities- Develop digital electronic systems and subsystems- Work with design...
-
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timeJob DescriptionAalborg University is a leading institution in the field of energy research, with a strong focus on sustainability and innovation. We are seeking a highly motivated and qualified PhD researcher to join our team in the Department of Energy Technology.The successful candidate will be part of our research program on "Reliability in Power...
-
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timeAbout the PositionAalborg University seeks a highly motivated and skilled researcher to join our team in the field of power electronic systems and components.The successful candidate will work in a dynamic and international research environment, contributing to the development of cutting-edge technologies in power electronics.About the Research ProgramThe...
-
Mixed-signal Hardware Development Engineer
3 weeks ago
Aalborg, Denmark Satlab ApS Full timeSatlab A/S develops and manufactures advanced radio systems for highly embedded applications and space systems. We are looking to expand our team in Aalborg, Denmark with a mixed-signal hardware development engineer, starting as soon as possible. Our main focus is on radios for data transfer and radios used for various mission specific communication or...
-
Aalborg, Ålborg Kommune, Denmark Norlys Full timeRevenue & Pricing Strategist - Shaping the Future of eMobilityDo you want to play a crucial role in lifting Norlys' ambitions to take a leading position in the eMobility market? Are you excited about pricing and revenue management? Then join our energetic and ambitious team to help enhance charging solutions across Denmark as our new Revenue & Pricing...
-
Aalborg, Denmark Norlys Full timeRevenue & Pricing Specialist - Take part in shaping the future of eMobility Do you want to play a crucial role in lifting Norlys' ambitions to take a leading position in the eMobility market? Are you excited about pricing and revenue management? Then join our energetic and ambitious team to help enhance charging solutions across Denmark as our new Revenue &...
-
Senior Researcher
3 days ago
Aalborg, Ålborg Kommune, Denmark Aalborg Universitet Full timeAalborg Universitet: A Hub for Clean and Sustainable Energy Systems At Aalborg Universitet, we strive to contribute to the knowledge building of the global society and the development of prosperity, welfare, and culture of Danish society. Our research-based education and public sector services aim to educate students for the future, fostering a dynamic...
