coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Research Faculty and Postdoctoral Positions in Verification at Virginia Tech

From: Binoy Ravindran <binoy AT vt.edu>
To: coq-club AT inria.fr
Subject: [Coq-Club] Research Faculty and Postdoctoral Positions in Verification at Virginia Tech
Date: Mon, 27 Jan 2020 14:35:43 -0500
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 omr2.cc.vt.edu
Ironport-phdr: 9a23:MqnsdxAhyXsovAUBdnh7UyQJP3N1i/DPJgcQr6AfoPdwSPv+p8bcNUDSrc9gkEXOFd2Cra4d16yN6eu5AzdIoc7Y9ixbK9oUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanIRvJrw/xxfXrXdEZvpayG11Ll6Xgxrw+9288ZF+/yleof4t69JMXaDndKkkULJUCygrPXoo78PxrxnDSgWP5noYUmoIlxdDHhbI4hLnUJrvqyX2ruVy1jWUMs3wVrA0RC+t77x3Rx/yiScILCA2/WfKgcFtlq1boRahpxtiw47IZYyeKfRzcr/Bcd4cWGFMWNtaWS5cDYOmd4YAAOoPM+hboYfguVUBsQCzChOwCO710DJEmmP60K883u88EQ/GxgsgH9cWvXnJrdX1MqASUOCox6fU1zrDcfJW2THg54jSaB8hp+yHULVrfsrQz0kvEAPEg06OqYz5JT+ayPkCs3WC4udmSOmhhWknqwRrrTiuwMchkpfJhp4Pxl/a6Cp53YA4LsC7Rk5jedOoDZ9duiKAO4Z1XM8uWXxktSU0x7EcpJK3YjUGxIw5yxLDb/GLaYuF7xL5WOqPPTt1h2hpdbCiixu07EOu0PfzVtOu31ZPtidFksfDtnQK1xHL7ciHT+F98lm71TmTyw/f8P9EIVwumaXFNpEh36Y8lpsVsUvdAi/7gFj6gauVe0k++eWk9f7rbqjlq5KSLYN4lx/yPrk2lsy6G+s4MwwOX2aB+eS70b3u5Vb2QLRMjv0xkqjUq47aJdgBqqGnHgBVz54v6wyjADe+zNQYgX4HIUpZdxKAlojlIk3BIPTlDfikmFmsizdqx/XePrL7GJnNL37DkK3gfbln8UJcxhAznphj4MdfDahEK/buUGfwssbZB1k3KV+a2eHiXf980IQPEViGHK6fPLnbtxfc7OMpJPikepNTtTrgfat2r8XyhGM0zAdONZKi2oEaPSjhQqZWZn6BaH+pue8vVH8Qt1psUvCshVGfA2YKOiSCGpkk7zR+M7qISIfOQof03u6G2T3hWJZdIH5aTF2ADCWwLtTWa7I3cCuXZ/RZvHkBXLmlRZUm0EH8qhO8xrZ6fLPZ

Multiple Research Faculty and Postdoctoral positions are available with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (https://vt.edu/) on DARPA-funded projects on program analysis and verification. A particular focus of the positions is automated reasoning of unintended, emergent program behaviors (e.g., weird machines) and verifying their non-exploitability. Additional thrusts include verified decompilation and verified recompilation.

Computer science/engineering PhD graduates with a background and publication record in verification, security, or program analysis are sought. Background in theorem proving (e.g., Coq, HOL4, etc), program analysis techniques, low-level system software including assembly code, ISA semantics, and functional programming are highly desirable. The positions have no teaching obligations.

Interested candidates are requested to contact Prof. Binoy Ravindran (binoy AT vt.edu) with a CV or for any questions.

[Coq-Club] Research Faculty and Postdoctoral Positions in Verification at Virginia Tech, Binoy Ravindran, 01/27/2020