-
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
-
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
-
, networking, and GPU utilization. Help maintain reproducible training recipes, configuration files, launch scripts, and documentation. Work with researchers and CSCS engineers to improve the reliability and
-
, or an equivalent field; recent graduates are welcome Strong Python skills and the ability to write clean, modular, tested, and documented code Hands-on experience with graph data structures and graph neural networks
-
behavioral data, time-series data, sensor-based data, physiological signals, movement tracking, or related complex datasets. Some knowledge of Unity game engine development and experience with network