coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Binoy Ravindran <binoy AT vt.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Postdoc positions at Virginia Tech/Open University
- Date: Fri, 7 Oct 2022 21:37:02 -0400
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=binoy AT vt.edu; spf=Pass smtp.mailfrom=binoy AT vt.edu; spf=None smtp.helo=postmaster AT mail-pj1-f54.google.com
- Ironport-data: A9a23:OQ/+86IzcMyYCRa3FE+RpJElxSXFcZb7ZxGr2PjKsXjdYENS1mYFz zQZXmDVaaqKYmfwct92bori/U1UvZKGndZiQAId+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6j+fQLlbFILasEjhrQgN5QzsWhxtmmuoo6qZlmtHR7zml4 LsemOWCfg74s9JIGjhMsfja8Esw5K+aVA4w5zTSW9gb5DcyqFFOVPrzFYnpR1PkT49dGPKNR uqr5NlVKUuEl/uFIorNfofTKiXmcJaKVeS9oiY+t5yZv/R3jndaPpDXmxYrQRw/Zz2hx7idw TjW3HC6YV9B0qbkwIzxX/TEes1zFfUuxVPJHZSwmdGS8nXefmPv/9djI04xbLFb48JFCkgbo JT0KBhVBvyCr+e/wbb+Uus1w8p+cI/kO4QQvnwmxjbcZRokacqbEuOauJkChWl225wm8fX2P 6L1bRJlbRLHcjVRJhEaBI9WcOKA2yeiLGMD8Qr9Sawf+2P10TVa1LHUNZnkR8KNAuVEuEyRq TeTl4j+KkhCaIb3JSC+2nmrn6rEmT7xcJkDEaWxsP9smlyagGIJYCD6TnO+qPi9z1a8ApdRd hBS9S0poqw/skesS7ERQiFUvlaZvyMkQ9dIENEY5S6CzfvooB+9NGMtG2sphMMdiOc6Qjkj1 1msltzvBCByvLD9dU9x5ot4vhvpZndIdT5qiTssCFpas4O68enfmzqWFo47eJNZmOEZDt0Z/ txnhC03hrFWlcxSkqvmoRbIhDWjopWPRQkwjuk2Yo5HxlMoDGJGT9bwgbQ+0RqmBNjDJrVml CZf8/VyFMhUUfmweNWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf9I90Jvm4ifxs3aJ9sldrVj Kn76Vw5CHh7bCvCUEOLS9/Z5zkCl/m/T426Bpg4kPIQPsArHON4wM2eTRfIgzqFfLkEnqY4N pOWGftA/l5LYZmLOAGeHr9HuZdynn5W7TqKGfjTkkr6uZLDOyb9YelfbDOmMLtihIva+1W9z jqqH5HVo/mpeLauPHe/HE96BQxiEEXX8riv8JcIJrLbelQ4cIzjYteIqY4cl0Vet/w9vo/1E ruVAye0EXKv2yeVGhbAcX15drLkULB2qH9xb2RmPk+l1zJnKcyj5bsWPcl/N7Q21v1R/dgtR dk8euKEHqtuTBbD8G8jdpXTltFpWymqogOsBBCbRgYDUaRufCH33+P1XxDO8XAOBxWntMFlr LyH0BjacKU5RA9jLZj3bauvxmyuoXMyn/JWYHqRBPIOfk+2oY5gBBHsv6VmP+ANNhTx6T+I3 CmGARojhLfsoq1k1PLrlKy7v4OSPO8mJXVjHk7f9qSTGRjB22ienb97T+eDeA7CWFPO+KmNY ftfy9f+OqYlmGlmnpVdEbEx644D/Prq+qFnyzp7EEXxb1iEDq1qJl+E15JtsoxP3rpohhuka HmQ+9V1OaS7B+29KQQ/fDEaV+Wk0e0YvhLw7v5veUXz23JRzYq9CE5XO0GBtTxZIL5LK7ga+ OYGuvBHzyykixEvDMSKsTAMyUSIMU47cvsGsrM0PdbVrzQFm39+Za7SMCvU2K20Ss5tNxAqK wCEhaCZiLV7wFHDQkUJFnPM/LR8g6ZWnBV0z1M5Bk+on+DdjaQdxyxh8jUQTyVUwC5Y0ul1B HNZCk1tKYiK/BZqnMJzZH+tEAR/GxGpwEz95F8Xnmn/TUPzdGjyAEAiGOSKpmY1znl9e2VFw bSm12rVazbmU8Xv1C8UW0Q+ifjCT8R0xzLSivKcAMWJMJkrUwXL2pb0SzIzlCLmJsctiGnsh +pgpr9wYJKmEx8gmfQwDo3C2IkATByBGnd5fshg26E3TEX8YzC53AacJ3+hIv1tI+P4ym7mK shMCP8WaTGA+nevlB45C5QIAYdIp98yxd9berrUNW8M6LSeiTxysaPvzCv1hU51YtNcyeI4F IDdTBOZM2mqnXAPsXT8nMpFHWuZYNc/ewz32t6uwtgJD54utOJNc1k44oCrvn6QDhRrzyiUs CzHeaXS6e5okqZooKfBDYRBAF+SBe7odeHV7j22jctCXenPPejKqQkRjFvtZCZSHLkJXuVIh aa/i8H20GzFrYQJfTjgwbfZLJZw5OK2QOZzGeD0JiMDnSK9Bend0yFa8GW8cZF0gNdR4/e8f DSBaeyyS48la48IjjkdIS1TCA0UBKnLf7/t73H15eiFDh8GlxfLNpW7/HvudntWbTIMJ4a4M ALvpvKy/ZpNmeyg3vPf6y1OWPeU4WMPWJfKs/X0vDicS3Gq2xaM5+ekmh0n5jXGTHKDFa4WJ H4DqgfWLHyPVGPglbm1cLCeejUJEDBwjfRYkoc15Yttkz7jZIIZBb11DHjFY624VgTsyNf1a CylgK7Oz8nidWwsTCgQK+gPkutS6iLi9zs5yvEUE5uoVhqL
- Ironport-hdrordr: A9a23:Ij9is63rMIJDmrwmxrXbFgqjBL8kLtp133Aq2lEZdPU1SL3+qy nKpp4mPHDP+VUssR0b+exoW5PgfZq/z+8W3WB5B97LNzUO01HYSb2Kg7GSpwEI2BeTygee78 pdmmRFZ+EYxGIVsfrH
- Ironport-phdr: A9a23:jscrHBa8XUPsSLWWqPIMW3r/LTHo1oqcDmcuAvsPjrtPdv7m5JH+J AnF4v4rilbVXILd4vYCiuzMsqmmV3ZTqY2ZviUkd5pBHwQAld1QhxYpVcSED0rqBOD2KSE2A ZcKT0drqkmyKlMdA8PifxvXq3y24yQVH0D1NAxyN8zrBsjfg9nkn/uq9cj1ZANFzCG4fas0L BiyqlDJsdIKhIJ5Nqsr4h7Ao38NY+YPgG01eRScmBHz4sr295lmm8hJk9Qm8cMIEaDzfqBiC KddECxjKWc+osviqRjESwKLoHoaSGQf1BRSUUDD61nhU5H9vzGf1KI10TSGPcDwUbE/WCizp 6ZtRhjyjS4bNjk/uGjJg810hahfrVqvvRt6i4LTZYiUMrJ5cMa/NZsQRGxGT+5PS2pMDp79J 4oDAuwdPPpJ+pHnrghGph+/CA+wQeL3n2UQ1zmmgOtgirpnTF2VuW5oV8gDu3nVstjvYaIbU OTvibLN0S2GdfRdnzH09InPdBkl5/CKR7N5N8TLmixNX0vIiEudrYv9MnabzOMI5iKR7uxnR Mqxlygqpxw78XC/g9whjIXEnNdfwFHC8jRR3ppzKNGlAh0eA5bsAN5bsCeUMJFzS8UpTjRzu So0/bYBvIayYCkAzJlPKwf3U/WcaMDI5xviULzUOjJknDd/f7n5gR+u8E+mw+m6V8+u0V8Mo DAX2tXLs3kM0VTU5K3lArN3/0GmyB6Ry0be5vwMLU0vlKXdIoIs2fZqzstV4RmFRHao3hiqx KaNPl0p4O2p9/jqbv39q5mQOpU172O2eqUil8qjAPgpZw0HXmyV4+O5h/Xo+Uz0RqkPj+Vjy PGI9sCHY55C+OjkX1wwsM5r8Ru0Aja43c5NmHAGKAgAYxebl83zPFqIJvnkDPC5ilDqkTFxx vmAMKeyZ/eFZnXFjrrleq5wrkBGzw9mh9pe4ZVFIq8dZv//RwWi/MydFRI/PwGulqztCdN6x 6sARSSCDrLTY8aw+ReYo+koJeeLfoocvj3wfuMk6/DZhng8gVYBfKOt0MhfeDWiE/9hOUncf Wv0j4JLDzIRpgRnBr+P6hXKQXtJan21Ra55+jwrFNfsE9LYXo70yL2ZgHXgQ9sPNzgAUAzTV y+vLdnMWu9QOnzOZJU6yXpdC+DnE8h4hHTM/Ef70+Y1cLSSo3VC88qljJ8vv6XSjU1gq2IyV ZjMlTHVCTkzxDtARidqjv8l5xUhjA7Si+4gxKUIcL4br/JRDlVladiFlbE8U5aqHVufNtaRF AT/GoXgWG5uCIJ3m5hUOg58A4nw10+YmXP7X/lN0eTMXcJRkOqU3mCtdZwlmjCWie941QlgG owWaiWnnvItrVGNQdOZ1RzIzeDyMv1NlC/VqDXZlDTI5hoJFlUqF/2CBCF6BAOeu9394gmqo 6aGL7MhP0MBzMeDLvEPcdj1lRBcQ/ylPt3CYmW3kmP2BBCSx7rKYpC4M2MalD7QDkQJiWVxt T6PKBQ+CyG9omnfEC0mFFThZFnp+PV/r3XzR1E9zgWDZUlsn7Sv/RtdifuZQvIVlrUK3UVp4 y1zB0q41snKBsCoogNgeOBEY4p47gobk23esAN5M9qrKKUjzl8SfgJrvl//ghV6DoIT9Kpi5 HguzQd0NeeZyAYbL2Lejc22YOSJbDSur3XNI+bM11rT0cib4PIK4fU88RD4uR2xU1Al+DNh2 sVU1H2V4tPLChATWNT/SBVSlVAyqrfEby06/46R22drNPz+uD7E3MMBGvdjxxq9NYQ6UuvMB ErpHssWCtL7YvQtgESsZwkYMfp68ac1O4a+daLD1vP3eulnmz2igCJM54U3gSfuv2JsD+XP2 ZgC2fSR2ACKAiz9gFmWucfygYlYZDsWEwJXJgD6GMhcarAgJO7j7E+wP4u6ysgs3/YFulZd/ V+nQksEgYqnJEbUYFv60gldk08QpC7/8RY=
- Ironport-sdr: 6340d44c_F4aCOt0qdr9RxrfKaFxQ7pi58nfO0btPDnpCOu+Pz+/OJza eT1Wy747cJivLCWFivW006QAb75QO6plxNEuN/g==
Postdoctoral research positions at Virginia Tech, USA or The Open University, The Netherlands are available on a DARPA project at the intersection of formal verification and binary analysis. Project goals include developing trustworthy tools for reasoning about security exploits in binary code. Opportunities exist to investigate a broad set of topics including logic frameworks for automatic reasoning of security vulnerabilities, verified decompilation, auto-generation of trustworthy security analysis tools, and automatic patching with provable security guarantees. Opportunities also exist to investigate project-relevant topics of mutual interest.
Recent computer science PhD graduates with expertise in any of the following areas are sought: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. The positions are available either at Virginia Tech or The Open University (or a combination with time at both universities) and have no teaching obligations. For experienced candidates, Research Assistant Professor appointments at Virginia Tech (inclusive of funding for graduate students) are possible.
Interested candidates are requested to contact Prof. Binoy Ravindran (binoy AT vt.edu) with a CV or for any questions.
Recent computer science PhD graduates with expertise in any of the following areas are sought: formal verification, proof assistants and verification tools, binary/program analysis, or compilers. The positions are available either at Virginia Tech or The Open University (or a combination with time at both universities) and have no teaching obligations. For experienced candidates, Research Assistant Professor appointments at Virginia Tech (inclusive of funding for graduate students) are possible.
Interested candidates are requested to contact Prof. Binoy Ravindran (binoy AT vt.edu) with a CV or for any questions.
- [Coq-Club] Postdoc positions at Virginia Tech/Open University, Binoy Ravindran, 10/08/2022
Archive powered by MHonArc 2.6.19+.