Two PhD positions on Modular Control Systems Design using Assume-Guarantee Contracts
Apply nowTwo PhD positions on Modular Control Systems Design using Assume-Guarantee Contracts
We offer two four-year PhD positions in systems and control theory at the University of Groningen. The projects will develop a powerful framework to enable the design of the large-scale control systems of the future.
Two PhD positions on Modular Control Systems Design using Assume-Guarantee Contracts
Apply now
What are you going to do?
The increasing complexity and ever-tighter performance requirements on systems such as occurring in high-tech manufacturing, autonomous vehicles, and smart energy poses many challenges to the current status of control theory. Namely, existing control methods do not scale with the increased size and heterogeneity of such systems, which typically comprise a large number of distinct but interacting components.
These projects address these challenges by contributing to the development of a control theory that is inherently modular, i.e., that allows for considering components independently. Inspired by so-called contract theories from computer science, such modular control theory will be based on the introduction of assume-guarantee contracts for control systems. These contracts should have two desired features: i) be capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications.
The two PhD positions will focus on the use of contracts for modular control system design, targeting the following:
1. Contract synthesis, that is, the design of component-level specifications guaranteeing system-level specifications and performance.
2. Component and controller co-design, according to component-level specifications.
These positions are part of the recent large project “Contracts for Control System Design”, funded by the European Research Council. As such, the PhD candidates will be part of a research team at the University of Groningen working on the rich topic of contract-based modular system verification and design. National and international collaboration, including attendance of conferences, will be facilitated and stimulated.
Employed PhD candidates are expected to spend 10% of their working hours on teaching and/or supervising candidates.
Who are you?
We are looking for enthusiastic candidates satisfying the following criteria:
· You have a keen interest in pursuing fundamental research in systems and control theory.
· You have a recent MSc degree in Applied Mathematics, Mechanical Engineering, Electrical Engineering, or another relevant field, with specialization or interest in systems and control theory.
· You have strong analytical skills and interest in mathematical systems theory and complex dynamical systems.
· You are fluent in spoken and written English, have a positive attitude, and an interest in collaborating with fellow PhD students, postdocs, and PIs.
What can you expect from us?
- In accordance with the collective labor agreement for Dutch universities, we offer a salary of at least € 3.059 up to a maximum of € 3.881 (Promovendus) gross per month for a full-time employment contract.
- 232 vacation hours per year, based on a 38-hour workweek (1.0 FTE). You can also work more or fewer hours in exchange for more or fewer free hours. For example, with a 40-hour workweek, you save 96 extra free hours, and with a 36-hour workweek, you lose 96 hours.
- End-of-year bonus of 8.3% and 8% holiday allowance.
- Extensive opportunities for personal and professional development.
- Contract duration: The successful candidate will first be offered a temporary position of one year with the option of renewal for another three years. Prolongation of the contract is contingent on sufficient progress in the first year to indicate that a successful completion of the PhD thesis within the next three years is to be expected. A PhD training programme is part of the agreement and the successful candidate will be enrolled in the Graduate School of Science and Engineering.
Where will you be working?
At the University of Groningen (RUG), researchers across all branches of science and technology work on scientific challenges and societal issues. Lecturers train their students for meaningful careers in science or beyond. Interdisciplinary research and education, knowledge sharing, and collaboration with companies, government institutions, and societal organizations are highly valued at this top 100 university. RUG aims to be an open academic community with an inclusive and safe working environment that invites you to contribute your value.
The Faculty of Science and Engineering (FSE) provides teaching and research across a wide range of disciplines, from physics and biology to artificial intelligence, mechanical engineering, and pharmacy. In close collaboration with partners from industry, healthcare, and society, we contribute to the urgent challenges of our time, such as energy, sustainability, digitization, and medical technology. Our community is open and informal, with more than 7,000 students, 1,000 PhD students, and 1,400 staff members from all over the world. If you would like to learn more about the Faculty of Science and Engineering, visit rug.nl/fse.
The positions are in the Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, within the Faculty of Science and Engineering. The successful candidates would become a member of the Systems, Control, and Optimization group of the (Applied) Mathematics Department, which is a lively and active research environment. The candidates would be supervised by Bart Besselink.
Application procedure
After submitting your application, you will receive a confirmation by email.
The selection committee assesses your application and you will receive a response at the latest two weeks after the closing date.
We would like to get to know each other better in a first interview, which can take place either online or on location.
We may schedule a second interview with you. Depending on the position, this interview can be complemented with an assessment or guest lecture.
After a positive interview, we will discuss the terms of employment together. When everything is completed, we are happy to welcome you at the University of Groningen!
Interested?
Does this vacancy appeal to you? If so, click on the button below and apply straightaway.
Please add the following documents to your application:
- motivation letter, including an explanation of interest for the topic
- detailed cv
- academic transcripts with grades from prior university studies
- brief description of your MSc thesis and/or relevant research projects.
Do you have any questions or need more information?
-
Questions about the content of the job?
Bart Besselink
Associate Professor
B.Besselink@rug.nl -
Questions about your application process?
Femke Postma
Human Resources Adviser
femke.postma@rug.nl
Information about applying
When scheduling meetings, we will take your schedule into account as much as possible.
The University of Groningen considers social safety important. We strive to be a university where staff and students feel respected and at home, regardless of differences in background, experiences, perspectives, and identity. For more information, see also our page about our diversity policy.
Acquisition is not appreciated.
Onze selectieprocedure volgt de richtlijnen van de NVP Sollicitatiecode
Read document