2 proof-checking-postdoc-computer-science-logic PhD positions at Northeastern University
Sort by
Refine Your Search
-
language models to score memory content, and evaluate how closely the models' scores match expert human ratings. Administrative tasks, writing, and other work may be included in the position. Qualifications
-
to device design, control, and evaluation The ideal candidate will lead their own project, and support the engineering efforts for several PhD student led projects. Qualifications MS in Mechanical Engineering
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions