{"id":175,"date":"2022-03-12T03:35:25","date_gmt":"2022-03-12T03:35:25","guid":{"rendered":"https:\/\/www.golovnev.org\/relocation\/2022\/03\/12\/talia-ringer\/"},"modified":"2022-03-12T03:35:25","modified_gmt":"2022-03-12T03:35:25","slug":"talia-ringer","status":"publish","type":"post","link":"https:\/\/www.golovnev.org\/relocation\/2022\/03\/12\/talia-ringer\/","title":{"rendered":"Talia Ringer"},"content":{"rendered":"<p><b>Email:<\/b> <tt>tringer@illinois.edu<\/tt><br \/>\n<b>Webpage:<\/b> <a href=\"https:\/\/dependenttyp.es\">https:\/\/dependenttyp.es<\/a><br \/>\n<b>Position description:<\/b> Visiting research programmer, ML\/AI for the automatic generation and repair of proofs for the Coq proof assistant, Illinois, USA. Ad and application details: https:\/\/jobs.illinois.edu\/academic-job-board\/job-details?jobID=160335&#038;job=visiting-research-programmer-computer-science-160335<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Email: tringer@illinois.edu Webpage: https:\/\/dependenttyp.es Position description: Visiting research programmer, ML\/AI for the automatic generation and repair of proofs for the Coq proof assistant, Illinois, USA. Ad and application details: https:\/\/jobs.illinois.edu\/academic-job-board\/job-details?jobID=160335&#038;job=visiting-research-programmer-computer-science-160335<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"bgseo_title":"","bgseo_description":"","bgseo_robots_index":"","bgseo_robots_follow":"","footnotes":""},"categories":[4],"tags":[],"class_list":["post-175","post","type-post","status-publish","format-standard","hentry","category-position"],"_links":{"self":[{"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/posts\/175","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/comments?post=175"}],"version-history":[{"count":0,"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/posts\/175\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/media?parent=175"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/categories?post=175"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.golovnev.org\/relocation\/wp-json\/wp\/v2\/tags?post=175"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}