5 proof-checking-postdoc-computerscience PhD positions at University of Amsterdam (UvA); yesterday published in Netherlands
Sort by
Refine Your Search
-
Listed
-
Field
-
and profile: Educational background: You should have a Master’s degree in mathematics or AI/computer science (with a strong mathematical component, including writing formal mathematical proofs), to be
-
formal mathematical proofs), to be completed before the start of the position. Other degrees with a strong mathematical component will also be considered. Interests: You should have a strong interest in
-
, and email addresses of two references who can provide letters of recommendation. A knowledge security check can be part of the selection procedure. (for details: national knowledge security guidelines
-
and work experience; a letter of motivation; a list of publications; the names and email addresses of two references who can provide letters of recommendation. A knowledge security check can be part of
-
applications until 31 October 2025. Applications should include the following information (submitted in one.pdf): A letter of motivation (max two page, font size 12) explaining why you are a good fit to this