239 formal-verification-computer-science uni jobs in Switzerland

  • ETH Zurich | Switzerland | 38 minutes ago

    have a master’s degree in atmospheric and/or climate sciences, geochemistry, environmental chemistry, physics, computational sciences or a closely related discipline with a strong interest in numerical

  • ETH Zurich | Switzerland | 44 minutes ago

    engineering, computer science, data science, or a closely related discipline Have an excellent academic record Have strong analytical skills Be passionate about sustainability, energy, and public policy Be

  • ETH Zurich | Switzerland | 2 months ago

    . Profile Enrollment as a student at ETH Zurich or the University of Zurich in a relevant field, such as computer science, engineering, economics and mathematics Intermediate coding skills in R, Stata

  • ETH Zurich | Switzerland | 35 minutes ago

    We look forward to receiving your application with the following documents as a single PDF: A cover letter indicating which track you are applying for (RL/Optimization, LLM/Knowledge or both) CV Publication list Contact details of two refereesPlease send your application to...

  • ETH Zurich | Switzerland | 39 minutes ago

    , Environmental and Geomatic Engineering (D-BAUG), has an opening for a researcher focused on data and process analysis to enable digitalized railway operations. Project background Safe and efficient railway

  • , environment, society and health as well as health systems and interventions. The Department of Medical Parasitology and Infection Biology (MPI) investigates the biology and transmission of pathogens. Findings

  • ETH Zurich | Switzerland | 25 days ago

    research assistant position in Development Economics. The starting date is the 1st of October for 6 months. This is a position to get some research experience between a Master’s degree and a PhD program. Job

  • University of Basel | Switzerland | 3 months ago

    Your position The Professor of Systems Developmental Medicine will probe and integrate multi-omic data sets (i.e. genetic, epigenetic, transcriptional and metabolomic data) to create computational

  • ETH Zurich | Switzerland | 36 minutes ago

    80%-100%, Zurich, fixed-term At Veltist – a Wyss Zurich project – we are reshaping post-operative care through our platform technology Anastoseal, enabling the next generation of implantable

  • ETH Zurich | Switzerland | about 2 months ago

    degree in physics, computer science, mathematics, computational neuroscience, or related fields. Extensive knowledge of dynamical systems theory. Excellent programming skills in Python. Previous experience

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