4 formal-method-phd Postdoctoral positions at New York University in computer-science
-
and algorithmic perspectives on large language models Statistical learning theory and complexity analysis Automated theorem proving and formal methods Random matrix theory and its applications in modern
-
. These instruments may combine optical components, laser and spectroscopic methods, spin-control or magnetic-resonance techniques, electronics, data-acquisition hardware, and software control. The candidate will use
-
: ● Applicants must have a PhD in Computer Science or related field, with no more than five years post receipt of the PhD. ● Experience in one or more ML domains, such as deep learning, reinforcement learning
-
and its applications, and is willing to learn new technologies. The candidate should have a PhD in Computer Science or a closely related field. Relevant background and skills include: Strong foundation