19 proof-checking-postdoc-computer-science-logic Postgraduate positions at Princeton University
Sort by
Refine Your Search
-
Description Established in 2000 through an endowment from the Bill and Melinda Gates Foundation, the Gates Cambridge Program enables 80–100 students from around the world to pursue 1–4 years
-
. The scholarship’s core concern is to encourage the development of individuals whose life’s work is likely to benefit the public interest. Students majoring in the sciences, engineering, and the humanities may fit
-
. The scholarship’s core concern is to encourage the development of individuals whose life’s work is likely to benefit the public interest. Students majoring in the sciences, engineering, and the humanities may fit
-
Description The Knight-Hennessy Scholars Program is designed to build a multidisciplinary community of Stanford graduate students dedicated to finding creative solutions to the world’s greatest
-
Description The Yenching Academy at Peking University offers an intensive program—in English—of interdisciplinary classroom and field study of Chinese history and culture, as well as real-time
-
the ultimate goal of making a positive difference in the world. Truman Scholars are invited to participate in Truman Scholars Leadership Week; a Summer Institute in Washington, DC; and the Truman Fellows Program
-
Description Sponsored by the U.S. Department of State, the Critical Language Scholarship Program offers fully funded support for intensive summer language institutes overseas in 9 critical-need
-
to be earned in spring following application for scholarship). Candidates must reside or attend school within approximately 250 miles of New York State. Proof of application to selected university in
-
must agree to attend an orientation session at the Ito Foundation headquarters in Tokyo upon arrival in Japan. Application Procedure Applicants must be nominated by Princeton University. The completed