[TYPES/announce] Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland

[Guido Salvaneschi]

Postdoc in testing and verification of Infrastructure as Code - Programming
Group, Univ. of St.Gallen, Switzerland


The Programming Group at the School of Computer Science, University of
St.Gallen (HSG), Switzerland, invites applications for an opening as
postdoctoral researcher.

The Programming Group (https://urldefense.com/v3/__https://programming-group.com/__;!!IBzWLUs!W0jwnd5oTXSDhuYV2VZgsU8Uaiaxcc34aU83bgKZuJY__nieh-7ZPdAwWyfKqig3b8aGpEAbUPEaaI12j5wHfk-F3uisjPGdOu8$ ) is doing research on
several topics at the intersection of programming languages and software
engineering.

We focus on impactful research and regularly publish in top international
conferences and journals in Programming Languages and Software Engineering (
https://urldefense.com/v3/__https://programming-group.com/publications__;!!IBzWLUs!W0jwnd5oTXSDhuYV2VZgsU8Uaiaxcc34aU83bgKZuJY__nieh-7ZPdAwWyfKqig3b8aGpEAbUPEaaI12j5wHfk-F3uis4505BfQ$ ).

A postdoctoral position in “testing and verification of Infrastructure as
Code” involves conducting advanced research at the intersection of
programming languages and software development. As a postdoc, you will
explore innovative approaches to testing, analysis, and verification
techniques to improve the quality and safety of cloud deployments. Relevant
topics include fuzzing, property-based testing, fault injection, and formal
methods like program verification and model checking.


Employment: either full-time or with a lower percentage.
The position is supervised by Prof. Guido Salvaneschi

Your activities:
- Develop original research, including new theories and software prototypes.
- Opportunity to coordinate the research among PhD and Master/Bachelor
students.
- Collaborate with colleagues contributing to the research projects
currently running in the team.
- Publish research results in high-quality scientific conferences/journals.

Your profile:
- Phd in computer science or a closely related field
- Expertise in techniques for software quality assurance such as
static/dynamic analysis, testing, and verification.
- Possibly: expertise in cloud computing and infrastructure as code
technologies. Expertise in applications of AI to software engineering, such
as AI-assisted code generation and test generation.


We offer a very competitive salary, social benefits, generous funding for
professional travel and research as well as an attractive work environment
both within the research group and in the group network. If you fit the
profile, you like challenges, and you are passionate about research, we
would love to hear from you. Please submit your application with your CV,
your academic records, and a motivation letter to guido.salvaneschi at unisg.ch


The position will be filled as soon as a suitable candidate is found.

St.Gallen is a beautiful town in East Switzerland, one hour away from
Zurich by train and less than three hours away from Munich, Germany. The
University of St.Gallen is committed to the education of over 9800
students. The HSG is one of the largest employers in the region and
provides an attractive and innovative environment for more than 3300
researchers, educators, and professional staff.


-- 
Guido Salvaneschi
Associate Professor
University of St.Gallen - Switzerland
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240717/7ecbc04e/attachment.htm>