16 software-formal-method-phd Postdoctoral research jobs at ETH Zurich in Switzerland
Sort by
Refine Your Search
-
here You are able and willing to learn more about digital state-of-the-art methods quickly, preferably based on some previous experience, e.g., in using CAD software or a little programming Workplace
-
means of CMOS-based high density microelectrode arrays (HD-MEAs). The overall goal of this project is to combine advanced optical methods for light-stimulus shaping with high-spatiotemporal-resolution
-
., git, AWS, etc) You are: Self-motivated and independent An experienced programmer, able to easily adopt new programming languages or software design methods for particular purposes. A good communicator
-
Global) as one of the programmes. It is home to a community of over 100 PhD, Postdoctoral and Professorial researchers working on diverse themes related to sustainable cities and resilient infrastructure
-
2025. Profile A PhD (or equivalent doctorate) in Business Administration, Management, or a related field (e.g., Psychology, Sociology, Engineering, or Economics). A strong publication record (or
-
Photochemistry Advanced characterization techniques (e.g., synchrotron facilities, in-situ methods) CO2 capture / utilization (a plus) We are looking for highly motivated researchers with a passion for
-
methods. Job description With the rise in developments of and interest in generative AI and transformer-based architectures, this position will investigate new computational approaches to use LLMs
-
of model federations to explore decarbonisation scenarios for Singapore. Your work will enable formally representing semantic domain knowledge, making it interoperable, and developing cross-domain features
-
such as GPlates, DAC, GIS for DEM analyses, or related software Some experience in field-based geological methods (e.g., sampling, sediment analysis) or willingness to develop these skills Ability
-
of spintronic devices. Job description You will be responsible for developing novel spintronic devices for computing applications. The characterisation will be carried out using lab-based characterisation methods