Sort by
Refine Your Search
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a multidisciplinary
-
engages CSPG4, increases membrane tension, and activates the mechanosensitive ion channel PIEZO1, thereby promoting glioma proliferation. The successful candidate will build on this work to define
-
/*/---/l=2 Postal Code CH-8600 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail Pocket Viadeo Gmail Weibo Blogger Qzone YahooMail
-
Interest in lab-automation and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a
-
/template/empa/3/*/---/l=2 Postal Code CH-8600 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail Pocket Viadeo Gmail Weibo Blogger Qzone YahooMail
-
ZürichCountrySwitzerlandCityZurichPostal Code8006StreetRämistrasse 101 Contact City Zurich Website https://ethz.ch/en.html Postal Code 8006 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail Pocket
-
coding and implementation skills, with the ability to run large-scale experiments. Prior research experience is advantageous for PhD applicants, while postdoctoral applicants are expected to have a strong
-
Postal Code 1700 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail Pocket Viadeo Gmail Weibo Blogger Qzone YahooMail
-
Code8600StreetUeberlandstrasse 129 Contact City Zurich Website http://www.empa.ch/plugin/template/empa/3/*/---/l=2 Postal Code CH-8600 STATUS: EXPIRED X (formerly Twitter) Facebook LinkedIn Whatsapp More share options E-mail