Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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
-
/*/---/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
-
this new hybrid network. Your code will directly enable the next generation of energy-efficient AI clusters. Project scope You will bridge the gap between custom optical hardware and standard AI software