Postdoc in testing and verification of Infrastructure as Code

vor 19 Stunden


Sankt Gallen, Schweiz European Association for Programming Languages and Systems (EAPLS) Vollzeit

EAPLS » Jobs » Job Vacancies » Postdoc in testing and verification of Infrastructure as Code - Programming Group, Univ. of St.Gallen, Switzerland

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

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.

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

Your activities:

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

Your profile:

  1. PhD in computer science or a closely related field.
  2. Expertise in techniques for software quality assurance such as static/dynamic analysis, testing, and verification.
  3. 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@unisg.ch.

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

#J-18808-Ljbffr
  • Fully funded PhD position

    vor 18 Stunden


    Sankt Gallen, Schweiz European Association for Programming Languages and Systems (EAPLS) Vollzeit

    EAPLS » Jobs » Job Vacancies » Fully funded PhD position - Programming Group, Univ. of St.Gallen, SwitzerlandFully funded PhD position - Programming Group, Univ. of St.Gallen, SwitzerlandThe Programming Group at the School of Computer Science, University of St.Gallen (HSG), Switzerland, invites applications for an opening as PhD student.The Programming...

  • Software Engineer

    vor 19 Stunden


    Sankt Gallen, Schweiz Code Compass ? Vollzeit

    Get AI-powered advice on this job and more exclusive features.Director of IT Recruitment @CodeCompassOur client, a leading automation company, is seeking a talented C# Developer to join their innovative team in St. Gallen. With a strong focus on developing cutting-edge automation solutions, our client is dedicated to driving advancements in industrial...


  • Sankt Gallen, Schweiz Karlstad University Vollzeit

    Postdoc on the effects of ultrafine pollution particles and micro-/nanoplastics at the human placentaMaterials science and technology are our passion. With our cutting-edge research, Empa's around 1,100 employees make essential contributions to the well-being of society for a future worth living. Empa is a research institution of the ETH Domain.The...


  • St. Gallen, Schweiz Universität St.Gallen Vollzeit

    **PostDoc Position in Finance, with Focus on Private Markets (m/w/d)**: 100 % (Full time, limited for 2 years) **Your tasks**: **We offer** You will conduct rigorous academic research at the Chair of Private Markets and Alternative Investments. You will have access to an extensive set of databases and analytical tools. You will benefit from hands-on...


  • Sankt Gallen, Schweiz International Society for Industrial Ecology Vollzeit

    PostDoc or Scientist on a carbon-binding society within planetary boundariesAs we are currently far in excess of 350ppm CO2 in the atmosphere, we will have to bind large amounts of carbon to prevent climate tipping. Interested in working on the upcoming grand challenge of cleaning up the atmosphere from a systems perspective? Then join our team at Empa in...


  • Sankt Gallen, Schweiz Universität St.Gallen Vollzeit

    PhD student at the Programming Group (m/f/d) 100 % ( by 01.03.2024, or upon agreement) Your tasks Develop original research at the intersection of programming languages, software engineering, and security Collaborate with colleagues contributing to the research projects currently running in the team Publish research results in scientific...


  • Sankt Gallen, Schweiz Karlstad University Vollzeit

    Postdoctoral position in Method Development and Application for Micro- and Nanoplastic Quantification in complex Food Matrices (80 - 100%)Materials science and technology are our passion. With our cutting-edge research, Empa's around 1,100 employees make essential contributions to the well-being of society for a future worth living. Empa is a research...


  • Sankt Gallen, Schweiz Universität St.Gallen Vollzeit

    The Executive MBA of the University of St.Gallen is the most successful postgraduate programme in general management in the German-speaking world. For more than 30 years, international executives have trusted in our competence and experience.Your tasks:In alignment with the vision and strategy of the Executive MBA HSG business unit, defines and oversees the...


  • Sankt Gallen, Schweiz Universität St.Gallen Vollzeit

    Head of Marketing and Talent Acquisition- EMBA HSG (m/f/d) 100 % (unbefristet by 01.12.2024) Your tasks In alignment with the vision and strategy of the Executive MBA HSG business unit, defines and oversees the implementation and internal divulgation of the EMBA HSG marketing strategy, including branding, digital marketing, and programme portfolio...


  • St. Gallen, Schweiz OKOIOS Vollzeit

    Aufgaben Your Commitment will include - Provide assistance in the care and maintenance of the organization's ICT infrastructure. - Oversee and manage larger renovation projects in the field of networks and virtual systems, communication, and control systems while maintaining operational functionality. - Project planning and supervision of smaller...

  • TQA/Test Engineer

    vor 19 Stunden


    Sankt Gallen, Schweiz Adcubum AG Vollzeit

    As a Test Engineer and Team Quality Assurance (TQA) with a focus on automation,you are part of a Scrum team and are responsible for the high quality of thedevelopment work. You will check and monitor quality through manual andautomated tests. You attach particular importance to test automation. You alsoensure compliance with quality criteria from the...


  • Sankt Gallen, Schweiz Institut auf dem RosenbergSt.Gallen, Switzerland Vollzeit

    Salary:CompetitiveJob type:Full Time, PermanentApply by:31 March 2025Job overviewWe are looking for an exceptional teacher to join an outstanding Business & Economics Department at Institut auf dem Rosenberg. The candidate should be a motivational and engaging teacher to high-level international students.We are particularly interested in hearing from...


  • Sankt Gallen, Schweiz Empa Vollzeit

    Materials science and technology are our passion. With our cutting-edge research, Empa's around 1,100 employees make essential contributions to the well-being of society for a future worth living. Empa is a research institution of the ETH Domain.Ultrafine pollution particles (UFPs) and micro-/nanoplastics (MNPs) are emerging global contaminants of...

  • Senior DevOps Engineer

    vor 4 Wochen


    Sankt Gallen, Schweiz Frontify Vollzeit

    Your new companyA lot has changed at Frontify over the last decade, but people continue to be at the heart of our vision.Every day, we empower thousands of brand builders worldwide — including teams at Lufthansa, KIA, Vodafone, and Uber — to create brands that have an impact. Our more than 300 employees collaborate and engage in and around our...


  • St. Gallen, Schweiz LHH Vollzeit

    LHH, on behalf of our esteemed client, is seeking skilled professionals to join their dynamic teams. If you're passionate about designing, implementing, and maintaining cutting-edge firewall and network solutions, we want to hear from you. Join us in delivering exceptional service and shaping the future of IT infrastructure. **Responsibilities**: -...


  • St. Gallen, Schweiz Universität St.Gallen Vollzeit

    **Working Student position at the Chair of Health Economics, Policy, and Management (m/w/d)**: 20 % (limited by 01.01.2025 until 31.07.2025) **Your tasks**: - This position is part of the research project “ICURE - ICU Readmission Reduction - with Machine Learning”, funded by a HSG Stepping Stone grant. As a working student, you will: - Have the...

  • Teacher of Psychology

    vor 19 Stunden


    Sankt Gallen, Schweiz Institut auf dem RosenbergSt.Gallen, Switzerland Vollzeit

    Salary:CompetitiveJob type:Full Time, PermanentStart date:21. August 2025Apply by:31 March 2025Job overviewWe are looking for an exceptional psychology teacher to join an outstanding Humanities Department at Institut auf dem Rosenberg. The candidate should be a motivational and engaging teacher to high-level international students. The ability to teach an...


  • Sankt Gallen, Schweiz VAT Vollzeit

    BE GREAT TOGETHER WITH USInnovation, Efficiency and Ambition: this is what VAT has stood for over 50 years. With this passion, VAT has grown to become the leading international developer, manufacturer and supplier of high-performance high-end vacuum valves and vacuum sealing technology, employing over 2000 people worldwide. The headquarters are located in...


  • St. Gallen, Schweiz Sportradar Vollzeit

    **Company Description** We’re the world’s leading sports technology company, at the intersection between sports, media, and betting. More than 1,700 sports federations, media outlets, betting operators, and consumer platforms across 120 countries rely on our know-how and technology to boost their business. **Job Description** OVERVIEW**: We are seeking...

  • Quality Manager

    vor 7 Monaten


    St. Gallen, Schweiz SGS Vollzeit

    Company Description **SGS is the world’s leading inspection, verification, testing and certification company. SGS is recognized as the global benchmark for quality and integrity. SGS is the global benchmark for sustainability, quality, and integrity. 97,000 employees operate a network of 2,650 offices and laboratories, working together to enable a better,...