Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoctoral Position at Virginia Tech's Systems Software Research Group

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoctoral Position at Virginia Tech's Systems Software Research Group


Chronological Thread 
  • From: "Priya, Swarn" <swarnp AT vt.edu>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Postdoctoral Position at Virginia Tech's Systems Software Research Group
  • Date: Thu, 31 Jul 2025 14:18:18 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=vt.edu; dmarc=pass action=none header.from=vt.edu; dkim=pass header.d=vt.edu; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=sDLzoiA4vvgzK4F2WCHpZ019Lz+NiIIcC3hnG/2VzZs=; b=vEp/hhps2fRr4FMBR+aa8cqDCQA7CMb6VQyLUltCLf52KX299Blv8Rc4aZvqrkMfxL5BiixXXFRhkr0UavfkDsJ0uc6h9tJLOTIr0AsxeBxZCv6a+kep/ACaoF5EIV9zYoFg63qyYVoVxg8mjg7aVX6qEKIJEkmrsceGQY1h5ChgFbEHtLFQmq9Kf7wlfdUyMS6fBgFDJ0zN515kvMTgJBGlFx+5hQdQ3H3hXXlPCkrMQStmVucurKwy8kLLXNRJF/zSt+73l0WQoYP144isoMiNOxMi6+FcWj0Rbaia3dr1XfUnoyRTuGgwRMFLrhMEjSZkgsyUgQrnblEEzRdx0A==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=r9BLCNU8YSkdjLwJlFxZ/kbUgXpPPqWkmQ+snxiJljnmb8E+fVCj4mT2wpEnnOKUibcWz4AcXWWGEWFLlXbl9baif9Bz1EeyflubR5AxXuQR6Yt7sPeVB7hi8VuN5VE9GtP8t49JHL0uDYVOWS/cVzKBqzh3HLYG9iiMIJJYT69Hjhpzpb3S3zCreS8g8u//XVW32W8FkEbdeU8qGAqgolNAaXhhUe7Qz036kmozinr7K8xBmOpxNNlkLvIe3/vYypugl/o2URGFRTzW4byUKlXqkKnPqZZLpjKxjeWkkP+ADbL/CmU0PKW9McKqTHxD3rmy/908V/Xn9BgMAROyDA==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=swarnp AT vt.edu; spf=Pass smtp.mailfrom=swarnp AT vt.edu; spf=None smtp.helo=postmaster AT SJ2PR03CU002.outbound.protection.outlook.com
  • Ironport-data: A9a23:RgQOKaqY0s2ycYXdyYMkHO5yh9JeBmJibhIvgKrLsJaIsI4StFCzt garIBmDbq2Pa2H8fYokaYnj90gD78SDn4AwTQc9qS4yHywbo+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVaiZfHk3HVI5IMsYoUoLs/YjhYJ1isSODQqIu Nfjy+XSI1bNNwRcawr40Ird7kow1BjOkGlA5AFmOqsT5Aa2e0Q9VfrzG4nhdxMUfaEPRoZWd 86bpJml82XQ+QsaC9/Nut7Tbk0QT7fOChOFg3xQVrLKqkAqSvsaj87XnNJFAatmo23hc+JZk L2hhrTsIesdBZAgrcxGO/Vu/46SCoUdkFPPCSDXXcV+VCQqeVO0qxllJBle0YH1Zo+bqIyBn BAVAGllU/yNuw656OOaDfZlreQiFtnAFaE4k0tEziDjB/lzFPgvQ42SjTNZ9AwS3Ph0Ra31W pJBM3xocQjKZABJNhEPEpUikey0h375NTpFtFaSoqlx6G/WpOBz+OW3doONI5rWGYMMxx3wS mHupwwVBjkBK9WFzyKt7G7qi+PS9c/+cNtITuDlraIx3DV/wEQIEAENSgGL+8Wy1B/vd+5YB ko6pQkH+P1aGEuDFYKnA0LQTGS/lhUbQp9bF/AwwBqcz7LdpQefHGkNCDBbAOHKr+czTD0uk 0CEhM/0HjV9t7vMECrHre7N9nW1JDQfKnIEaWkcVwwZ7tL/oYY1yBXSUtJkF63zhdrwcd3t/ 9yUhHkfwKoapu4K7bWQ1HLgqgiIpYnzRAFgs207QVmZxg9+YYekYamh5l7a8etMIe6lor+p7 Chsdy+2vL9mMH2dqBFhVtnhC11A2hpoGDjVgFoqAJQ66ym28myke9kJuGslfR4ydMEZZTXuf Unf/xtL44NeN2eraqkxZJ+tD8Mtzu7rEtGNuhHogjhmPMUZmOyvpXsGiausM4bFyxFEfUYXY snzTCpUJSxGYZmLNRLvLwvn7Zclxzol2UTYTo3hwhKs3NK2PSHIEuZdaADRNbxns8toRTk5F f4PZ6NmLD0PD4XDjtX/rNRLcDjm0FBnW8+r85AJKoZv3CI9RztxUa65LUwdl3xNxP8PyrigE oCVX05T0l3kgnPbYQ6NcGgLVV8cdccXkJ7PBgR1ZQzA8yF6Oe6Htf5PH7NpJ+VP3LI4l5ZcE aJaE/hs99wTEFwrDRxBN8Gl9OSPtX2D2WqzAsZSSGFlIMQ/HFaYo4SMk8mG3HBmMxdbfPAW+ 9WIvj43i7JZL+i7JJ+OMKz9/ED7pnUHhuN5Um3BJ9QZKg2m85FnJ2a1xrU7Kt0FY0eLjDaL9 RekMTFBr8n0oqgx7Ibog4KApNyXCOdQJBdRMFTayreUDhPk2FSf77VOa8u2WAzMdXjV/fyib NpFzvunP/wgmk1LgrVGEL1q7Pwf4/3Mgrtw9SFIOln1U320L7I9PHW258hF7ZNQ9JQEpgCzC xq9xf8CMIrYJefgQQcdCxo7ZL6YyMBOyyXz7Os0Emr+9iRY7LqKamQMHhiu2Qh2Dqp5D5Mh+ sgl4PUp0g2YjgE4F/q7lQVWyjioAl1bdJ44p7Y2JoPPoSg6+GFoOJDzJHf/38CSVo9qLEIvH A6xuIPDoLZ5nW/pbHs5ECn279p33JghlkhD8w4fGg6vhNHAu/4Q2S9R+xQRSiB+7E1O88B3C 1hRG3xFH4e81BY2u5EbREGpIR9LOzOB8E+oy1cpqnzQf3P1akPzdl8CKcS/12FH1VlDfwpr3 qCSk0fkdjfIQPvf/AUPXWxdlviyauApqyPjnpi8EtWnDqsKR2PvopWTaFoirzrlBsIMh3P7m 9R6wdYoaYDGMX8/nq5qLaibyrUadz6cLkNgX/xK3f0EDEPcSh6IyBmMLEG9fPpQFcPwqG65F M1cCcZdXDuu1Cu1j246BIxdB5RWjfIW9N45VbezHlE/spybtWBPorzc0gPclV0baYxivuhlI 7yAag/YNHKbgEVlvlPkre5GCzKeWsYFbgit59KF2rwFOLxbud49bHxo9KW/ukiUFw5V/xi0m gfnTI2OxsxAzbVcpafdIp9hNS6Vd+yqDP+p9TqtuetgddnMaMfClz0Eo2ndYjh5A+EjZMRVp 5+s7vjMw0L3jJQnWTv4mr6ANZVzy+ecYe51Cv/zfV5mxXasecm0+BYS2XGKGboQmvNn28SXb Q+ZasyxSN0rZ+lg1EBlMxZ5LRJMJJn0P4HBpDy8pcuiEhIy8xLKB/L5+G7LbVN0TD4pOZr/B gnNpsSR3Il5rZtNNjAAFfpJE591G369eKoEJvnalyiUMXmsuXyG4oDdrBsH7SqRLGuqHOLRw 4P3djKneDuc4Kj3ncxk6apstRgpPVNBqOgXfHNF3eVpijq/XVU0Hc5EPbooUphrwzHPjrfmb zTwbUwnOyX3fRJAVT7euN3DfAOuNtYiC+fDBA4C3h2rMn+tJYa6HrFe2D9q4C52dhvd3eiXE 4wi1UOqDCeh4KNCZLg13eO6s9dF1/mB53Mv+GLBqeLQLSsaI4030C1GIFIQew3BSs3DrRCeb yx9D2VJW1qyRkPNAN5tMSwdUg0QuDT0iS4kd2GTydLYoJ+W1/BE1Oa5Aezoz7kfd44fEdbin 58sq7eluAh6G0D/uJfFf/oSo/VMM6rQNfXidPWlQhAOlaat7GhhJ9kFgScEUMAl/khYDk/Zk T6vpXM5ASxp7ayXNKK+kW00F1BZCxrgzA0lSCbhuXnLnQFRIx3xZU2x1AyiQX3vg/GLgqibK Qv+qG6PvxubuCaMSfyScBgEjgTvPPz93kUonszlol0eX/tspKJg+Ghd7nwH
  • Ironport-hdrordr: A9a23:foxVvam2MUBC+X7ZBu6VKrz2P4TpDfLS3DAbv31ZSRFFG/Fw9v re/8jyt3fP4gr5PUtMpTnuAsW9qB/nmqKdg7NxAV7KZmCP01dAR7sD0WKN+VPdMhy73vVc3q 8lXrRkANb0AXR/hcb+pDSiG9wjzMKm/cmT9IPj5kYoZRprYKklyRx4BAadGlB3QwcDLYMhEZ qX7tdGoT3IQwVzUu2LQlEfX+PK4/vRlJznZhYaBxkorDKDhTatgYSKcSSl4g==
  • Ironport-phdr: A9a23:aBWY+BMPThZh8F12H24l6na1BBdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDvq4r1ASCBN2Cs6gMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSsioeReWoMgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL58I hi6txndu8cZjYd/Nqo91wfFrmVVcOlK2G1kIk6ekBn76sqs5pBo7j5eu+gm985OUKX6e7o3Q LlFBzk4MG47+dPmuwDbQQWA/nUTXXwanwRHDQbY9B31UYv/vSX8tupmxSmVJtb2QqwuWTSj9 KhkVhnlgzoaOjEj8WHXjstwjL9HoB+kuhdyzZLYbJ2TOfFjeK7WYNEUSndbXstJVyJPHJ6yb 5cBAeQCIelXoJLwqEESoReiHwSgGP/jxiJOi3Tr3aM6yeMhEQTe0QAuBdwOqnXUrdXvO6gXS ey+0bTGzDvZYPNM3zfx5pXDfxc6ofCCR71wa8zRyVE0GgPbklWcs5LqMC6I1ukUtWWQ8uVvW /61hWE9twFxviagxt0qioTRiYwZ1F/K+yp9zYsoIdC1S092bN6rHZdMuS+XNZZ7T8csTW12t ig3zrIItJGncCYFyJkqyRDSZvybfoaG4hzvSuCcKip2inJifbKwnRey8U64x+3iSsm4ykhFo TdYktTKq3sD1ATT59CHR/dj5EutxCqD2x3J5uxLLk04j7fXJ4Mvz7IoiJYesFjPEyHzlUnrk KOZbUQp9+2y5Oj7bLjro52ROJFxhwz7LKgjnsqyCvkiPAcURWiU4+G82aXj/ULnRLVKieU7n LTdvpzEP8oVurK1DgFL34kt9xqzEymq3M4fnXkaMFJKYxWHj5XvO17TOvz4Fe2/g1OwkDh12 //GIrzhApLLLnTZl7fhYKp960pbyAo0ztBT/Y5bCrYEIP7rW0/xssLXDgMhPgG03errEshx2 p8DVW6VDaKUP7nevUKV6u8hO+WMYZUauDf5K/gr/f7uino5lEcGfainx5QXcna4Hux9LkWHf XrgmMkOHnoXvgYmVuzllEWCUSJPZ3a1R68z+jY7CJu/AYjfQoCtnaeO0TygHpxWY2BGEkqDH W3pd4WCQfcMaTidLtVvkjweTbShTZQu2gm0tADm07pnMvbU+ioAuJ7+zNR16PPclRYx+zJuF 8mS3XyDQ3lunmwWWT8437pxrFR4yliZ0Kh4h+VUFNJN6PNSTgc6KIXcwPZ7CtD1XALNY8qFR Eq4TtioHD09U9w8z8UJY0ZgB9WtlRfD3zesA7AIjbCLHIY08qXA33fvO8l913fG1K4nj1U8R ctPKHGmhqp49wjUBI7FiVmWl6GvdagEwSHN92aDzW+WsU9AXwB/X7vLU2wDa0XQtdj2+0bCQ KW0Cbs7KgZP0deMJLNFZNHxllVGXPnjNczEbW+thmm+GA6ExqiUbIrkY2od3DvSCEwDkw0L5 XiILBAwCCjy617ZWXZlEkuqaEfx+8F/rmm6Rwk61UvCO0Zmzv++/gMfrf2aUfIamLwe7nQPs TJxSRyFxdPHAp7InBVoZqMWKYcm/15d03rxqRA7M5C9efMxzmUCehh66hu9ny58DZ9NxJBCR BICyQNzLfndy1Zdb3aD2oi2PLTLK2709RTpaqjM21iY3szFsrwX5qEerFPu9BqsClJk629uh sJK2mGa/r3UEEwfXY+iGl0v+U1CrqrBKjI4+5uS0HRtNaeutTqXwM0gHu094gi8OdpTLfDMD xf8RusdAcXmM+k2gx6pYxYDafhV77IxNti6euGu44zxBNw4xxmb1TwdpodgzkiL6ixwDPbS2 IoIyO2Z2Q3BUCrgiFCmsYb8noUsiSg6OG25xGCkAYdQYvY3ZoMXESK1JNXxwNxihpnrUnoe9 Vi5BlpA1tX7MRyVJ0fw2wFdzyF16TSuhDe4wjpokjoosrvX3SrAxP7nfQYGPWgDTXdrjFPlK 4y5x94AW03gYw8snRqjrUH0osoT7L9gJnPVWW9WY277I3wjGqq8u7yeYtJevYsyuHYfW+C9b FaGD7/l9kZAlXq7Ri0CmHZiLmr53/ex1wZ3g2+cMntp+X/QeMUrgAza+MSZXvlJmDwPWCh/j zDTQFm6Jdigu9uOxPKh+qizUXysUppLfGzl14SF4WGg+mRwBwWXgez1l9H6W1tywWrg2t9mW D+d5g3ja5Ptz4ykLaRqclQiVzqeo4JqX4p5lIU3npQZ33MX046U8XQwmmD2KdxH2Kj6YRLhX BYzysXOqEjg0UxndTeSwp7hE26a2o1nbsW7ZWUf3mQ86dpLAeGa9u4MkSxwq1u+5QXfBJo11 iwCwOEo8FYEn6cEtBdlwiiGA78UFFVVJmSxzVLRt4n48PkRPT/0ObGrnFJzh9WgEK2PrklHV XD1d41jeE04psRzPVTQ0WHiv4Tted3ed9UW5VWflxbNifQQKYpky6BM3HI+fz6h+yR8kL1e7 1Qmx5yxsYmZJn84+au4BkUdLTjpf4YI/Smri69Cn8GQ1oTpH5N7GzxNUoG7KJDgWD8Uq/njM B6DVTMmrXLOU6HAFBWZ8G94szTCH43hZDmHYWIUy9lvXkzXP1NWmgYMdCsm2JM1C0r5oa6pO Fc87TcX6FnirxJKwe89LBjzXFDUowKwYys1QpySf1JGqxtP7EDPPYmC//p+SmtGq4a5olXHe Qn5L0xYSHsEUUueCxX/M6mysJPepvOACLP2LuOSM+nW770EEa/OndX2j8Nn52reap3JZyE9S aV9gg0aAxUbU4zYg2ldFnZRznqVKZbd/FDlp2V2tpztra6tAVq1o9PJU/wLb51u40zk3P3Fb rbLwn4/cXEBifZujTfJ0ORNhQZOzX0xMWHrSfNZ6mbMVPyCwKYPVkxCMnohOpcQt/BumVUdX KyTwtLtiOwih6ZsWQ4cDA7vxpnyN55NfzD1NUuZVhyCbO3UfGSSkc+rOfjuGeUI1LcG8EDp3 FTTW077YGbZnmGwBUn2aLNC0HnAbhcG4NnvIFEwUCDiVIy0MBTjaY0u1GRkz+Fs3SHEbTZEY 2o7LhkF67SU6WkwbuxXPWtH4zIlKOCFn33c9OzEMtMNtuMtBC1oluVc6XB8yr1P7SgCSuYn0 C3V5sVjpV2riIztgnJuTQZOpzBXhYmKoVQqOKPX8YNFUGrF+xRF5HuZChADrd9oQtP1vKUYx t/KnaP1YDBMlrCctdMbHNTRIdmbPWAJCjizIASMVyA4FWbxc2bCm0ZajfeesGWPqYQ3oYTtn 5xITaJHUFsyFbURDUEkeb5KaJZ7UzU4kKKK2c4F4X3t5BLVRchcotXGTqfPW7O2cG/f0eUCP kJTktaaZcwJO4b22lJvcAx/lYXOQA/LWMxV5zZmdkkyqVlM9353Sisy3VjkY0Wj+ix2d7b8k xgohw95eelo+i3r5gJ9PUXDvi0ouFct39jpnHrCFVy5ZLf1RoxQByfu4gIpNYjnRg9ucQCot XdGbg/+H+l6suM4LyZslRPWvoZJFbhEV6pYbRQMxPaRIfI1zVBbrSbhzkhCr7iga9MqhE4hd piiqGhF0gRoYYsuJKDeE6FOy0BZmqOEuiLAPgUZ3hNYKkoQojv6kMEgplBOO7U7dXPAFg1E0 i7YowEbI0MxD6Jw5PV36kk6JuKMiTr61KJOIVywMOrZKL6Fv2/HloiDRVZijis1
  • Ironport-sdr: 688b7b32_YDnOaaMCprUZZWEGuYkfbZS32ThFqxGL1gvhYW8P+B8OdHy iHeRVmqM0IzCpJPPeee9gXS7eUjYZYcwNbac5mw==
  • Msip_labels:

Hello, 

The Systems Software Research Group (https://www.ssrg.ece.vt.edu) at Virginia Tech invites applications for a one-year postdoctoral position. The group has several ongoing projects at the intersection of system security, formal methods, type systems, theorem proving, and verified compilation.

High-level description of projects:
- Developing a formally verified framework for the Linux eBPF ecosystem,
which encompasses the design of a domain-specific language, a rich
type system, and a verified compiler to ensure the safety and
correctness of eBPF programs.
- Building a formally verified semantic equivalence checker between
two hardware architectures.

Preferred Qualifications:
- Proficiency in the Rocq theorem prover (Coq).
- Strong background in type systems and programming languages.
- Familiarity with the CompCert compiler infrastructure.
- Familiarity with the Linux ecosystem. Background in eBPF is highly desired.
- A Ph.D. in Computer Science, Electrical Engineering, Mathematics,
or a related field.

The start date and duration are flexible. We welcome motivated applicants who are enthusiastic about building verified systems and formal reasoning. If you are interested, please reach out to Prof. Binoy Ravindran (via email: binoy AT vt.edu) with a CV.

Thanks,
Swarn 



  • [Coq-Club] Postdoctoral Position at Virginia Tech's Systems Software Research Group, Priya, Swarn, 07/31/2025

Archive powered by MHonArc 2.6.19+.

Top of Page