Sort by
Refine Your Search
-
administer a benchmark for auto-formalization of mathematics, and to engage in related research. Duties will include contributing to the benchmarking dataset, organizing and ensuring the quality of the data
-
per year. The position is supported by the National Science Foundation (NSF) and the University of Minnesota and will provide opportunities for collaboration with mathematicians and computer scientists
-
to collaborate with other researchers, and mentor graduate and undergraduate students, and may also teach one course per year for the Department of Statistics. A Ph.D. in Statistics, Biostatistics, Machine
-
the Penn State application and must submit an application through Mathjobs.org (https://www.mathjobs.org/jobs/list/28282 ) with the following materials in order for the application to be complete: (1
-
an application through Mathjobs.org (https://www.mathjobs.org/ ) with the following materials for the application to be complete: Cover letter Curriculum Vitae Teaching Statement Research Statement Publications
-
models motivated by biological and therapeutic applications are particularly encouraged to apply. Expertise in statistical or machine-learning methods is also welcome, as connection with experimental and