coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Jason Rute <Jason.Rute AT ibm.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Postdoc and Internship positions at IBM Research
- Date: Sat, 15 Oct 2022 00:20:32 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ibm.com; dmarc=pass action=none header.from=ibm.com; dkim=pass header.d=ibm.com; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=S9UNPfwxnTDJcOKh6NZDMbqBGys8BzFP3roPEkRpzsE=; b=Yoed9EHLTFL+9DY/aAYuhS0hdAj29G5Oqc7hlz0Hjo4j7MT7IYwjSelLcLE4N+khtvDZu67BgCFbkvcNKfggg7d83MFr4aFtgVZC+93/VlDPzemXrhZNpLejg9ixozeW9eMagELEDRDN1a87kkZk666BpWvIjQq59JYlZVqJ847ZUWE7gBy3Yl5AVclDej1JeuAUlJ6VTrbhH6l8IaqjdvZh49P8uIF4C0L0dFRhVzdGgy6rE3CICsANL46ybk8Zlf+3xQR4X1rNEZ2JTdOBg1APmNfN+rKvTN2L5wad2CTqFgTMtaiyQJ3rkcUFFUknBOPRibY2drD3jWND+OHorQ==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=E3mMbS+2edRYoIIticjo4q5OiXv7CGdJS5W3+WHVfDLb21ufPZjhyGHVjHDYEWjzhe/JfnOBwExyVyX3u68OOEJIs9zo0cK3S2UDIM+9Rixt4thotbmahZHcWQYt3BNkwTHPa0TGub9htplAbcUIw5BeORXhEWa2nGyr4ajLYRnapzlh1GHPBFmT46jQV4DCGOaKAK6JNZnbKbZjAeCoJG4ry4MIKVUSlXsZfBELBOKIB01rvg51kd2R3gCiN7gFJWn7Sm2nqbqzCz2+Qm9ecW1SEU9IrQgv+o+FpZvZhAn8TsdpuucU6SzLUdEXDqqKNdTT1mN3Gi24mERpSv7+eg==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Jason.Rute AT ibm.com; spf=Pass smtp.mailfrom=Jason.Rute AT ibm.com; spf=None smtp.helo=postmaster AT mx0a-001b2d01.pphosted.com
- Ironport-data: A9a23:qMqtAqiwBC5+q4EVkL9n9DwXX161VxQKZh0ujC45NGQN5FlHY01je htvXmqGP/beMGunf4snOY7ioBgD6pPWy94xGgttqixhEC5jpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqicUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYpdDNJg06/gEk35q6r4GpE5gBWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVPKCSDXjCCd86HJW3/V0+d/AhkHBsodoMEnJEZn9 PgbCxlYO3hvh8ruqF66Yux83s1mdJGyNtkT4igm1SnZCu06TJyFSKLPjTNa9G5s1oYXQ62YP pdHL2MHgBfoO3WjPn81AYk5mqGSm2XyWzxSrRSeoq9fD237l1UsiOOwbYG9ltqiR+hVn0qWq Vv/+2noIhs2NMGwyjabyyf57gPItXihBNhITOPQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoA35BSiC4GlBhfirCbd+AYEW91LD+A2rgqKz8I4/jp1GEAAdy5TedJ+hfRxQGYNh nquttLtBh9G5ej9pW2myp+Yqja7OC4wJGAEZDMZQQZt3zUFiNFr5v4oZokyeJNZnuEZChmrn G/X9HlWa6E7yJ9Uh//irDgrlhr1/sCRJjPZ8Dk7SY5M0++UTIu1P4XtsQCC56xMdN/fVkGBu 2MYlsTY5+cLZX1sqMBvaLpddF1Kz6zeWNE5vbKJN8R4n9hK0yP6Fb28GBkkeC9U3j8sIFcFm nP7twJL/4N0N3C3d6JxaI/ZI510k/W/So6/DayONIomjn1NmOmvrHkGiam4gDGFraTQuf1X1 WqzK5nyUSZy5VpPlWTnH791PUAXKtAWnjmPH8qjkXxLIJKGfnmSR68CMV2SKqg46qjCyDg5A P4PX/ZmPy53CbWkCgGOqdB7BQlTcRATWM6qw+QKKL/rClQ9QgkJVaSOqY7NjqQ+wsy5YM+To iriMqKZoXKj7UD6xfKiMC8yMu+xB8sl8RrW/0UEZD6V5pTqWq73hI93Snf9VeBPGDVLna4qH coWMd6NGOpOQTnh8jEQJ8u15o97eRjhwUrEMyO5aXJtN9RtVi7YyO/CJwHPzSgpCjbolM0cp 7b76BjXb6BeTCtfDeHXSsmV8XWPgVYnlthPAnT4eutoRB208axBCTDAsfssEsRddTTB3mS70 iiVMzc5pM7MgZcE9YHUtPrVs6aoDOpMMU5IFEbL7buNFHf7/0jy5aRiQeq3bTTme2esw5qbZ MJR1ODaDP0LuH1oorhMOe9n4oxm7uS+uoIA6BpvGUv6SmiCC5RiEyGg5tZOvKgc/Y1pk1K6d WzX8+YLJIjTHt3uFWMQAw8Xbu6j8/UwsRuK5NQXJHTK3gNGzIClY25zYSbV0Dd8KYFrOrwL2 e0i4c4ayzKugyoQb+qpsHpmyHSuHFchDYMX7ooXEa36uDoNk1tiW6HROgXywZOIauhPDHUUH y+ptPLCqolYl2X/cCsVNHnS3OBiq4wElzJUwXQjeVmYuNr3qcUm/R9W8D0IbBhxyzNZ2dlSI UluDVV+fo+Vzgdrhe9CfmGiIB5ADxun4X7My0MFuWnabkuwXEnPETENAvmM90Un7G5sRDhX0 7WGwmLDUzyxXsXO8gYteExi8drPcMdQ81DcpcWZAMi1JZk2Tj77iKuIZ2BTiR/GA9s0tXLXt 9tR4+d8Rq3qBxE++5RhJdGh6o0RbxSYKEhpY/JrpvoJFF6BXgCC42GFLkTpd/5dI/DPz1SDN PVvAcBxBjCezyeFqw4JCZEce4FUmOEb3/tcW7fJC1NfjZ6hgGtIiq/Azgn/m24hfPt2m+kfN I76VmyPA06Qt1Ruik7Pq8hOCmWnUOJceyjQ8uGQ9dwWMqler+pDcV85iYGwjV7IMgE9pxOwl yHAbp/w0OZN59lNnYztM6MbHCSyC4r5e9qp+TCJkeZlTI3wI+LRkSgKu3/1PB9zP4ZNf/hWy ZHU6MXW2mHBt5YIC1HpoYGLTfR11J/jTdhpPdLSB1gEuDmJR+vHwQYJokK8Irx3yOJt3NGtH VaEWZHhZOwueolvwVNOYHJjCDcbMaP8a5ngqQ6br/ihDhs80xTNHOi49E3GPH1qSSsVB6LQU gPEme6ixtR9nrR+ABUpA/JHAZghLmG6COFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NIVeA9QMynX4jp2gP XfVdGslEjnwUXJPdhCUDBEPmOuALrRmBzs7DmVBE4Coh+OeBYmFRrBm80+MJl9oLyD7wrjPx c42oxXN09vY/n2tbecZ47qwhuIPKjY2AJ4X0RiVrvEeyCryzVnHOLKN0eaNueH6/xnxqXj2
- Ironport-hdrordr: A9a23:XcOIvqCliu4bgbPlHejssseALOsnbusQ8zAXPh9KJyC9I/b2qy nxppgmPEfP+U4ssQIb6Ku90ci7MAXhHPtOi7X5Uo3SOjUO1FHYT72KjrGShwEIeReOj9K1vJ 0IG8MSab3N5DNB/KPHCXyDYrEdKa68gcSVbInlvhVQZDAvT5slwxZyCw6dHEEzbhJBH4AFGJ 2V4dcCjya8eFwMB/7LTkUtbqzmnZnmhZjmaRkJC1oM8w+Vlw6l77b8DlyxwgoeaTVS2r0vmF K12DARp5/T+c1T+CWsm1M73K4m1+cJDeEzSvBkv/JlZwkETDzYJbiJFYfy/Azd69vfkmrC2O O83ivIef4Dok/5TyWNuh3q1BDn0DEyr1Hf6XLwuwqhneXJAAsgDcxPnIRYdQaczXEBkpVT7I Jntljp9aa+K3v77WLAzumNbgptkEWsp3okjKouiEdST7ckTdZq3MkiFYduYdA9NTO/54Y9HO Z0CsbAoP5QbFOBdnjc+nJi2dq2Qx0Ib2K7q2U5y7+oOgJt7QJE5lpdwNZakmYL9Zo7RZUB7+ PYMr5wnLULSsMNd6pyCOoIXMPyUwX2MGXxGXPXJU6iGLAMOnrLpZKy6LIp5PuycJhNyJcpgp zOXF5RqGZ3cUPzDs+F2oFN73n2MRGAdCWoztsb64lyu7X6SrauOSqfSEo2m8/luPkbCt2zYY fCBHuXOY6TEYLDI/c24+SlYegvFZA3arxrhuoG
- Ironport-phdr: A9a23:tT4a5BMHDF//uvaR5rIl6nbOBhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1w+SFt6Bo9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJbQhFhzSwbbx8I RmosA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5 KlpVRDokj8KOT4n/m/Klsx+gqFVrw6uqBFk2YHYfJ2ZOeBicq/BY98XQ3dKUMZLVyxGB4Oxd 48BAPAaPeZfqYn2ukcArQaiBQayGejizTtGiWXt3a091eQtCx3I3BE8H90Qq3nUrc76NKIIX e+py6nIyCzOYvVL0jjy9IbGaAouoe2QXb1ua8rRz1EiGQzZgliQrYHpIS+Y2OsRvmWb8eduV eOih3I7pgxzrTWi2Mkhh43Vio4J1FzJ+jl0zYk6K9C3VkN3f9GqHYZfuSycKoB4TMQiQ2Ryt yY7zL0LoZ+7czMPyJg92xHfbPmHfo6V6RzgTOacOSp0iX1mdb6lmhq/8EatxvfhWsS00VtGt DdJnsHSun0MyxDe5M2KRuZh8ki62DuC0h7f5v1HLE0xiKbWKJ8sz7s1m5cdrEjOGDL9ll/sg 6+MbEok//Cl6+T5bbXioZ+RL4p0iw7iPqs0g8CzHfg0PhUVUGSF5OuwyKDv8VfhQLVSjv02l bLZsIzEKssGvKK2HwhV0oM75xa+CTepzsgYkGEaIF9Kex+LlZXlNlDALfziEPuyg1WhnC12y /zeO73uGJTNLnzNkLf7erZ97lZRxg4pwtBE4JJUDKsNLu7uWk/tqtPVFR45PBexw+r9FNp90 YYeVXqJAqCCKKzSq0OH5vozI+mQY48YoCvxJ+A/5/HylX85hUMdfa6x0JQLb3C4B+1qLFmdY XrxmdgMCnwKvwo7TOzyklKOSz9TZ3CoX6I9/D43EoymDZ2QDryq1faK2z7+FZlLbEhHDEqNG DHmbc/MD/wLcWeZJtJruj0CT7moDYE7g0KArgj/nphuNe3SshcFqZ+rgPp8/OrV0ysv6TFcD s6YlWqKSjcnzSszWzYq0fUn8gRGwVCZ3P0g6xQ5Pdla5vcSFxw/KYaZ1OtiTdb7RgPGeN6ND legWNSvRz8rHZoq29FbRUF7Fp25iwzbmTKwCuo3nqeMAtoO777R93n7IoB2zHOVnLI5gQweS 9BUfXajmrY58gHSA4DTlEDMta+xcqJa5jPR+U+Cx2/It0ZdA0ZrSauQe3cZawPNqMjhoEPPS 7j7EbM8Lg5I0tKPMINPeoXgyA0eHf25NIyHJXqpm2CrGRuEgLiLaeIGYk072yPQQAgBmgEXp jOdMBQmQzymuyTYBSBvElTmZwXt9/N/oTW1VB18yQbCdEBn27evn3xdzfWBV/Me2K4FsyY9u n11Gli6xdffF9uHoUJoYqxdZdo35FoP23jeskRxOZmpLqYqgVB7EUw/nUr10BMxMJhcnOArp nZsxw13aOqZ3F5HazKEzMXoILSEYmL2/R2pd+vXwgSHjIbQo/lUrq1l9RO672TLXgI4/n5q0 sdYyS6Z75TOV08JVI7pF10w7158rq3bZS8048XV02dtOO+6qGynuZphCe07xxKnZ9oaPrmDE Vq4McQBAM7oEvE2lnCoZBdCN+dXvv1RXYvuZ76d1ainMfw11hCvlmNBprpgzk+k9iB5DOXP2 txWi+Hd1QyBWTDmiV6nuc2igoFIawYZGW+nwDTlDopcDkFrVb4CEnzmY8i+x9ElwoXoR2Yd7 1m7QVUPxM6ufxOWKV37xwxZk0oN8zSrni6xzjo8lD9MzOLX/iXVxOKkTgcbN0ZKTmwkhlDpa YS5lNEVWkG0YhNhzUf1ox+knO4C+fo5diHaWg9QcjLzLn1+X6fV1PLKeMNJ5J4y8G1WXOm6f VGGW+v4qhoe3TnkGjgWzzQ6eje2/5ThykUm2CTEci019SeHP5gjoHWXrMbRTvNQwDccESxxi D2MQ0O5I8Hs5tKM0ZHKruG5UWulEJxVayjii42a507ZrSVnBwOym/erl5jpCw8/hGXZ3sJtU 2PysQrxSojh0uKxNuctLSwKTBfsrtF3HI1ziN56ppgL3n5cvIiJ8FIGm2K1OtJek/G2fD8GQ jgFxMTQ6Q7u1Rh4L36H8In+U22U3sprY9TpBwFekjJ49c1BD72YqaBVhSYg6ETtthrfOLIu1 idY0/Yl72QWxv0EqBZ4hDvIGagcRCw6dWTtj0jatozu6vwJPyD2LOb2jQI7lNSlRtluuyl6X 3D0MtcnFC50tYBkNU7UlWb08sficcXRatQasluVlQ3Bhq5bMsB5kP1CnidhNW/n2B9tg+cmk Rxj2427t4mbOi1s+qy+GBtRKjzyYYsa5Djsia9Umsve0ZqoG91tHTACXZ2gSvzNcnparfP8K wOHCyExsF+eCeLWWFfHsU08oyqWVYizN3aMOHQVi95lQVjVJUBShhwVQCRvnpM9EVPPpoSpe 0N46zYNo1/g/0IQmqQxaUK5CzqB4l77D1V8AIKSJxdX8AxYskLcMMjFq/l2Azkd5Zq56gqEN m2cYQ1MS2APQE2NQV75bdzMrZHN9faVAu2mIr7Ae7KL/KZ8XuyPw9SVz5dr1zeGM4OEOXwoX JhZkgJTGGt0HcjUgWBFUysMiyfEdNKWvj+56nV+65jnqf6xVFq2o5OXC7xJLdhjvRuxhO3QU ozYzDY8IjFe2JQWwHbOw7VKx18ehRZlcDy1GKgBvyrAJEoxsqpHVxdeM3sqPpFEt/t6xhFNP tXHh9+z3bl93KZd47JtVFbk3MquYJ5SS4lSHFLNAQCAM7HUfFX2
- Ironport-sdr: 6349fcef_2SRMpDsC/BeyqXedfC2wz9lumE20uRKR8TRVmBROl3VYt80 Fz1xg/VWQhWkX7J+xs4A0VEEjtCWbJFZDJ6FfHA==
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](https://careers.ibm.com/job/16849170/post-doctoral-research-scientist-remote/?codes=IBM_CareerWebSite) 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](https://careers.ibm.com/job/16615783/2023-exploratory-math-sciences-sr-research-intern-remote/?codes=IBM_CareerWebSite) 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.) |
- [Coq-Club] Postdoc and Internship positions at IBM Research, Jason Rute, 10/15/2022
Archive powered by MHonArc 2.6.19+.