PhD Position, open topic - Software quality and verification, coding and AI, software security (m/w/d)

University of St.Gallen; Lavamünd; Vor Ort; EUR 20.000 - 27.000; Vollzeit

Zusammenfassung

University of St.Gallen in Switzerland offers a PhD position to develop an individual research topic within software engineering, security, verification, and AI. The exact direction will be defined with the candidate based on interests and ongoing activities of the research group.

The group provides a vibrant research environment in software quality, security, verification, and AI-enabled software systems, with opportunities to publish in leading venues and collaborate within an international

Qualifikationen

• Excellent Master's degree in Computer Science, Software Engineering, or a closely related field.
• Strong interest in research in software engineering, programming languages, software security, formal methods, software verification, distributed systems, or AI.
• Strong programming and software development skills; willingness to implement and evaluate research prototypes.

Aufgaben

• Develop an individual PhD research topic by selecting and combining research directions in software engineering, security, verification, and AI.
• Explore topics such as software verification, e-graphs, Infrastructure as Code, AI-assisted code generation and software development, software testing, local-first software, distributed systems, and CRDTs.
• Define the precise research direction together with the candidate based on interests and ongoing activities.

Kenntnisse

Strong programming skills

Analytical & problem solving

English proficiency

Independent researcher

Ausbildung

Master's degree in Computer Science/Software Engineering

Jobbeschreibung

Your tasks

• Develop an individual PhD research topic by selecting and, where appropriate, combining research directions in software engineering, security, verification, and AI.
• Possible topics include software verification, e-graphs and equality saturation, Infrastructure as Code, AI-assisted code generation and software development, software testing, local-first software, distributed systems, and CRDTs.
• The precise research direction will be defined together with the candidate based on their interests and background and on the ongoing research activities of the research environment.

Your profile

• Excellent Master's degree in Computer Science, Software Engineering, or a closely related field.
• Strong interest in research in one or more of the areas of software engineering, programming languages, software security, formal methods, software verification, distributed systems, or artificial intelligence.
• Strong programming and software development skills. Interest in both conceptual research and the implementation and experimental evaluation of research prototypes.
• Previous basic knowledge of topics such as formal methods, program analysis, software testing, security, distributed systems, machine learning.
• Ability to work independently and develop original research ideas.
• Strong analytical and problem-solving skills.
• Excellent written and spoken English.
• Curiosity, creativity, and enthusiasm for working in an international research environment.

The group offers a vibrant research environment in the area of software quality, security, verification, and AI-enabled software systems. PhD candidates have substantial freedom to develop an individual research direction, choosing from and combining topics that align with our broader research activities. Current directions include, for example, software verification, e-graphs, Infrastructure as Code, AI-assisted code generation, software testing, local-first software, and CRDTs. We publish in leading international venues across several fields and we are supported by competitive funding from major national and European funders, including the Swiss National Science Foundation (SNSF) and Horizon Europe. The position offers the opportunity to contribute to internationally visible research and to collaborate within a strong international academic network.

Further information on working at the HSG can be found here.

Inspirational Work Environment

At the HSG, as Europe's leading business university, we operate in an entrepreneurial environment where you will meet highly qualified, ambitious experts - both regionally and internationally. For example, you benefit from a modern IT infrastructure and, in our library via HSGswisscovery, from nationwide access to the wealth of scientific information available.

Executive Education

We support internal and external executive education opportunities. Our internal executive education programme offers you a practical, dedicated and didactically mature transfer of knowledge in the form of seminars, e-learning, coaching and collegial advice. We support task-specific external training and executive education financially as well as with regard to the time required.

Network

We promote our culture of cross-functional collaboration and create space for forging valuable relationships - also with external partners. Regular exchanges and internal events help to strengthen these relationships and make them long-lasting.

Family & Career

We provide our employees with flexible work time models with a variable number of hours per week. As a family-friendly employer, we offer part-time positions, 16 weeks of maternity leave and a subsidised crèche, as well as support with childcare during the vacations.

Equal Opportunities

The University enables equal opportunities for all employees and students. This applies to degree courses and work, as well as academic careers, university management positions and the reconciliation of studies, work and private commitments. We are committed to this with various measures in the areas of teaching, research, administration and the Presidency.

Fit and Healthy

We help you stay fit and healthy. In addition to our diverse range of sports activities at the university, most of which are free of charge, and campaign weeks for corporate health management, we also offer you fruit in the workplace. In our canteen you find a wide selection of freshly prepared meals - from vegetarian to fish dishes - at discounted prices.

University of St.Gallen

«A place where knowledge is created» - As one of Europe's leading universities of economics and business administration, the University of St.Gallen (HSG), Switzerland, is committed to the education of over 10'000 students. The HSG is one of the largest employers in the region and provides an attractive and innovative environment for more than 3'800 researchers, educators and professional staff.