PhD position for the FormaSig project on verification of railroad systems
4 days ago
| Closing on May 01
The Formal Methods and Tools (FMT) research group develops formal techniques and tools to support the development of complex systems. Our central goal is to increase the reliability of the high- tech systems that we all rely on, both as individuals and as society. The FMT group...
SWISS DATA SCIENCE CENTER - Senior Data Scientist
5 days ago
The Swiss Data Science Center (SDSC) is a joint venture between EPFL and ETH Zürich. Our mission is to accelerate the adoption of data science and machine learning techniques broadly within academic disciplines of the ETH/EPF Domain, the Swiss...
Research Fellow – Integrated Circuit for in-memory Computing
5 days ago
| Closing on Mar 29
Context and Mission
Learning from big data is the next big thing for a wide range of fields, including communications, industry, business, and healthcare. The von Neumann computer architecture is however not efficient for these tasks, due to the large energy and time needed...