-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security Strong computational and analytical skills, including solid software
-
algorithms to store, manage, and interpret data. To meet the challenges, database software needs to communicate efficiently both with the application layer and with the underlying hardware platforms, and
-
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
-
before the starting date; • a strong and demonstrated background in statistical mechanics; • experience with both analytical and computational methods. Experience with multiphysics simulation software
-
robust acquisition, synchronization, calibration and quality-control procedures across multimodal data streams. Troubleshooting software, hardware, sensors, timing, synchronization, data acquisition and
-
For both positions: Conduct innovative, independent research aligned with the lab's mission and the candidate's interests Contribute to the lab's open-source software, datasets, and benchmarks Mentor PhD and