Postdoctoral Position in Programming Languages

Vor 6 Tagen


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

EAPLS is looking for a talented postdoctoral researcher to contribute to our research group focused on programming languages and systems. The successful candidate will be responsible for conducting cutting-edge research in the area of testing and verification of Infrastructure as Code.

This role offers an exciting opportunity to explore innovative approaches to testing, analysis, and verification techniques, leading to improved quality and safety of cloud deployments. Some of the key areas of focus include fuzzing, property-based testing, fault injection, and formal methods like program verification and model checking.

**Key Responsibilities:

  1. Conduct original research, including developing new theories and software prototypes.
  2. Lead the research team, coordinating efforts among PhD and Master/Bachelor students.
  3. Collaborate with colleagues working on ongoing research projects.
  4. Publish research findings in reputable scientific conferences and journals.

**Ideal Candidate Profile:*

  1. PhD in computer science or a related field.
  2. Strong background in software quality assurance techniques, including static/dynamic analysis, testing, and verification.
  3. Possibly: experience with cloud computing, infrastructure as code technologies, and AI-assisted code generation/test generation.


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

    EAPLS invites applications for an opening as PhD student in the Programming Group at the University of St.Gallen, Switzerland. The Programming Group conducts research on several topics at the intersection of programming languages and software engineering.Our Research:Programming languages for distributed systemsSoftware quality and testingSoftware...


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

    **Job Title:** Postdoc in testing and verification of Infrastructure as CodeWe are seeking a highly motivated postdoctoral researcher to join our team at the European Association for Programming Languages and Systems (EAPLS). As a postdoctoral researcher, you will conduct advanced research at the intersection of programming languages and software...


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

    The European Association for Programming Languages and Systems (EAPLS) is seeking a highly skilled researcher to join its dynamic team. As a research scientist, you will be responsible for developing original research in programming languages and software engineering.Responsibilities:Conduct cutting-edge research on topics such as distributed systems,...


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

    EAPLS is seeking a talented postdoctoral researcher to contribute to our research group focused on programming languages and systems. The successful candidate will be responsible for conducting advanced research in the area of testing and verification of Infrastructure as Code.This role offers an exciting opportunity to explore innovative approaches to...


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

    The University of St.Gallen is committed to providing a unique learning experience for our students. As a PhD student in the Programming Group, you will have the opportunity to work on exciting projects that can shape the future of programming languages and software engineering.Key Responsibilities:Develop original research ideas and implement them into...


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

    The EAPLS PhD program is designed to equip students with advanced knowledge and skills in programming languages and software engineering. As a research assistant, you will work closely with our experienced faculty members to develop innovative solutions to real-world problems.Key Areas of Focus:Distributed systems and programming languagesSoftware quality...


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

    Your tasks Contribute to the projects in the group at the intersection of programming languages, software engineering, and security Collaborate with the other group members Extend the theoretical results already achieved in the research projects Develop software prototypes to demonstrate the applicability of the achieved results Your profile ...


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

    We invite applications for a postdoctoral researcher position in the area of testing and verification of Infrastructure as Code. As a member of our research group, you will engage in cutting-edge research, leveraging innovative approaches to testing, analysis, and verification techniques.This role offers a unique chance to contribute to the advancement of...


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

    Position Summary">We are seeking a Postdoctoral Scholar to join our Latin American Studies Program and conduct research on illegal or informal economies in Latin America.Key Responsibilities">Conduct research on the intersections between illegal markets and governments, state agencies, and businesses.Submit papers to peer-reviewed journals and present...


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

    We seek a highly motivated Postdoctoral Fellow in Sustainable Agriculture to join our research team. The selected candidate will contribute to the development of a centralised Data Cube Ecosystem for the EU agricultural sector.This role involves working with experts on big data analytics, ecosystem modelling, and more to support informed decision making and...


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

    **About the Opportunity**We are seeking a highly motivated postdoctoral research assistant to join our team at Universität St. Gallen. As a member of our group, you will contribute to cutting-edge research projects at the intersection of marketing theory and practice.The position involves developing and conducting independent research in consumer behavior...


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

    Your tasks This position is part of the research project "Swiss hospital capacity planning: An empirical evaluation of its impact on hospital service delivery, quality and costs", funded by the Swiss National Fund (SNF). As a working student, you will: Conduct analyses with empirical methods using large datasets from the Swiss Federal Statistics...


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

    About the Role">This position is for a highly motivated and experienced Postdoctoral Researcher to conduct research in the area of illegal or informal economies with a focus on Latin America. The successful candidate will have a proven track record of academic research and proficiency in qualitative and quantitative research methods.Key...


  • St. Gallen, Sankt Gallen, Schweiz Oliver James Associates Ltd. Vollzeit

    Oliver James Associates Ltd. is a leading recruitment agency in the banking sector, working closely with clients to find top talent for their teams.About the RoleThe ideal candidate will have 2+ years of experience working with Apache Kafka, preferably with Red Hat Streams on OpenShift.Proficiency in Java or Python and a strong understanding of complex...

  • Senior Software Position

    vor 10 Stunden


    St. Gallen, Sankt Gallen, Schweiz Oliver James Associates Ltd. Vollzeit

    Job Description:As a Senior Software Engineer, you'll be responsible for designing, specifying, implementing, and testing advanced software solutions.You'll collaborate with interdisciplinary teams to develop applications and implement high-level language and web-based solutions.You'll work with tools such as Eclipse and Visual Studio to ensure the delivery...

  • Kafka Systems Engineer

    vor 14 Stunden


    St. Gallen, Sankt Gallen, Schweiz Trust In SODA Vollzeit

    As a Middleware Engineer at Trust In SODA, you will be part of a dynamic team that designs and implements innovative middleware solutions.Key Responsibilities:Collaborate with developers to integrate applications and optimize performance.Work closely with cross-functional teams to build and maintain Kafka-based services.Design and implement additional...


  • St. Gallen, Sankt Gallen, Schweiz Trust In SODA Vollzeit

    Trust In SODA is seeking a skilled Middleware Engineer to join our e-banking team. As a Middleware Engineer, you will be responsible for designing and implementing middleware services that support our business operations.Responsibilities:Develop and optimize middleware services using Kafka.Collaborate with cross-functional teams to identify and address...


  • St. Gallen, Sankt Gallen, Schweiz Trust In SODA Vollzeit

    Trust In SODA is seeking a talented Middleware Engineer to join our e-banking team. As a Middleware Engineer, you will be responsible for designing and implementing middleware services that support our business operations.Responsibilities:Develop and optimize middleware services using Kafka.Collaborate with cross-functional teams to identify and address...


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

    We are seeking a highly motivated Postdoctoral Researcher in Social Sciences to join our team at the University of St.The successful candidate will work within the NOSTRADAMUS Horizon Europe project, which aims to develop a centralised Data Cube Ecosystem for the EU agricultural sector. This involves collaborating with experts on big data analytics,...

  • Research Associate

    Vor 5 Tagen


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

    Your tasks Primary You design and conduct research in the field of embedded sensors and constrained sensor networks. You link scientific findings with industry specific applications. You support the group in knowledge transfer with industry in applied projects. You engage in teaching at HSG, including courses and supervision of masters' and...