158 software-formal-method-phd positions at ETH Zurich

  • ETH Zurich | Switzerland | 3 months ago

    independently complex software Ability to model and work with algorithmic design, existing software and data provided by industrial partners Knowledge of mathematical optimisation (MILP, IP, LP) and/or control

  • ETH Zurich | Switzerland | 2 months ago

    interest in data-intensive systems. You bring a solid foundation in software or data engineering, typically developed through a Master’s degree or higher (e.g. PhD) in Computer Science or a related field, or

  • ETH Zurich | Switzerland | 30 days ago

    writing Co-supervise MSc/PhD students Profile PhD in Immunology, Cell Biology, or a related field Prior experience with rodent models required An interest in tissue repair or regenerative biology is a plus

  • ETH Zurich | Switzerland | 44 minutes ago

    molecular dynamics simulations and cheminformatics, and in the application of those methods to address challenging biological and chemical questions. Project background The main Doctroal project will be in

  • ETH Zurich | Switzerland | 2 months ago

    Design and microfabrication of soft optical fibers densely distributed with actuators Develop actuator multiplexing methods for individual addressability Demonstration for advanced robotic functions as

  • ETH Zurich | Switzerland | 2 months ago

    ” to enable muscle coordination for complex/adaptive/efficient movements. Job description Based on existing light actuators in our group, develop self-sensing methods where the transducer serves both

  • ETH Zurich | Switzerland | 35 minutes ago

    solids. We are currently establishing a laboratory for thin-film synthesis using physical vapor deposition methods, structural modification using wet-chemistry-based approaches, and advanced structural and

  • ETH Zurich | Switzerland | 6 days ago

    the intersection of architectural drawing culture and emerging digital methods. You will collaborate closely with the project leads Jan De Vylder, Angélique Kuenzle and Johanna Roth, and work alongside a student

  • ETH Zurich | Switzerland | about 1 hour ago

    modeling results to spectroscopically observed atmospheres Build frameworks to analyse populations of observed sub-Neptunes to test formation hypothesis Profile PhD in astrophysics, planetary science

  • ETH Zurich | Switzerland | 28 minutes ago

    machine perfusion platforms for human and rat liver This will include learning the engineering design, assembly, and operation of the perfusion hardware; developing improved control software and sensor

Enter an email to receive alerts for software-formal-method-phd positions