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.
We are looking to make a decision very soon. If you are interested please do both of the following right away:
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:
Last updated: Dec 07 2023 at 16:21 UTC