Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: Postdoc and Internship positions at IBM Research


Jason Rute (Oct 14 2022 at 22:21):

(Cross posting from #job postings > Postdoc and Internship positions at IBM Research )

IBM Research is looking for both a post-doc and a summer intern, both to work at the intersection of AI and interactive theorem proving with me and others.

  • Post-doc position:

    • Start Jan 2023 (or later if negotiated)
    • Based in Yorktown Heights, NY, USA
    • See here for the post-doc position description and application link.
    • We are looking to make a decision very soon. If you are interested please do both of the following right away:

      1. Apply at the above link
      2. Reach out to me directly
  • Intern position:

    • Summer 2023 in Yorktown Heights, NY, USA
    • Looking for an intern who is in the middle of a PhD program in machine learning or similar with a strong interest in interactive theorem proving
      *See here the summer intern position description and application link.

    • If interested please do both of the following:

      1. Apply at the above link.
      2. Reach out to me directly. (The above link is in not directly tied to our project so we will likely miss your application if you don't reach out directly.)

Last updated: Dec 20 2023 at 11:08 UTC