coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Swarn Priya <priya13swarn AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Paid internship position at Virginia Tech, USA
- Date: Thu, 6 Feb 2025 14:22:48 -0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=priya13swarn AT gmail.com; spf=Pass smtp.mailfrom=priya13swarn AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f171.google.com
- Ironport-data: A9a23:Y8M4u6kIkjt74W+WvH+hgnDo5gwpIkRdPkR7XQ2eYbSJt1+Wr1Gzt xIXUWuHPKzfN2f0eNxzao6+9RwF6J7Tm9QxHAA9/ys3QVtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazl8B56r8ks14ayo4G1A7zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN0zJVMGFqcD691WGCJ1r t47EDI8Qzac0rfeLLKTEoGAh+wmJcjveZIV4zRulG6AS/khRp/HTuPB4towMDUY3JgfW6aDI ZBAOHw2M02ojx5nYj/7DLomhua5jyCkaCJRslS9qq8+4myVxwt0uFToGICNJYTWHpwEzi50o Er9pEunGVY8LuW9xBWbr2iur+XglH/CDdd6+LqQraMz2ALCmAT/EiY+Xlyi5PK9l0SWQMNaM 0VS+yw0rKF0+lbDczXmdxixoXrBrxRFHtQJTLR85waKxa7ZpQ2eAwDoUwKtdvR7nd0GbhYxx 2SohpDSXh5MiL+kZFSCo+L8QSyJBQAZKmoLZCkhRAQD4sX+rIxbsv4pZoYzeEJSpo2lcQwc0 wy3QD4Ca6L/ZPPnOo2+9FHDxiOm/93HF1FsoArQWW2h40VyY4vNi22UBbrzvKoowGWxFwbpU J04dy62srtm4XalynHlfQn1NOv1j8tpyRWF6bKVI7Ev9i6251modp1K7Td1KS9Ba5lfKWC5O BSP4lkPuPe/2UdGi4cnM+pd7Ox6ncDd+SjNDKm8gidmO8ghK1fYrH0GibC4hDq1zhJ1+U3AB XtrWZ3xVC5FWPoPIMueSOAa3rsmjiE4ziW7eHwI50XP7FZqX1bMEe1tGALWPogRtfrYyC2Lq Yo3H5XRkH13DrauChQ7BKZKczjm21BiWsiu86S6t4erfmJbJY3WI6OJnO16J9M+z/Q9eyWh1 ijVZ3K0AWHX3RXvQThmoFg4AF82dc8n9i5pDj9mJluyxXkobKCm6apVJdN9fqAq+KYnhbR4R uUMMZfISPleaCX1yxJEZ7nEratmaEuKgyCKNHGbezQRRcNraDHI3d7GRTHR0hcyIBC5juYAh oGx9xj6RMMDTjtyDcyNZ/OIyUiwjEcnm+lzfhXpJ4BTcXrz7IVVCjzVsc4nBdMhNCeZlyWoj RaSJRI+u+P2gpQU9ePRjvuutLaZEOpZH2tbEVLE7L2wCzLow2q7zaJEU8eKZTr4Rkqu3ImTP sBu0ODaDP0LuH1oorhMOe9n4oxm7uS+uoIA6BpvGUv6SmiCC5RiEyGg5tZOvKgc/Y1pk1K6d WzX8+YLJIjTHt3uFWMQAw8Xbu6j8/UwsRuK5NQXJHTK3gNGzIClY25zYSbV0Dd8KYFrOrwL2 e0i4c4ayzKugyoQb+qpsHpmyHSuHFchDYMcqZAoMK36gFEKy3ZDQ6DmJA3Y3ZWtU+hIY24We mK6payanLlN5FvwQ1xqH1j34Odtr5AvuhdL8Vw8G2q0iuf13v8a4RkA3gk0HyJ0zwpG2d1dI mJEFVN4DoTQ8iZKhPpsZXGNGQZANkfA+kXO1EY4zjzFbki3V17iKH82FvaN8Xs4rUNdXGl/1 5OJxFn1VQ3FeJnK4RIzfkp+utrfQsdU5CSbvOyaR+G+AIgdTR/+p62fdU4kikDAP5sqpUvlo eJKwr5BWZfjP3RNn5xhWpio67sAbTuleklQSu5F14EUFzj+fDqS52C/G3qpcJkQG82QoF6KM O0wFMdhTB/k6T2vqAocDqsyI7NZuv4lyd4BW7HzL149rLqtgWt1ga3U6xTBqjcnc/d2neY5D 7HhRTaIP2iTpHlTwkvmjs1PPEimatglOiz4+s2I89syKpFSi9E0LHkO0Ya1sU6Fbyph3Raf5 z3Ya4HskudN9IVLnqnXKJtlOTmaE93Jabm3wFiBiOgWNdLrGuXShjwRsWjiblh3P6NOetFZl oatkd/Q3WHDtokYS2ryxpuLTfFIwe6QX+NnFN39A1cHvCmFWe7quwAi/ULhI7N3sdpt3OuVb CrmV9mRLPk+RMV46EBOTRRnAzIxKvjSf7jxgyGQtNGOAUUt6hPGJ9aZ6nPZV2FXWSsWMZnYC AWvmfKRyv1HjYZLFjkWLupHBsJmHVrdRqcWTd39mj2GBG2OgFnZmL/DlwIl2A7bGEu/D8f2z pLUdCfQLC3olvnz8+hYlIhusjk8LnV327Awd31A3e9GsWmxCWpeINkNNZkDNIpvrRXz85PFf xDIUnopDHTsfDZDcCik2u/ZYCWkOrUsNOv6dxsTxGHFWxfuUcnESPFk+zx76nh7Rir7wav1Y ZsC83n3JV6qzosvWe8X4eehjPx6wu/BgEgF4l35j9e4FiN27W/mD5C9NFElue37/8DxeIHjI GE0QSVVShj+RxeuSIBvfHlaHBxftzTqp9ntgeFj3/6H07h3DsUZoBE8Bw03+rIGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse/Ja7nAwYVmslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA=
- Ironport-hdrordr: A9a23:cSLZ16hZQ8bWwktz61x+GsRla3BQXvcji2hC6mlwRA09TyX4rb HWoB1/73XJYVkqKRMdcLy7Scq9qBDnlaKdg7NhWYtKNTOO0ACVxepZnOzfKlPbakvD398Y+6 MlXKR3FcHqAUISt7ee3CCIV/glhPeImZrGuQ4c9RtQpMNRBp2IIz0WNu9TKCxLeDU=
- Ironport-phdr: A9a23:8aVAxhy40quwTvDXCzJcwFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xaZva0m1gCQDM2bs6sC17GP9fi4GCQp2tWojjMrSN92a1c9k8IYnggtUoauKHbQC7rUVRE8B 9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9I Ri4swndrNUajZdtJqovyBbFv39FcPlSyW90OF6fhRnx68mt8JJ57yhcp/ct/NNcXKvneKg1U bNXADM6Pm4v48HlqQfNRhaV6HsGVWUWnBtIAwzb4xz/Q5z8rCj0uPdj1SeDJcH5Qqw6Vjqk7 6dwVR/nkzwHOCIj8GHWkcN/kqRWqw+8qhNlwo7UZIaVNOdifq7YYNgXS3ZNUtpXWidcBI63c okBAPcbPetAoIbzp1UAoxijCweyGOzi0SVHimPs0KAgz+gtDQPL0Qo9FNwOqnTUq9D1Ob8PX +G71qbI1zPDZO5M1zfn6YjJcgouquyLULJoa8rRyEkuGBnYgliesozkMSma1v4Ls2WA4OpgU Pigi28jqw1rvjevwcIsh5DPi4kIxV/K6T93z5wpJd2kVkF7e9ikHYNMuiyEOYV4TN0vTmFnt Ss4xLALp561cSYFxZk6yBPRZfyJfoiW7x/iSOqfLzl2iXZndbyxmxq/70etx/PyW8S01ltBs yRLkt7Jtn8X1hzT7NCKSuVh/ku7xzmAyh3T5vlDIUApiarbL5khwrkzlpYJrUvDGSr2lUPrh 6GVbkUp4vak5/jjb7n8pZKRN5V4hh/jPqkqgMCzHOY1PhUIUmOG5+m80KDj/VblQLpUlP04j 6jZsZHEKskDuqK0BRJe3Jw55BalFTim1cwVnXkZI1JBfxKKl43pNEvPIPD8FPu+g0+jnCpyy /DII7HsAIjBImLMkLfmerZ95EpcxxQpwd9D4JJUD6kNIPP1WkDvqNzVFgE1PxCwzur9C9hw1 pkSVXySDqKdKq/erF2F6v83L+mJfoAVuTL9K/Y/5/7piH80gUcdfbOo3ZoXcn+0A/prI16XY HX2mNcBF3wHvgU7TOPwiV2CVSRfaGq1X6I5/j07DpmpAp/ZRo+xmLyBwDu7HppOa2xbElyMC 2vnd52YW/cQbyKfOtNukjsdVbS4V4Ah0QyuuxThxrp8LuvU/zUYuoj52Nh04e3TjxAy+iZuA 8STyWHeB11zy2gPXno92L11iU170FaKl6Zi0NJCEtkG3OxASAFyDYTd3uUyX8joWxPIJ4ySV 1+8RP2pBDgwSpQ6xNpYMBU1IMmrkh2Wh3niOLQSjbHeXPTck4rZ1nn1fYNmzmrekbMmhB8gS 9dOMmuvguh+8RLSDsjHiRbRjL6kIIIb2iOF72Kf1SyWpkgNSBRxQKycBmsAb1HQhdv870LGC bSpDOdvKRNPnPaLMbACcdj1lRNDTfbnNs7ZZjepgWahDE/T3ayFdozCdGAU3SGbA08BwEgI5 XjTEw84C2+6pn7GSjxjEVW6e0T37ex3s2+2VGcxxgCOKlxrjv+7o0FMw/ObTPwX0/QPvyJJR yxcOlG70pqWDtOBo1AkZ6BAeZYn51wB02vFtgt7N5jmLqZ4h1dYfR4l90Xpnw56DIlNi61I5 Dsj0RZyJKSE0VhAayLQ3Jb+PafSI3Xz+xbnYrDf21XX2tKbsqkV7/Fwp1LmtQCvXk0slhcvm 8FP0mqVv87REwMIV7r+V082815xoLSbKigx6oXI1GF9ZLGuu2ynuZphD+8kxxC8OtZHZfncR UmiTotAXpnocbNzyD3LJloeMetf9bA5JZajfvqCguuwOfp42SihhiJB6Zx81USF82x9TPTJ1 tAL2aL9vEPPWjHigVOmqs2yl5pDYGRYBnC+2CG9X5VOb7d0VYkOAGaqZcaww58t4vylE24d7 1OlC14cjYWxYxuDZgWmxhJZz0I/rnmumC/+xDtx2WJMzOLXzGnFxOLscwACM2hASTx5jFviF oOzisgTQEmiawVBeAKN3U/h3OAboa1+KzOWWkJUZ23sKGokVKKst72EasoJ6ZUysCwRXv7uK VydT7f8pVMd3UaBVyNG3jEqfmjxoYrwhRpSh2eULXI1p33cMc193hbQ4tXASOUZhGJXAnklz 2OOVx7lYIDh9M7cj5rZt+GiS2+tM/8bOTLmy4+Nrmrz5GFnBwG+g+Hmn9TmFQYg1iqon9JuV CjOsFP9etyxj/X8Yb8hJBA5QgajspkfeMk2iIY7iZAO1GJPg5yU+SBCimLvKZBB3qm4anMRR DkNytqT4Q7/2UQlIGjaouCxHnib3MZlYMG3J20M3SdopdhQCbadtedfgiJvpHK3qAvQZb52m TJXmp5MoDYKxvoEvgYg1HDXGqoTDEABZjfzng6Ox9+7paRTIm2odPLjsSg21cDkB7aErAZGX X//cZp3Bi584PJ0N1fU2WHy4IXpK5HAKMgevRqOn1LcnvBYfdgvw+ESi3Mtagef9TU1jvQ2h ht00dSmsZibfi9zqbmhDEcQNyWpNZhOvGi81eAEwpnQh8f1Qt1gAmlZAseuF6nzVmtM7bK/c F/fdV904naDReiBQ0nGsB0g9zSXVMrzf3CPeCtHk5M4GEjbdBQZ2EdOBH07hsJrSVrsnZCnK RYjoGhWvw6dyFMEy/o0ZUajFD6F+UHwLG9zEcbXLQIKvFgatwGMbpPYvqQrWHsBtpy58F7Ud TfdPlUUSzlPAgvdWTWBdvGv/YWSqbDJQLrjaaKUMfPW7rUBH/aQmcD1i9UgombKb5TVeCElV qxz21IfDyogRYKDwGRJEHZRz2WUPqv57F+q8ylz5KhT6dzNXwTircuKArpWa5B0/gyuxL2EP KiWjTp4LjBR0tUNw2XJwf4RxgxajSYmbDSrHbka0EyFBKvNhq9aCQIaYCJvJYNJ6aw7xAxEJ c/cjJv8yLd5ivc/D1oNW0bmn4mlYskDImf1M12iZg7DLLOdOTjC2N36e4u5QLxUyfRe7li+4 GnCVUDkOTuHmn/iUBXueeBAgSeHPQBP7YGwdhE+bAqrBNniaxC9LJp2lWhsmexy1i6MbzdNd 2EjKhAozPXY9y5Tj/RhFnYU63NkKbPBgCOF96zCLZ1Qt/J3AyNynuYc4XIgyrIT4jsXIZ490 CbUsNNqpEmr1+eVzT8yGgJUqydC3dmQokx4P43W85BBXTDP+xdHvgDyQ1wa4sBoDNHiofUa0 t/UiKf6MytP6frR9MoYQtnecYeJaSV4dxXuHzHQAU0OSjvhZgS9zwRN1fqV8HOStJ0zrJPhz YEPRrFsX1swDvoGC05hEbTqz794WzollfiQi8tavBJWTTHUTcRe+4HND7ecWKq2bjmeirZAa l0Dxraqdez706X03kVjbh9xm4GYQyLt
- Ironport-sdr: 67a50c15_tRzmRpUNwX61oEX8xV48lfj9Mu8efWcA0P9C8jSj8UR7p4l GHTdGDNl4zE8ZOKhSvfBa+HNXinoRsgDe+TURkQ==
Hello,
Virginia Tech's Systems Software Research Group (https://www.ssrg.ece.vt.edu/index.php) invites applications for paid summer internships from undergraduate and graduate students and post-doctoral researchers on a formally verified decompilation project. The project goals include developing techniques and tools for reasoning about correctness and security properties of binary translating infrastructures, targeting x86-64 and CHERI ISAs.
Preferred qualifications:
- Expertise with Coq theorem prover (Rocq).
- Some familiarity with x86 and CHERI (or ARM) assembly code.
- Expertise with Coq theorem prover (Rocq).
- Some familiarity with x86 and CHERI (or ARM) assembly code.
- Undergraduate and graduate students and recent PhD graduates in Computer science/engineering, Mathematics, Electrical Engineering, or a related field.
The starting date and time frame is flexible.
The starting date and time frame is flexible.
Please contact me (swarnp AT vt.edu) with a resume or for any questions.
Thanks,
Swarn
- [Coq-Club] Paid internship position at Virginia Tech, USA, Swarn Priya, 02/06/2025
Archive powered by MHonArc 2.6.19+.