Research Assistant – Application and Development of UPPAAL for modelling, analysis and optimization of Cyber Physical Systems
We hereby call for applicants to a full-time 1 year position as research assistant at the DEIS Section at the Department of Computer Science, Aalborg University. The position will be focusing on applying and developing the tool UPPAAL for modeling, analysis and optimal control of a variety of Cyber Physical systems, ranging from energy aware system, e.g. district heating and cooling, to traffic control. The position will involve collaboration with external partners.
Your work tasks
The position involves a variety of tasks ranging from concrete application of the modelling tool UPPAAL for analyzing and optimizing control of various Cyber Physical systems. This may involve co-simulation and co-optimzation with other domain specific modelling tools. Driven by needs of applications the position may involve extensions of the modeling capabilities of UPPAAL as well as improvement of specific analysis algorithms of the tool. You will work with the external partners being collaborators of DEIS in various projects; also you will collaborate with other DEIS people assigned to the various projects as well as with the UPPAAL development team.
Your competencies
You must have an expert background in applying UPPAAL to non-trivial, industrial case studies. Also, you must have strong programming skills in C, C++.
Qualification requirements
Appointment as a research assistant requires academic qualifications at master's degree level.
Who we are
You will join the research groups in the Section of Distributed, Embedded and Intelligent Systems at the Department of Computer Science, Aalborg University (https://www.cs.aau.dk/research/deis-distributed-embedded-and-intelligent-systems). You will be using and working on extending and improving the UPPAAL modeling and verification tool (uppaal.org).
How to apply
Your application must include the following:
- Application, stating reasons for applying, qualifications in relation to the position, and intentions and visions for the position
- Curriculum Vitae (CV)
- Diplomas (master's degree diploma and potential PhD diploma)
- List of publications. You may attach a maximum of 5 publications (optional). If you are applying for a position at The Faculty of Social Sciences and Humanities (SSH), you must submit a co-author statement, see template for co-author statement
- Documentation of teaching qualifications (optional). Depending on which faculty you are applying for employment, please see guidelines for teaching portfolio at The Technical Faculty of IT and Design, The Faculty of Engineering and Science and The Faculty of Medicine or guidelines for teaching portfolio at The Faculty of Social Sciences and Humanities. If this is not enclosed, the applicant must enclose the reasons for this .
- Additional qualifications in relation to the position
- References/recommendations
You can read more about the requirements for your application here.
The application must be submitted via Aalborg University’s recruitment system, which can be accessed under the job advertisement on Aalborg University's website.
Aalborg University wants to reflect the surrounding society and has diversity as a core value. Therefore, everyone, regardless of personal background and orientation, is encouraged to apply for the position.
Do you have any questions?
If you have any questions about the position, you are more than welcome to contact Professor Kim Guldstrand Larsen, kgl@cs.aau.dk, 22171159.
Further information
Read more about our recruitment process here
The appointment process at Aalborg University involves a shortlisting process. You can read more about the shortlisting and appointment process here.
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.
Salary and terms of employment
The employment is in accordance with the Ministerial Order on the Appointment of Academic Staff at Universities (the Appointment Order) and the Ministerial Order on Job Structure for Academic Staff at Universities (in Danish) and protocol on certain terms of employment of academic staff at universities (in Danish).
Salary and terms of employment are in accordance with the collective agreement between the Danish Confederation of Professional Associations and the state (AC collective agreement) (only in Danish) and protocol on certain terms of employment of academic staff at universities (only in Danish).
Aalborg University - Knowledge for the world
Aalborg University is an international workplace with more than 3,700 employees. We offer real-world-oriented education and create world-class research results through collaboration between researchers, students, and public and private companies. This is how we achieve insights, new solutions to societal problems, and knowledge that changes the world. Our main campus is in Aalborg, but we also have campuses in Esbjerg and Copenhagen.
INFORMATIONER OM STILLINGEN:
- Arbejdspladsen ligger i:
Aalborg Kommune
-Virksomheden tilbyder:
-Arbejdsgiver:
Aalborg Universitet, Selma Lagerløfs Vej, 9220 Aalborg Øst
-Ansøgning:
Ansøgningsfrist: 10-07-2025;
Se mere her: https://job.jobnet.dk/CV/FindWork/Details/34697111-b633-4c72-be84-e34f912f8234
