One or more postdoc positions within Models, Tools and Realizations of Intelligent Embedded Systems

Updated: 9 days ago

At Center for Embedded Software Systems, Department of Computer Science, Aalborg University, several Postdoc positions are available. The positions are open for appointment from January 1, 2020 or soon thereafter. The positions are for one year with an optional extension of one more year. Department of Computer Science is a department with many coherent activities within research, education, technology, development and co-operation with the surrounding society, and  research dissemination within the computer science area. The department's research approach ranges from formal logic, over experimental construction to empirical description. The research in the department has computers, programming, as well as software- and computer systems as its field. The department offers a broad range of computer science educations at all levels as well as continued professional development.


Job description

The research will focus on tools and realizations of Intelligent, Embedded Systems with particular focus on their applications on mobile and energy aware systems. The positions are related to three large innovation projects which also include industrial partners. The projects include DONUT (https://www.dryp.global/donut), DiCyPS (https://www.dicyps.dk/dicyps-in-english/) and a newly initiated project on Flexible Energy involving the Technical Universities in Denmark as well as a number of companies covering the full value chain of the Danish Energy System.

Concretely, we are looking for applicants with a strong background and interest in one (or both) of the following:

(1) Tools and algorithms for the analysis of real time systems: The UPPAAL tool family has been developed jointly with UPPSALA university, and in Aalborg, a number of extensions have been developed for statistical model checking, game analysis, test generation etc. Recently, machine learning techniques have been adapted.
(2) Modelling, analysis and implementation of distributed and networked systems: Modelling of protocols for networked and distributed systems with particular emphasis on their quantitative properties like real time and energy consumption. Implementation of such protocols in realistic IoT settings. Services for and interoperability of IoT systems.

Within these areas, the positions come with many freedoms in terms of the specific research direction, methodology, and approaches taking the specific project needs into consideration. 

Department of Computer Science at Aalborg University takes a leading international position within data management and verification. It is a very young university (1974) but with a strong international profile in Mathematics, and Computer Science & Engineering, also hosting the two most highly cited Computer Scientists of the country. According to the CWTS Leiden Ranking 2014 measuring the scientific performance of 750 major universities worldwide, Aalborg University is ranked no. 117 worldwide and is the highest ranked Danish university within Mathematics, Computer Science & Engineering. 

Limited teaching within the area can be expected, but also in other study programmes at the University. 

For any questions, please do not hesitate to contact Prof Kim G. Larsen kgl@cs.aau.dk   / https://cs.aau.dk/~kgl/  

Qualification requirements: 

Appointment as Postdoc presupposes scientific qualifications at PhD–level or similar scientific qualifications. The research potential of each applicant will be emphasized in the overall assessment. Appointment as a Postdoc cannot exceed a period of four years in total at Aalborg University.

The application must contain the following:

  • A motivated text wherein the reasons for applying, qualifications in relation to the position, and intentions and visions for the position are stated.
  • A current curriculum vitae.
  • Copies of relevant diplomas (Master of Science and PhD). On request you could be asked for an official English translation.
  • Scientific qualifications. A complete list of publications must be attached with an indication of the works the applicant wishes to be considered. You may attach up to 5 publications.
  • Dissemination qualifications, including participation on committees or boards, participation in organisations and the like.
  • Additional qualifications in relation to the position. References/recommendations.
  • Personal data.

The applications are only to be submitted online by using the "Apply online" button below. An assessment committee will assess all candidates.

AAU wishes to reflect the diversity of society and welcomes applications from all qualified candidates regardless of personal background or belief.

For further information concerning the application procedure please contact Lisbeth Palmelund by mail est-st-hr@adm.aau.dk 

Information regarding guidelines, ministerial circular in force and procedures can be seen here.


Agreement

Employment is in accordance with the Ministerial Order on the Appointment of Academic Staff at Universities (the Appointment Order) and the Ministry of Finance's current Job Structure for Academic Staff at Universities. Employment and salary are in accordance with the collective agreement for state-employed academics.   


Vacancy number

2019-224-02434


Deadline

05/11/2019

Apply online
View or Apply

Similar Positions