coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Talia Ringer <tringer AT cs.washington.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Job opening: visiting research programmer, machine learning for Coq
- Date: Sat, 12 Mar 2022 17:38:08 -0600
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=tringer AT cs.washington.edu; spf=Pass smtp.mailfrom=tringer AT cs.washington.edu; spf=None smtp.helo=postmaster AT mx6.cs.washington.edu
- Ironport-data: A9a23:yNyN+qJMpRRfPiuxFE+R7ZMlxSXFcZb7ZxGr2PjKsXjdYENS1DcBy GFNUTrSbKmNamamfN1+aYnjphkDucTVxoAyGwAd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefRLlbFILas1hpZHGeIcw98z0M78wIFqtQw24LhWFrX4 YmaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhgoxq2 Md1nMeKFw4nAYLvyP1CTUhDOnQrVUFG0OevzXmXtNzNiUbdNWTl2PVvCk4qOote9+pqaY1M3 aVCeHZXNkDF273wnevTpupE3qzPKOH3JoIZtXx65TrCS+kvWpDCRarW4tke0Tst7ixLNayDN 5BBN2AxBPjGSxdNFnMsKsM3puiHxTrtLGB2k3HKjoNitgA/yyQsiea9boG9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgv+SNxUH6b+6fdxgFyVyXAUDlsbWUbTTeSFZlCWRo5EO 14s03EU86E8y2OIHsCiQUyjiSvR1vIDYOZ4H+o/4QCL76Pb5QeFG2QJJgJ8hMwaWNweGWN6j Q/W9z/9LXk26ufMGCLAnluBhWnqURX5O1PucsPtoeEtyd7/oIw3inojpf4yQPbs1LUZ9dwAq g1mQQA7l+tVhtVNyKyg/VHBjC6roN7EQhNdCuTrsoCNslsRiG2NPtLABb3nARBod93xor6p5 iFspiRmxLpSZaxhbQTUKAjNdZnwjxp/DBXSgER0A74q/Cm39niocOh4uW8iex4waZxZKGSzO ic/XD+9ArcOZhNGiocqOOqM5zgClsAM6Py+Dq2KMIYmjmZZKVDXlM2RWaJg9z20zhhyysnTy L+Gd8eyAGwBCLh2hD24D/gUyr8qwC8iwmW7eHwI50nP7FdfDVbLIYo43KymNblosvnb/F2Lr 76y9aKikn1ibQE3WQGPmaZ7ELzABSFT6Unep5MFe+idDBBhHW19Wfbdzal4JN5uhOJKn/zI/ 3eyRkhejlfzmCSfewmNb3libpLpXIp+8ChlZHNyZQ7w1ihxe5ur4Ycea4AzLOsu++FUxPJpS +UIJpebCfNVRzWbozkQNMGvrIFreBmxqxiJOi6pPGo2c5J6HlOb8cSiYQL09CgIATaws40zr 6D5jlHXRp8KRgJDCsfKaa/1kQru4yBFwO8rBhnGONhefkno4bNGES2pg69lOdwIJDXC2iCeh lSfDhovrOXQp5M4rYvSjqeeoob1S+ZzExYIH2Tf6rrqZyDW8nD5mN1FQLjOdiubS2rv+KSka vlSybfxPOBexARGtI91ErBKy6Mi5oa1+eYFkFw8RHibPU62Dr5AI2Wd2ZcdvKN6xohGtFbkQ UmI4NRbZ+mEYZu3DF4LKQM5Re2fzvVIyCLK5PE4LRmo/iNx57bbA0xeMwPW0X5YPOUzO5hj3 u46uM8Q5BC4jFwnPsvf1nJY8GGFL3ohVaQ7t8xAXta01FJzklwSM4bBDiLW4Y2Ub4seOEcdI giLifeQnL9b3EfDLSY+TCCfwepHiJ0SkxlW11tedU+Rk9/Ii/JfMMe9KtjrotC5Dymr0t6f/ kBuJxMzLr7I4D5zhMlFUHyrHUdMCADxFokdDbcWvDWxcqVqfjWlwK4B1SKl91tf7GtHfjld8 62fziDoXSuCkATZwH4pQUA8wxD8ZYUZy+AB8fxL2+yOBN8laCHlg6mheW0O7RbrHKvdQaEBS fZCpI5NVEEwCcLcT2DXxWVXOXT8hS1o/FB/fMw=
- Ironport-hdrordr: A9a23:x990K6AQEJs4h2PlHemA55DYdb4zR+YMi2TDtnoBMCC9F/bzqy nApoV46faZskdzZJhCo7C90cu7MBfhHPdOiOF7UNuftWLdyQyVxe9ZnO3fKv7bdBHWx6py0a 9hduxZE93/DV9ziILf7BOjG9gthPmrmZrY4Ns2A00CceiiUcBd0zs=
- Ironport-phdr: A9a23:A4k5oB89Pq1L6f9uWaa1ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z gqGv6gm1ACBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg94dhQ0qDZ3NI0T6KPn3c35yR 5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZoKujvFYPekdq72/qv95HNYwhEiyaxbLFvJ xiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4U KdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4 KdxUBLnhycJOTA6/m/KlMJ/kLlWrwi9qxFl2YPYfJ2ZOfh4c6jAfd0aX21BXsNJWiJfGIy8a 4oPAPAcNuhEron9oVQOogWkBQKxA+7v1iVIhn7w3a01zeshCxrL0xA7H94UvnXbts71NKcTU eCzw6nI0TLDb/VM1Tjj9YfIbwksrPeRVr1/bcTf01MgFx/ZjlqOs4zlOSuY2+cJvmaV8uZtS +2hh3M6pw9xvDSi28Mhh4bXi48V1lzJ8St0zogrKdGmSkN2YNCpHYZeuiyGN4V7RsIvTW5nt is817YIt5m7fC0Qx5QmwR7Sc/2Hc4yM4hLiUuaRJjZ4hGl/dL2hmhmy7FCsxfDiWcmszllKq DdKncfKtnARyxzS6tCHRuFn8ki/wjaDzx3c5f9cIU8qk6rUNoAuwrgslpoPsUXDBjX6l1vtj KKQa04q+fCo5vz6brn4pZKQLZF4hh39P6g0lcGyA/40PwgTU2SD5+iwyLnu8Vf6TbhKlPE6j 6jUvZHAKcgGpKO1HQlY2Zs55RmlFTepytEYkGEHLF1bfBKHiJDkO1TBIf35F/uwn0+snC1lx v/cJb3hApTNLn7MkLf9erZ97VRQxxQuwtBC/55UC7cBL+zvWkLpqdDUEBw0Pxaqz+r7C9hxz IwTVGCVDqKZLa/eqVqI6fguI+mIao8VojH9K/096v7yl385mFkdfaa30psNc323Au9mL1+XY HX2mdcBEWYKvgwxTOz2j12CVyRfaGivUKIh/j07DpmpAp/ZRo+xmLyBwDu7HppOa2xbElyMC 2vnd52YW/cQbyKfOtNukjsdVbS4V4Ah0QyuuxThxrp8LuvU/zUYuoj52Nh04e3TjxAy+iZuA 8STyWHeB11zy2gPXno92L11iU170FaKl6Zi0NJCEtkG2/pNUw5yD5/awOFgQ4TuQAPHcdqTY F29BMqvGjEwSN0txNlIbkpgTYbxxivf1janVudG34eAA4Y5p/q0NxnZIs98zyyDz6w9lxw8R cAJM2S6h6l5/gyVBojTkkzfmbz5Pb8E0nvr82GOhXGLoFkeSBR5BLnfXHYQa1H+ps+/+UrZT 76oBqggNE1MxdPRYrBSZIjRhE5dDOzmJMyYZmuwn2mqAhPd2qmNaoXnYU0Wx2PCAVMEkgYc4 XGAcwUyG3TpuHrQWRppE1+neEbw6a9+pXe8G1cz1B2PZlZ92qCd/w5Lw/eHDewaxbIFvig9r DMyEVqgtz7PI/yHoQcpPKBVYNdnpUxCyXqcrQt2eJqpM6FlgFcaNQVxpULnkRttWM1GloAxo XUmwRAXS+rQ2U5ddz6ewZH7O6HGYmj08he1bqfK21bYmN+I86YL4f48ph3tpgasXkYl9nxm1 ZFS3R7+rt3WFgsUXp/rek0ssQdzvLHbZCYh4IWS2HFxcOG1vjLEx9M1Fb490B/zGrUXeKiAF QL0D4gbH533crxswQD5KE5ber0Lp8tWd4u8evCL2bCmJrNllTOi1yFc5Zxll1iL/Gx6Q/LJ2 JAMx7eZ2BGGXnHylgTE0Ii/lIZaaDUVBmf6xzLjAdsberdze4kGE0+lOIuoz85+hpjiR3les lOvGhlVva3hMQrXdFH70QBKgA4Lu32hliai5zdv1S4gtaqe2iPSxOKkeRYacD0uJiEqnRLnJ o66iMofVU6jYl0ylRer0k39wrBSuKV1K2S7rV5gRyHtNCkiV6KxsuDHeMtT8NYyti4RVu2gY FecQ7q7oh0A0iqlEXEMjDw8cjirvN3+kXkYwCqBNnd1o3fDUcprgwjW/9zdQ/FN2TxASSVlw TXaHVmzOdC18M7czs2T9LrmByT9CdsOKGHi1ubi/GOj6HdvAAGjkvz7gdDhHQUgkGf629RsS STUvUP5a4jv2b69NLEvdU1pCVngrstiT9gkws1q3MFWhSdc28zGmBhP2X3+Othax6/kOX8ER DpRhsXQ/BCgwkpoaHSA24P+UHyZhMpnfdizJG0MiUdfp4hHDrmZ6LtckG57uF29+EjNe/l7k ToH4fA1rmETmOEIvgUxySPbD7wPVxo9X2Skh1GT4tayob8CLnq1cL6/2VBWlsvnE7iZogBaV 2r+fNEvETI6vaAdeBrclXb07I/jYtzZa9ke4waVnxn3hO9QMJstl/AOiHkvKSfnsHYi0eJ+k Q120MTwot2cM2s0tvHcYFYQJnjvasgU4D2okatOgpPcwdW0Bps4UjxZR570VfW1DHQZrrL6K ECDHCBZyD/TGKKDT1XHtQE89SqJSs/0cSjLej5Cl51jXEXPfhQCxlpOBHNjwMN/T1z0g5e7F SUxrjEJugyh8EsKm78ubUWlFD2F/kDzMH81UMTNdUAGqFsatwGNd5HZtbg7HjkErMT7/ErXc jzdPlQRSzlOABLhZRirP6Hyt4Ccq67BWrD4dKGIOO/e7rYDH/aQmcD2jtMgpmrWcJ/UYj87V a18gBcmPzgxGtyFyWxQEGpNynqLNZTE4k/7oHE/r9jjoq20A0S1uNPJUuUCd4w3q1ft28Lhf 6aRnHord2ceh8pKnyKSjuJEmwVIwyB2K2v0S+RG73adCviJxukJUllAMUYRfINJ9/5uh1Mdf 5SD2pWrjvgh1aRyUA0NVES9yJjzNYpQezH7aguBWRrMb+7jR3WDwsf8Zb6wRO9nl/1a8RK3v jmfHgnoOTHLlj/iUw2jPLNXlC/dJAZZpIy2bhdqDy7kUc7ibRq4dtRwiFhUifU1gHjOKGIRY zZwaFtDs6bW4zlVmfVyHmVA6jxkKqGFnS2d8uXVeJELrfFsHyJ4kutb5DIxzL1L7SYCQvFp/ Uma5shnp1Xs+gWW4hxgVhcG6jNChYbR+F5nJb2c7J5LH3DN4BMK62yUTRUMvdpsTNP16ehWz ZDUmaT/JS0nkZqc9NYAB8XSNMOMMWYweRvvFjnOCQIZTDmtfWjBjk1ZmfuW+zWbtJ8/4pTrn ZMPTPdcWjlXXrsCDV95GdUZPJptdjY0z/iQl4gX7GG+rR/eWMJc+J3LS7PaAPniLiqYkagRZ xYMxuCdT8xbPYn61kp+L1hiyd2QSwyKBYAL/nInM1ZnxScFuGJzRWAyxU//Pwak4XtJUOWxg gZzkAx1J+Ik6Dbr5V4zYFvMvio51kcryrCHyXicdiD8KKCoUMRYES3x4gItKJL9TAtvRQap2 1NtLzfFQb1NiL0meGx2wly529MHCbtHQKtIbQVFj+mQfOkt2E9Apz+PwF8Zo+DeT4Rrjwsrd 5GwqHQG1g5+Jo1QR+SYNO9CyV5egbiLtymj27UqwQMQEE0K9XubZC8CvEFg3lYOLDHu4eV36 Q2ElCdEfi4BW+d4+5qCF2s4K7rGxDmmzLdYKkG3OPCYKeWUt3WSzaZgp3s7zQUXnlJF/L55z cAlNUeYShJ3pIY=
- Ironport-sdr: ZRxelS2SysMAO8yeXLly21fy1+w0eh1f84kSzIvzQ8+FplUCzr3ugIk2h3JUc17y3rPzLJMpHj L3oUPKqUjpFjwOFId5Ks/7B/4YrP9ZPy7VEFDZRHH5DJEEfqaVL8+mOMu9MnRPzzThGSrXwBq1 63uSJk9nAK04HbgFiBi4vcYJZMYHnOLfuuOPxpyrVOGUWnaqP9UM9/4CSoY0c9tBWKdSuqMZGD 34yCUQKPXyhebQuYoqipgDsbcA11QZ7iAw75ixM71P0IDMnOQOkamJR4NnUIYmbOtODRfIaZzv T47349vEHk2nNE5IlQ6eNkL6
Hi all, hope you're doing well!
I'm hiring a visiting research programmer to build machine learning tools for Coq. This position will mostly be focused on building a usable tool that people can interact with---so some Coq plugin development, some interface design, and some interfacing with machine learning models and frameworks. But the programmer will also be involved in multiple aspects of a cross-institutional research project (Illinois, UMass Amherst) and will have a lot of freedom to explore.
This job is best for someone who is in industry and looking to apply for PhD programs, but needs more research experience and a letter of recommendation to strengthen their application. Check out the official posting here.
Talia
- [Coq-Club] Job opening: visiting research programmer, machine learning for Coq, Talia Ringer, 03/13/2022
Archive powered by MHonArc 2.6.19+.