177 software-verification-computer-science positions at ETH Zurich

  • ETH Zurich | Switzerland | about 1 month ago

    DSL. Additionally, you will work on integrating the existing model with the new DSL-based components to ensure the system is production-ready. Profile MSc in Software Engineering, Computer Science

  • ETH Zurich | Switzerland | about 1 month ago

    the data and AIXD results Carry out standard tasks of debugging and documentation of the AIXD toolbox Profile You are a developer with a BSc or MSc in Computer Science or related fields, with proven

  • ETH Zurich | Switzerland | 3 days ago

    to offer services and solutions in the wide area of scientific computing from the provisioning of HPC resources, over scientific data analysis and management to research software engineering. SIS is

  • ETH Zurich | Switzerland | about 2 months ago

    scientific and engineering computing, and explores commercial pathways for software innovations. If you are looking for a role that blends technical excellence, leadership, and business strategy, we would like

  • ETH Zurich | Switzerland | 3 days ago

    and biomedical science. Job description Design and develop mechanical and electronic subsystems for an automated bioprinting platform Integrate hardware and software systems for coordinated control and

  • ETH Zurich | Switzerland | about 14 hours ago

    on partly artificial nature-based materials. These ecosystem services models will be integrated into a design-science loop (Urech et al., 2020; Salliou et al., 2024 ) supported by a 3D point cloud-based tool

  • ETH Zurich | Switzerland | 3 days ago

    degree in the fields of transportation, civil engineering, computer science, urban analytics, spatial planning, geography, geoinformation, psychology or an equivalent qualification. Experience with first

  • ETH Zurich | Switzerland | about 2 months ago

    Digital Image Correlation and stress wave analysis, and the development of custom material subroutines within finite element software to accurately reflect experimental observations. This is a hands-on

  • ETH Zurich | Switzerland | about 14 hours ago

    experience with building web applications, form builders, and automation tools (e.g. AEM, Make.com, Google Developer Console, Typeform, Inxmail, Mailchimp, Zapier, Wix Velo) Proficiency in JavaScript and

  • ETH Zurich | Switzerland | 3 days ago

    Zurich and the University of Zurich that applies the latest omics technologies for biomolecular research and personalized medicine. The FGCZ Genome Informatics group supports researchers with the analysis

Enter an email to receive alerts for software-verification-computer-science positions