[DMANET] Professor in Software Technologies for Complex Software Systems, Linkoping university, Sweden

Professor in Software Technologies for Complex Software Systems, Linköping university, Sweden

Description of the subject area:
The position is associated with the Wallenberg AI, Autonomous Systems and Software Program (WASP) which is Sweden's largest individual research program ever; a major national initiative for strategically motivated basic research, education and faculty recruitment (see https://wasp-sweden.org<https://wasp-sweden.org/>) with a total budget exceeding USD500 million. WASP is hosted by Linköping University and comprises five Swedish full partner universities and a substantial part of Swedish industry and commerce. The WASP initiative includes among many instruments an international recruitment program that includes the present position.

The focus of the position is development of tools and technologies for developing and maintaining complex software systems.

Examples of expertise sought after include
· Tools for model-driven software engineering where in particular graphical entities and declarative formalisms constitute core modeling concepts from which software system or cyber-physical systems can be prototyped or automatically synthesized;
· Tools and technologies for developing and maintaining heterogeneous and distributed software architectures whiles building appropriate abstractions supporting e.g. virtualization and cloud computing;
· State of the art tools and technologies for scalable test- and verification of very large complex software systems.

For more details please follow the link below:

https://liu.se/en/work-at-liu/vacancies?rmpage=job&rmjob=13705&rmlang=UK

Mariam Kamkar, Professor
Department of computer and Information Science
Linkoping University, Sweden

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************