<div dir="ltr"><div><br></div><div><br></div>Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland<br><br><br>The Programming Group at the School of Computer Science, University of St.Gallen (HSG), Switzerland, invites applications for an opening as postdoctoral researcher. <br><br>The Programming Group (<a href="https://urldefense.com/v3/__https://programming-group.com/__;!!IBzWLUs!W0jwnd5oTXSDhuYV2VZgsU8Uaiaxcc34aU83bgKZuJY__nieh-7ZPdAwWyfKqig3b8aGpEAbUPEaaI12j5wHfk-F3uisjPGdOu8$">https://programming-group.com/</a>) is doing research on several topics at the intersection of programming languages and software engineering.<br><br>We focus on impactful research and regularly publish in top international conferences and journals in Programming Languages and Software Engineering (<a href="https://urldefense.com/v3/__https://programming-group.com/publications__;!!IBzWLUs!W0jwnd5oTXSDhuYV2VZgsU8Uaiaxcc34aU83bgKZuJY__nieh-7ZPdAwWyfKqig3b8aGpEAbUPEaaI12j5wHfk-F3uis4505BfQ$">https://programming-group.com/publications</a>).<br><br>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.<br><br><br>Employment: either full-time or with a lower percentage.<br>The position is supervised by Prof. Guido Salvaneschi<br><br>Your activities:<br>- Develop original research, including new theories and software prototypes.<br>- Opportunity to coordinate the research among PhD and Master/Bachelor students.<br>- Collaborate with colleagues contributing to the research projects currently running in the team.<br>- Publish research results in high-quality scientific conferences/journals.<br><br>Your profile:<br>- Phd in computer science or a closely related field<br>- Expertise in techniques for software quality assurance such as static/dynamic analysis, testing, and verification.<br>- 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.<br><br><br>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 <a href="mailto:guido.salvaneschi@unisg.ch">guido.salvaneschi@unisg.ch</a> <br><br><br>The position will be filled as soon as a suitable candidate is found.<br><br>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.<br><br><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">Guido Salvaneschi<br>Associate Professor<br>University of St.Gallen - Switzerland</div></div></div>