We have the following open positions:
- 1 PhD Student for Change Impact Analysis in Microservice-based Systems
- 1 PhD Student for Program Analysis using Formal Methods
PhD Student for Change Impact Analysis in Microservice-based Systems
The Software Engineering Research Group at the University of Klagenfurt is pleased to announce 1 Predoc position 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: as soon as possible
Application deadline: applications will be considered until the position is filled
The successful candidate 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.
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 candidate is 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
We offer
- An excellent environment for conducting cutting-edge research
- Personal and professional advanced training courses, management and career coaching
- Numerous attractive additional benefits, see also https://jobs.aau.at/en/the-university-as-employer/
- Diversity- and family-friendly university culture
- The opportunity to live and work in the attractive Alps-Adriatic region with a wide range of leisure activities in the spheres of culture, nature and sports
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 via email to Kerstin Smounig. Please mention SemImpact in the email subject. Note, applications will be considered until the position is 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: applications will be considered until the position is filled
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 the candidate 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
We offer
- An excellent environment for conducting cutting-edge research
- Personal and professional advanced training courses, management and career coaching
- Numerous attractive additional benefits, see also https://jobs.aau.at/en/the-university-as-employer/
- Diversity- and family-friendly university culture
- The opportunity to live and work in the attractive Alps-Adriatic region with a wide range of leisure activities in the spheres of culture, nature and sports
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 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.
Job details
More jobs from this employer
About the employer
The Alpen-Adria-Universität Klagenfurt has been futureoriented and dynamic from the day it was founded. Today it is Carinthia’s leading educational...
Visit the employer page