Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Seeking Tenured/Tenure-Track Faculty in PL/Compilers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Seeking Tenured/Tenure-Track Faculty in PL/Compilers


Chronological Thread 
  • From: "Sullivan, Kevin J (kjs5d)" <kjs5d AT virginia.edu>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Seeking Tenured/Tenure-Track Faculty in PL/Compilers
  • Date: Sat, 23 Nov 2024 00:23:38 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=virginia.edu; dmarc=pass action=none header.from=virginia.edu; dkim=pass header.d=virginia.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=ZbmY4lrU11IZapdpiGlwtCis7gL8+iqockVl3b/s72A=; b=B3c81+Z5ehSDOrxJlz+jFFQr+8XalyI8SYyVz1Uuyf5BDyh3BvXL3+nG2HTBwpJohw/0pyPnoxycna34I7LZnhc41iIFE4FJrzD1bx2x9sV+eqF3tI48DygtDiZseGxmM8n1FPF0i6rsNCiIMnJDr54cfc9E7szIR7X3pUrlgTka3FVwMEQwkKVW+kJyDClwy35xlSMYnp2CuLWGMY5H8JZKsYNEBIN59CkFcbrXseFkGdMe7G/WFvpVH4S1ZwgH7Qs4fnn/M8OnS1pH7jgP3kOrg2Q9tF6IuKjYhBPc+nnAIZP1ehKeMWwAwX3w3YI9T6Kh1zq5S2PEJU5KV/HqbA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=G1UtQL0ioGqL9ZWJj262qATqh0AAknzrKfkgUbn7hsXF4hSs42fXatUBv2NiUmfkWjPG3ScHzlj+zYQ5q5zCn/6hKTvU4dZ1SvYW/p6InBp3Cl93CJVeZXFaSO5hAO8D0iAbk4zi5V+In++jgRACmIgMFaiIe2F0+6GQSru8rHbebGIjiecwsMANohBHhQkjJonifDtT3t4xRlyJoEu7vDoFT/C5HPka3QH9g/3cdTLR8Qpk6QNkj1NrIT2UWgViSn54gwBj6+thManHXasgKnuyFmPosxDoA/+Yt2AP11SRLOVIZsZB7iHc/8qixjnZ+JUpD9k/vJGtkjcROhefJg==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kjs5d AT virginia.edu; spf=Pass smtp.mailfrom=kjs5d AT virginia.edu; spf=Pass smtp.helo=postmaster AT NAM12-BN8-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:y7ZH067jcCBkErJSnduxEgxRtDfMchMFZxGqfqrLsTDasY5as4F+v jROXGuOaauPMTOjKop/bY2x8EoAuMTSyIVqQAU++y9kZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgtaAr414rZ8Ekz5a2o4mtD1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6+kwFxg2EIwFwf1+HkZcr vwCJigDbg/W0opawJrjIgVtruIKCZCxeak56jRnxzyfCus6S5feRamM/cVfwDo7msFJG7DZe tYdbj1sKh/HZnWjOH9LUNRnxLju3CKgNWQD8jp5poJvi4TX5A9zy+XhGMTUYNOLQ8Rc2EuUu woq+kygWktGb4XDlGDtHnSEmcOVoj/AVbAoV5qY8c5z3HeT3Tc6IUhDPbe8iaLi0BLhMz5FE GQf/TNrpqwv/mSwX9zlVlu5pmSFt1gSQbJt//YS7QiMzu/e5VafD21dFDlHMoV97okxWCAg0 UKPk5XxHztzvbaJSHWbsLCJsTe1PitTJmgHDcMZcecby8W9u9gzoxPSdc1qD4mn1d3vFyn+w y/f+UDSmI4vpcIM0qy6+3XOjDStuoXFQ2YJCuP/DjPNAuRRNN/NWmC41WU3+8qsO2pwc7Vsl H0Nmszb5uZeC5iIzXaKRr9UR+vv4OuZOjrBh1IpB4Mm6zmm53+ke8ZX/S16I0BqdM0DfFcFg XM/WysBvfe/31PzN8ebhr5d7ex3kcAM8vy4DZjpgiJmOMQZSeN+1HgGibSs927silMwtqo0J I2Wd82hZV5DVv89l2LuHbdFjOB0rszb+Y81bcCqp/hA+erPDEN5tZ9aaAPSBgzExP/a/1iNr 4gDXyd040wFCLevOXG/HXEvwaAidiNhWc+eRz1/c++IOA19H289Q/TW26tJRmCWt/U9qws8x VnkAhUw4AOn2xXvcFzWAlg9M+iHdcgk8hoG0dkEZg/AN44LOt/3tP93mlpeVeVPydGPOtYvE 6BYI5/cWq4XItkFkhxEBaTAQEVZXEzDrWqz0+CNOVDTprY5H1aXqOz3NBDi7jcPBSeRvM4z6 e/onADCTJZJA0woAM/KYbj9hxm8rFoMqtJUBkHoG9h0fFmz0Y5ILyeqsOQ7DftRIjr+xxyb9 T2sPzEmmcf3rbQYzvz1lIGfjoLwE+JBDktQRGbayrCtNBjlxGmowK4eceXVVwzheXLQxYeFQ s4M0cD5DeANx2gSgo8tSrxu9L81x/nxq5BkzAhLGGvBbgm1BoNaOXPcjNNrs4tTzIR4oiqzY FqEofNBCIWKOeTkMV8fHxUkZeK9zsMpmiHewPA2AUfi7gp1weajfWBNGSKTmQtxCaBTMog15 csA4+kosxeejDguOfa41hFkzXyGdCE8Yv92p6MkD5/OoSt170NJfrj3KDL8ubOLYPVyangaG Cee3vf+tu4N13j5UiQBEFbW1rBgnrUIghdByWECK3mvmtbogvwW3gVbwQ8oTzZ6nwl27OZuB ldFb0FFB72C3zNNtvhxW2qBHwJgBhrA3mfTz1APtnPSTmj2d2jrAVA+B92w/xEiwzoBRgRYw bCW83a6cDDIeMqq4DA+d3Q4oNPeTPtw1Db4puaZI+q/EaIXWwHV2p2VWTJQqj/MI98Au0ncl Ow7oMdycfLaMAATkY0aCq6b9+4ZeDKCLVMfWcBaoac7PVzdXBqQ2jG+DV+7Ve0QBv7N8G6+U 9dPIOAWXTuA9S++lBIpLo9SHK1Fx9sXvMEjfJHvLk4464qvlCJj6s/sx3KvlV0VTMVLuudjD IHoLhapMHGa3FlQkE/z9Ph0AHKyO4Q4VVetzdKO0bs7ErwYu7tRamA06Ly/ukuVPCZB/x65u ADiZbfc/9d9yLZDzpfdLaFeOzqacd/DdvyE0ASWgeR8adniNcTvtQRMjnLFOw9QH6UaWvUpt LCrneP04nj4v+cNYziEo6WCKqhH3tXtfex1NsmsEmJWsxHfU+DR4jwC2VuCF7p3rP1n6POaG jSIMPmLSYZNWvN25mFkVCxFIhNMV4X1dvjBoA2+ndStCz8c81bOHPGh/EC0dVBgKys6G6D/L iTWuP+ewM9Sg6oRJR0DBtBgW4RZJn26U4QYVtTBjxuqJUj2vUGz4Z7czQEB7xPPAVm6SPfK2 4rPHEXCRU7jqZP2w8F8mK0smB8uVVJWo/Q6J2AZ8P5I0wGKNnYMd7khAM9XG6Nvs3LA0b/jb 2vwd0okMyL2WApEfTja4NjOWgS+BPQECuzmJw4Grl+lVCOrOLyuWLdR1D9sw3NTSAvRyOuKL dI/+HqpGjOTxppvZ/gY593loONB687Z+Ek1+hHGo5SvOyodPLQE6iUwVk4FHynKCNrEm0j3N HA4DzIMCl2yTUnqV91sYThJERUepyni1CgscTzJ+tvEpoGH16dV/ZUT4Q0oPmErN6zm5YLiR E8bg0OrykXPgDk5n/tsvNgkx6hpFfiMA862arf5QhEflL2x7WJhON4emS0IT4cp/ws3/5b1i Gy3+3ZnbKiaABk55VFU4VxhF1FNvrYkETDTgw/5pDaAnBAkpzQcUwb/1xr1cPkctIC613i1g 14ugIK5vVyMuzripDA4u/gGzrBC7Qf9ClGcOh0VoljOfttAhYOT+H2NE6336j6JzEB5+w==
  • Ironport-hdrordr: A9a23:VyY+a6lwI2x0KuZw47k3CMl+wP3pDfOyimdD5ihNYBxZY6Wkfp +V8cjzhCWftN9OYhodcIi7Sc+9qADnhOdICOgqTMGftWzd1FdAQ7sSibcKrweAJ8SczJ8V6U 4DSdkYNDSYNzET4qjHCWKDYrUdKay8gcWVbJDlvhVQpG9RC51I3kNcMEK2A0d2TA5JCd4SD5 yH/PdKoDKmZDA+ctm7LmNtZZmJm/T70LbdJTIWDR8u7weDyRmy7qThLhSe1hACFxtS3LYZ93 TfmQCR3NTojxj78G6Q64bg1eUYpDLT8KoMOCVKsLlVFtzYsHflWG2mYczDgNl6mpDt1L9gqq i1n/5pBbUJ15qWRBD8nfKl4Xic7N4jhkWSs2OwkD/tp9f0Syk9DNcEjYVFcgHB405lp91k1r lXtljpwqa/ICmw7xgV3eK4JS1Chw6xuz4vgOQTh3tQXc8Xb6JQt5UW+AdQHI0bFCz35Yg7GK 02Zfusk8p+YBefdTTUr2NvyNujUjA6GQqHWFELvoiQ3yJNlH50wkMEzIgUn2sG9pg6V55Yjt 60RphAhfVLVIsbfKh9DOAOTY++DXHMWwvFNCaILVHuBMg8SgLwQl7MkcQIDc2RCeI1JcEJ6e j8uXtjxBEPR34=
  • Ironport-phdr: A9a23:hVn1bxEt3KNet56fvKXxy51Gf4VEhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21RmVBc6CuroE07OQ7/u4HzRYoN6oizMrTt9lb1w/tY0uhQsuAcqIWwXQDcXBSGgEJ vlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfQV6Kf7oFYHMks+5y/69+4HJYwVPmTGxfa5+I A+5oAjfq8Uam4RvJro+xhfUpnZDZuBayX91KV6JkBvx6Nu88IR//yhMvv4q6tJNX7j9c6kkQ rNUCygrPXoy6MP3qxfIUBGB5mEbUmUYkxpIBxbK4RTnVZrvsSX0q/Rw1jCCMcL5Ub47VzKi7 7x2SBDzkycIKyQ58GDMhcNuiq9QvQ+sqAZ+w47QZ4GVKeZ+c6bAdt4UWWZNQsBcXDFHD4ihb YUAEvABMP5YoYfjulUOsRWwCwqwC+zg0TJHnGP60bEg3ug9DQ3L3gotFM8OvnTOq9X1Mb8fX e6owqnVyTXDa/JW2Snn54jOahwqvPSCUqxuccrQz0kkCgfLhUiUpYzmPTOVzeQAvHWe4+ZuS OmijG0nqwNqojWv28ghkZfJhoMPylDL9CV5xoc1KseiREFlfNGkDYJduieHPIR5Xs0sWXtnu DomyrIYo567ejAHxIk5yhPea/GJfJSF7w7+WeiePDt2hGxpdba+ihuy8kWtyvPxW8i13VtFs CZIlsTBum0T2hHS5MWLV/Vw80mh1zuJygvd5OZEIUUumqraLZ4s2qI/loAJvkjZGS/2gkr2g amLfUsn4uil8+vqbqn8qpOBK4N5iBvyProgl8G9G+g0LwYDU3aD9eii1bDv4UP0TbBXgvEqi abUsZXXKMQGqqKlBgJZzJgs5hW6Ajqj1NkVm2QMIUxBeBKalIjpJ0/BIOrlA/e+glWjji9my +zAM7b8GJvCNGLDn63kfbtl605T1g4zzddH6pxMFrwPJ+//VlHouNHFFhE0MBW4w+H8B9pjz I8eXn+PArOCP6PVrF+I4P8gL/OUZI8Pvzb9N+Yq6OLyjX84nl8de7Ol3ZwKaHCkGvRmJEKZY Xn2jtgdFmcKuxIyTO3siFKcTT5ef3m/U74m6j0mFI6rD53PSp6jjbGDxiu3A5Nban5eBlCJC 3jodoGEW/kWaCKVJ89sij8EVbq6S4IhyB6jrxH6y7t9Lurb+y0Ys5Pj28Jv6+LNiB4y6CR4D 8KG3G6VVWF7gnsIRyMq3KB4uUFx10+P0bJkjPxACdxT+/RJXx8mOp7b1ux2Esz9WgbcftiSU 1umWdWnATQpTt0r2dMOYkB9G8+jjh/ZxSaqDaUVxPS3A8l++aXFmnP1OsxVynDc1aBngUNsC p9EMnTjjapi/SDSAZTImgOXjfD5W74b2XuHz3qHyWuQtUccGC19T6TDFVJXJkjUton1pwmKG 7ysEukrGhVA08GDLKpDLNDlkAMVF7/YJN3CbjfpyC+LDhGSy+bUBGKLU2AU3SGGTVMBjxhW5 nGecw43GiampWvaSj1oD1PmJU32oqFlsH3uaEgywkmRalF5kaKv80sWh+fBR9sN36gLuSEgo nN5EEvul8nOBY+4rhF6NL5Zfct75V5G0WzDsAkoPZ67cqxKmF8EfAVxvkqo2hlqWc1bicZ/l Hox10JpLL6AllNMczTNxZfrJrjeMXX/5jiJQouPgBT09obT/a0CrvMlt1/koQelUFI49Glq2 MVU1H3a4YjWCA0VUtT6VUNfGwFSgbbcb2F94orV0SYpKqyoqnrZ3MpvAuI5yxGmdtMZMaWeF Qa0HddIT86pYPcnnVSkdHdmdKhb6bI0MsW6dvCHxL/jPeBumyijhHhG54Y121yF9i51QOrFl 5gfxPTQ0gyCXjb6xFCv16K/0YNGfmweNnS+0yflAo9YIKB+YMdDCGujJdG22sQrn4TkCDZT8 F+uAU9D2df8JULUNgSim1cLigJO+ib0/EnwhyZ5mDwosKeFiSnHwuC5MQECJnYOX256y1HlP YmzidkeGkmudQkg0hW/tiOYj+BWorpyK27LTAJGZS/zeithULDtupKcYtRA6ZUpuGNaXPn2M jX4Avbt5gAX1S/uBT4UxzIgKj2CpJTjkB18iWvbIXpu5imRaYR7whHR48bZTPha028dRSV2v jLQA0C1I9ij+dj8e47riumlTCrhU5RSdXKu1oacrG6g4nUsBxSjnve1k9mhEA4g0Ca92cM4H SnPqR/9ZMHs2cHYeapkfFI1CHfi6tB1G4d/m809iIxY1XUBh5qT9GYKii+vaZMCgf24NiFSA 2dQmZbc+0D91VdmL26Vyo6cND3V2cZna9SgIysX1i8788FWGfKR5b1AkzFypwnwpgbQbP5h2 zYFnKd2ridC3KdT41Vrl37HUdVwVQFCMCfhlgqF9YW7paRTPyO0dKSokVF5hZanBa2DpQdVX DD4fI0jFGl+9JYaUhqE3Xvt54XjYNSVY8gUs0jekBXb0uR9NpMrmfsMhCMhNG7g9y5AqaZzn Vl10Je2sZLSYWZv5/+1KgBZLDL0YcIavDzhkOwN1tbT1IepEJJ7HzwNV5a9VvOkHgUZsvH/P hqPGjkx+RL5UfLPWBWS40B8ozfTAoimYjuJcWIBw4woF1GNYVZSiwcOUHAmk44lQ0q0kdf5f h4chHhZ50ak+EcUjLMycUG5CiCG+U+pcmtmFMDZdUIJqFkEvwCMb4Sf9r4hQnsep8X56lTLc ivCOmEqRSkIQhDWWgqlZ+H0o4GGq6/BWKK/N6ecPO/I8LQFEa/OndX2jcNn52reb53TeCU9S aV9gg0aAhUbU4zYg2tdESVPznCUNpfJqkvkon8l6ZzvuPXzBlC17NPWWeILaIdhp0jt0/XEa 7/15m4xKC4GhMkFnSaakeFGjlBO03o8J2H1SeZS8nOUBKPIxP0NBkZCOXoqbZlGs/pnjAIVY ZaJ2JSoj9saxrY0EwkXD1W5w5PwPJVYLT3lbwHJXB7TZubBeGeDhsjzZenUpaR4tOxPrFXwv D+aFxSmJTGfj3zyUAjpN+hQjSadNRgYuYencx8rB3KxBN7hbxS6Npdwg1hUifUsgWjWMGcHL TVmW2Vki+TKqAl+0rB4EWEH6Wd5J+6ZnSrf9/PfNpsdrfpsBGJziv5e53M5jbBS6UQmDLR5l TDTodhnv1y92rXXjGM/D1wU8WkN3dnR9Ux5cb3U7JxBRWrJ8FoW4GOcBg5L79ppB9vzurxBn 9jCkKWgTVUKu9nQ/MYaG43VMJfbaDx4aUWvQmWLSlJeF23OVymXnUFWnfCM+2fAq5E7rsOpg 58SUvpAU0RzEPoGC0NjFdhEIZFtXzpin6TI6axArXe4shTVQ91X+57dUffHS/btM2uVpadFf RQJx7Lxa4kfK8eovi4qIkk/h4nMF0fKCJpVpTZ9awYvvEhX2F5XazRpnmjDOkaq6nJVEuOol BkrjAc4ef4q6Drn/1YwIBzNuTc0l04y397ihHrCFVy5ZLf1VoZQBS3uskE3OZ6uWAd5Yzq5m kl8PSvFTbZc3PNwMHpmgwjGtd5TCOZRGOdaNQQIy6jdNJBKmRxM7z+qzkhd6a7ZBIt+wUE0J IW0oSsI2ho/PoJtY/2KYvIPlh8J2+qPpnP6irh3mVdBYR5LqCTLJktq8AQJLuV0enDup7Q0r 1TEw3waJSANT6Z4/6gsrxtnfbzGl2W5jfZCMhzjarbZdvvC/TCGzYnRHTZSngsJjxUXpOAql 5t8NRLSDwd2k/OQD0pbb8OacFMMNpMA+iSLJXTc9rmdpPA9d4SlSLKyRLfX5v9N2xCqQF5yT dZLspVJH4HyghvRdZ61dedcmxtxvF+5dA3dVKYbP0/S9VVP68Cnks0t1NEEdGhEWDdzbX3st L2P/ld40r3eBZ83eilIBIJcbyBvAZTolXIB5CZOVGHvgLBelVLKqjb4om645NbUcdt5a/aSZ BoqBd2rq2xXG0mer3fyq8+bDUeqcNNot5nI9P8QoIuBB7VMV75hvkzAmo5eAXu3T2rIFt3zL J/1OdBEhTncFHegXV25ijtzQsvsbo7FEw==
  • Ironport-sdr: 67412090_7aZ63/6kbH6lUmKAUGkPteKlv2mtGpep8mCbrx2uW46Ctfz FnUHSlNy7ZTrtZYGYdJHu9L5CInQ85NsVen67kA==
  • Msip_labels:

Dear Coq-Club Colleagues:

The UVa CS Department seeks tenured/tenure-track faculty applicants, at all levels of seniority, in programming languages and/or compilers. Our official ad is posted at CRA, here: https://cra.org/job/uva-engineering-computer-science-university-of-virginia-open-rank-tenured-or-tenure-eligible-position-in-computer-science/. Please don't hesitate to let me know by responding to me (sullivan AT virginia.edu) if you or colleagues have graduating students who might be interested. If you are an accomplished senior researcher/professor who might be interested, you may let me know in confidence that we might be interested in further contact preliminary to a decision to apply formally.

Kind regards,
Kevin Sullivan
University of Virginia: UVA Provost’s Office: School of Engineering and Applied Science: Computer Science Location Charlottesville, VA Open Date September 12, 2024 Description The Department …
cra.org




  • [Coq-Club] Seeking Tenured/Tenure-Track Faculty in PL/Compilers, Sullivan, Kevin J (kjs5d), 11/23/2024

Archive powered by MHonArc 2.6.19+.

Top of Page