Postdoctoral Researcher in Infrastructure as Code Verification

Vor 4 Tagen


St Gallen, Sankt Gallen, Schweiz European Association for Programming Languages and Systems (EAPLS) Vollzeit
Postdoctoral Researcher in Infrastructure as Code Verification

We invite applications for a postdoctoral position in testing and verification of Infrastructure as Code at the European Association for Programming Languages and Systems (EAPLS).

The position involves conducting advanced research at the intersection of programming languages and software development, exploring 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.

Your key responsibilities:

  1. Develop original research, including new theories and software prototypes.
  2. 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.

We seek a highly motivated researcher with a strong background in computer science or a closely related field, expertise in software quality assurance techniques such as static/dynamic analysis, testing, and verification.

A competitive salary, social benefits, generous funding for professional travel and research, and an attractive work environment make this a great opportunity for you to join our team.



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

    Research Position in Testing and Verification of Infrastructure as CodeWe are seeking a researcher to join our team working on testing and verification of Infrastructure as Code. The successful candidate will contribute to developing innovative approaches to improve the quality and safety of cloud deployments.This role involves:Designing and implementing...


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

    Verification Expert for Cloud DeploymentsWe invite applications for a verification expert to join our team working on testing and verification of Infrastructure as Code. The successful candidate will contribute to improving the quality and safety of cloud deployments through rigorous research in programming languages and software development.This role...


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

    PhD in Programming Languages with Focus on Infrastructure as CodeWe are offering a PhD position in programming languages with a focus on testing and verification of Infrastructure as Code at EAPLS.The successful candidate will explore innovative approaches to improve the quality and safety of cloud deployments through rigorous research in programming...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    About the Position:We are looking for a talented postdoctoral researcher to join our team at Empa. As a polymer engineer for biomedical applications, you will have the opportunity to contribute to innovative research and develop new materials for medical applications.Key responsibilities include:Developing novel medical liquid-core fibers for drug-loaded...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    BenefitsAs a valued member of our team, you will enjoy an international and stimulating research environment with excellent infrastructure for personal and professional growth. We offer a dynamic and inclusive workplace culture, with opportunities for career development and advancement.Additionally, you will benefit from our commitment to diversity and...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    About UsEmpa is a research institution of the ETH Domain, dedicated to creating innovative solutions for society. Our mission is to make essential contributions to the well-being of society through our cutting-edge research.Job DescriptionWe are looking for a highly motivated Postdoctoral Researcher to join our team. The successful candidate will work on the...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    Job DescriptionThis Postdoctoral Researcher position is focused on developing novel medical liquid-core fibers for drug-loaded hernia repair meshes. You will be responsible for designing and synthesizing new materials, as well as acquiring research grants and publishing scientific results.Your tasks will also include supervising students and interns,...


  • St. Gallen, Sankt Gallen, Schweiz TN Switzerland Vollzeit

    We are seeking an experienced Postdoctoral Researcher in Social Sciences and Innovation to join our Horizon Europe Project team. As an integral member of the NOSTRADAMUS project, you will contribute to the development of a centralised Data Cube Ecosystem and multifunctional open-source digital applications for key actors in the EU agricultural sector.Your...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    You will be a key member of our team, working closely with a pharmaceutical company committed to discovering and developing life-changing treatments. As a clinical research associate, you will contribute to the success of our organization by setting up and monitoring studies, preparing regulatory submissions, and maintaining accurate documentation.Working in...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    We are seeking a highly motivated PhD candidate to join our research group at Empa, a leading research institution of the ETH Domain. The successful candidate will be part of a multidisciplinary team focusing on the development of functional soft materials for tissue engineering and regeneration applications.The project aims to develop functional sutures by...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    About the JobWe are seeking a highly motivated Postdoctoral Researcher to join our interdisciplinary team at Empa. The successful candidate will work on the effects of ultrafine pollution particles and micro-/nanoplastics on human health.ResponsibilitiesConduct research on the impact of ultrafine pollution particles and micro-/nanoplastics on human health,...


  • St. Gallen, Sankt Gallen, Schweiz University of St Vollzeit

    Your tasks The successful candidate will: perform research in the area of illegal or informal economies with a focus on Latin America. Research may address legality/illegality interfaces, i.e., linkages between illegal markets and governments, state agencies, or businesses (including social platforms and fintech offering digital payment services)....


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    Job Description:We are seeking a highly motivated postdoctoral researcher to join our team at Empa. The successful candidate will work on developing novel medical liquid-core fibers for drug-loaded hernia repair meshes.As a biomedical polymer specialist, you will have the opportunity to contribute to cutting-edge research and make essential contributions to...


  • St. Gallen, Sankt Gallen, Schweiz HUBER+SUHNER Vollzeit

    We offer an international research environment with excellent infrastructure for personal and professional growth.As a member of our team, you will contribute to meaningful activities that drive sustainable innovation.Our culture values inclusion and respect, embracing individuals who share our passion for discovery.What We Offer:An opportunity to work at...


  • St. Gallen, Sankt Gallen, Schweiz TN Switzerland Vollzeit

    We are seeking a data analyst for financial research to join our team at TN Switzerland.The successful candidate will work on the Crux of Capitalism project, contributing to the analysis of the current state of global capitalism.You will be responsible for collecting and organizing data, analysing and modelling data, writing, testing, and debugging code, and...


  • St. Gallen, Sankt Gallen, Schweiz ETH get hired Vollzeit

    Job DescriptionWe are seeking a highly motivated and experienced Senior Research Scientist to join our team at ETH. As a key member of our research group, you will be responsible for developing functional sutures using microfluidic wet spinning technology.About the Role:Design and optimize microfluidic devices for wet spinning of polymer fibersAnalyze the...


  • St. Gallen, Sankt Gallen, Schweiz University of St Vollzeit

    Your tasks The successful candidate will: work within the NOSTRADAMUS Horizon Europe project (Research and Innovation Action) which seeks to develop a centralised Data Cube Ecosystem together with multifunctional open-source digital applications for key actors in the EU agricultural sector (e.g., farmers, advisors, SMEs, IT expert providers, policy...


  • St. Gallen, Sankt Gallen, Schweiz NZZone Vollzeit

    About the RoleThe University of St.Gallen is seeking an exceptional researcher to lead a new research group in the field of Computer Vision. As an Associate Professor, you will direct cutting-edge research endeavors and teach courses on the Bachelor, Master, and PhD levels.We are looking for a team-oriented and committed individual with a strong research...


  • St. Gallen, Sankt Gallen, Schweiz EMPA Vollzeit

    The ProjectThe project focuses on understanding the effects of ultrafine pollution particles and micro-/nanoplastics on human health, particularly on the maternal-fetal interface.Your RoleAs a Postdoctoral Researcher, you will be responsible for conducting research on the impact of UFPs and MNPs on human health, characterizing and understanding the...


  • St. Gallen, Sankt Gallen, Schweiz TN Switzerland Vollzeit

    We are seeking highly motivated students for our PhD Programme in Finance at the University of St.Gallen, a leading international business university. As a research assistant, you will be working closely with our faculty members on various research projects, contributing to their publications and presentations.Company OverviewThe Graduate Programme of...