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] Postdoctoral/research faculty position at Virginia Tech
- Date: Wed, 1 Jul 2020 13:13:01 -0400
- Authentication-results: mail3-smtp-sop.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 omr1.cc.vt.edu
- Ironport-phdr: 9a23:qLX3UBADoXKC8W/UzWJFUyQJP3N1i/DPJgcQr6AfoPdwSPT8o8bcNUDSrc9gkEXOFd2Cra4d1ayO6eu5AT1Ioc7Y9ixbLdoUD15NoP5VtjRoONSCB0z/IayiRA0BN+MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55IAmroQnLucQanIpvJrwtxhfXrXdEZvhayGd1Ll6Xgxrw+9288ZF+/ylQof4t69JMXaDndKkkULJUCygrPXoo78PxrxnDSgWP5noYUmoIlxdDHhbI4hLnUJrvqyX2ruVy1jWUMs3wVrA0RC+t77x3Rx/yiScILCA2/WfKgcFtlq1boRahpxtiw47IZYyeKfRzcr/Bcd4cWGFMWNtaWS5cDYOmd4YAAOoPM+hboYfguVUBsQCzChOwCO710DJEmmP60K883u88EQ/GxgsgH9cWvXnJrdX1MqASUOCox6fU1zrDcfJW2THg54jSaB8hp+yHULVrfsrQz0kvEAPEg06OqYz5JT+ayPkCs3WC4udmSOmghHIppRtrrTiz2scjlJPJhoQNx17L+yh13oQ4KcC2RkN4YtOpHoZduiOGO4Z0Tc0vQG9mtDg4x7AFt5O2fykHxYooyRDfavGKd4eF7xH9WOuMPDp1gm9udry4hxa360egy+v8W9Gq0FZWtCZKjMTDtm0V2xzX7siHUP598l652TaV0ADT6P9LLlwolabBLJ4h2LEwm5wOukrABi/7gFj6gauVe0k++eWk9f7rbqjlq5KSLYN4lx/yPrk2lsChHeg1NhICUmub9OimyrHv41P1TK9XgvAylqTUto3RK94Bqa6jGQBV154u6xahADei19QVhX4HLFdfeB6alYTmJ03BLOrmDfejmVijjipkx+3eMr3gBJXCMGTDna/8cbt56ENQ0gk+wc5F655JCbwMLuj/VlLvuNDFFhM5Nha7w+fjCNVzzIMeXmePD7eCP6PTt1+I4eIuLvKSZI8JojryNeUq5+P2gX8jhVAdZbWp3YcQaH2gAvtmJFyZbWPwjdcFDGcFpREzTPfqiV2HST5cfWy+X6M65jEhCYKpF53PRo63gO/J4CDuFZpPI2tCF1qkEHHydozCVe1fRjiVJ5pLkzoDRPCbQpEg0x20vQmyn7BmKO3F0jME85/vyY4mtKXoiRgu+GksXIym2GaXQjQsxz9ad3oNxKl65HdF5BKby6Eo0eJEU9Ff+qERC1ZoBdvn1+V/TuvKdEfEd9aNRkyhR4X0Hy13Q94skYZXPhRNXu66hxWG5BKERr8Yk7vSWs4z97iFmXP6YdhhjXvKyft5gg==
Applications are invited for a postdoctoral or research faculty position with the Systems Software Research Group (https://www.ssrg.ece.vt.edu/) at Virginia Tech (https://vt.edu/) on DARPA-funded projects (https://llrm-project.org/) at the intersection of program analysis, verification, and security. A particular focus of the position is static and dynamic program analysis, especially at the binary level, for automatic exploit generation with an underlying basis in semantics and logic. Additional thrusts include logic frameworks for formal reasoning of non-exploitability.
Computer science PhD graduates with a background and publication record in program/binary analysis, verification, or security is sought. The position has no teaching obligations.
Interested candidates are requested to contact Prof. Binoy Ravindran (binoy AT vt.edu) with a CV or for any questions.
Computer science PhD graduates with a background and publication record in program/binary analysis, verification, or security is sought. The position has 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] Postdoctoral/research faculty position at Virginia Tech, Binoy Ravindran, 07/01/2020
Archive powered by MHonArc 2.6.19+.