-
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
-
before the starting date; • a strong and demonstrated background in statistical mechanics; • experience with both analytical and computational methods. Experience with multiphysics simulation software
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Positions in Computational Neuroscience & AI Mission The A. Mathis Group for
-
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