3 formal-method Postdoctoral positions in Switzerland

Senior Research Associate in Development of Blockchain-based Applications (only for University of Cape Town Researchers)

University of Zurich Blockchain Center | Switzerland | 17 days ago

with strong demonstrable ties to UCT will also be considered. Preferred Qualifications Experience with multiple blockchain platforms Knowledge of formal verification methods Experience with DApp

Post-Doctoral Position in LLM Supported Computational Design Synthesis for Engineering Design

ETH Zurich | Switzerland | about 1 month ago

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

Open Post-Doctoral Position in LLM Supported Computational Design Synthesis for Engineering Design

ETH Zürich | Switzerland | about 2 months ago

computational design 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