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&job=visiting-research-programmer-computer-science-160335