Open Positions

We have the following open positions:

2 PhD Students for Change Impact Analysis in Microservice-based Systems

The Software Engineering Research Group at the University of Klagenfurt is pleased to announce 2 Predoc positions in software engineering with a focus on code and API change impact analysis in microservice-based systems.

Level of employment: 75 % (30 hours/week)
Minimum salary: € 34,411.65 per annum (gross)
Limited to: 4 years
Starting date: October/November 1st, 2023
Application deadline: by July 4, 2023 August 15, 2023

The successful candidates will contribute to the research project SemImpact: Change Impact Analysis for Microservice-based Systems. The goal of the SemImpact project is to explore novel methods and techniques that enable software developers and system integrators to accurately determine and understand the semantic impact of code and API changes in microservice-based systems, and to use this information to improve the cost-effectiveness of change impact understanding tasks and regression testing. The project is funded by the Austrian FWF and will be performed by the Software Engineering Research Group (SERG) at the University of Klagenfurt. SERG and the University of Klagenfurt provide a vivid, friendly, international and research-oriented environment.

Tasks comprise

  • Investigation of methods and techniques for determining, understanding, and testing the semantic impact of code and API changes in microservice-based systems
  • Implementation of research prototypes to demonstrate the methods and techniques
  • Evaluation of the methods and techniques using formal and empirical research methods
  • Writing scientific publications and presenting them in renowned journals and at international conferences
  • Participation in teaching software engineering courses (optionally)

The successful candidates are expected to pursue a PhD within the doctoral programme Informatics at the University of Klagenfurt.

Requirements for candidates are

  • Master’s degree in computer science or informatics
  • Profound knowledge in one or more of the following areas
    • Microservices
    • Program analysis
    • Abstract interpretation
    • Symbolic execution
    • Software testing
  • Very good programming skills in at least one popular programming language
  • Fluency in English

Desired are

  • Experiences with formal methods
  • Experiences with performing empirical studies
  • Good communicator, strong social skills, and team player
  • Independent working style
  • Not afraid to learn

Applications must include

  • A detailed resume (with publications, if you have any)
  • A motivational letter specifically referring to the open position (maximum 3 pages)
  • Copies of marks and degrees/certificates
  • A list of 3 references that we can contact
  • Your MSc thesis in English (or alternative if your MSc thesis is not in English, a 5-page summary of your MSc thesis in English).

Please submit your application as PDF files as early as possible but not later than August 15, 2023 via email to Kerstin Smounig. Please mention SemImpact in the email subject. Note, applications will be considered until the positions are filled.

For more information on the position contact Martin Pinzger.

PhD Student for Program Analysis using Formal Methods

The Software Engineering Research Group at the University of Klagenfurt and the Research Center Hagenberg of the University of Applied Sciences of Upper Austria are pleased to announce 1 Predoc position in software engineering with a focus on program analysis using formal methods.

Level of employment: 75 % (30 hours/week)
Minimum salary: € 34,411.65 per annum (gross)
Limited to: 2 years (with the possibility to extend it)
Starting date: as soon as possible
Application deadline: by June 4, 2023 August 15, 2023

The successful candidate will contribute to the research project COMPASS of the Software Competence Center Hagenberg. The main goal of COMPASS is to advance methods in software analytics to facilitate the analysis of complex software systems. The position provides candidates with an excellent opportunity to do a PhD in an international renowned team formed by the Software Engineering Research Group, the Research Center Hagenberg and the Software Competence Center Hagenberg.

Tasks comprise

  • Investigation of methods and techniques for user-guided, interactive, and incremental formal program analysis
  • Development of research prototypes to demonstrate the methods and techniques
  • Evaluation of the methods and techniques using formal and empirical research methods
  • Writing scientific publications and presenting them in renowned journals and at international conferences
  • Participation in teaching software engineering courses (optionally)

Requirements for candidates are

  • Master’s degree in computer science or informatics
  • Profound knowledge in one or more of the following areas
    • Program analysis
    • Symbolic Execution
    • Software testing
  • Very good programming skills in at least one popular programming language
  • Fluency in English

Please note that applications that do not meet these basic requirements will not be considered.

Desired are

  • Experiences with formal methods
  • Experiences with performing empirical studies
  • Good communicator, strong social skills, and team player
  • Independent working style
  • Not afraid to learn

Applications must include

  • A detailed resume (with publications, if you have any)
  • A motivational letter specifically referring to the open position (maximum 3 pages)
  • Copies of marks and degrees/certificates
  • A list of 3 references that we can contact
  • Your MSc thesis in English (or alternative if your MSc thesis is not in English, a 5-page summary of your MSc thesis in English).

Please submit your application as PDF files as early as possible but not later than August 15, 2023 via email to Kerstin Smounig. Please mention COMPASS in the email subject. Note, applications will be considered until the position is filled.

For more information on the position contact Martin Pinzger or Josef Pichler.