Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Tenure Track Assistant Professor - The University of Kansas

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Tenure Track Assistant Professor - The University of Kansas


Chronological Thread 
  • From: "Alexander, Perry" <palexand AT ku.edu>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] Tenure Track Assistant Professor - The University of Kansas
  • Date: Mon, 28 Nov 2022 20:18:25 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ku.edu; dmarc=pass action=none header.from=ku.edu; dkim=pass header.d=ku.edu; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=Q8aTyOuhCgKivyObgI7rnUKK7EkrikaliowM6fpNvfY=; b=YjvjwbP0AiELWPhKt+ARyfVmSeIcaNYWM06SSsl6VecVIyN7fjOIVkIntyjUo6fITzu9EfKG2xtUvBvkOw18MW+PGu68E5tRM4IzMhJMRSSBlFsb8YB4H5gJPSlz4RWngUP1JLAXe7QIkOlN/7ppEJzFvVmyNsR0xh3DJEicvQmkWfR/Ai4CWfjBwPz2mOEnopslKDdWI3CoTyKK2xPcorbiQrKsk5DLJlrV4bVt/OigHYZV3ZfyDzBGOuVoaL5CzbU6DrLuzBHkMVYZLzZ/BdVlQCzsjFXUaR7TA8wR53C8F1gxqXYe3by2h/FnHdQNikRenufNAV7Ajpm2wB0RBw==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Uql54SUM2WkbFYQW9McVlV/s/PgaD4R9lBLfRSNYtbIDLxqN/E0YZ1/YN/tR9CqdDZHyDjs2gFYkfr9mjZFf3xXCEVOZ0JpZvcgbkZXlMlMoKqtbk4kaA1UgNBhAIy9fcakfi1xVUlyADtL5pdKJDekN70du94x2PLyM8eCfEvVpJBHOF5o9o2D+mjtS5Ks7EEfcHWcLCgcZh4OwV/HNC9/iiEwg0sgQcVR0nUepaenbMhLQs4fHkZMFZypHZcYPwWQ22gnZEbsu+NKltsZMvJlMCRapzo7VPSQLhr34hYS7w1jru2hfgi8Gp5TswXlg01isjQ69o6oq73yoHeydmQ==
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=palexand AT ku.edu; spf=Pass smtp.mailfrom=palexand AT ku.edu; spf=Pass smtp.helo=postmaster AT NAM04-MW2-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:5SQy+qn80dQWC/cLsAL6Aaro5gw8IkRdPkR7XQ2eYbSJt1+Wr1Gzt xIdDWzSa/yCY2f2ctwlaIm38BhQv8WHmtNjHgtt+SE3EFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTres1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82MyYzx8B56r8ks15q2r4mNA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1pPlE8bb0Aq9pnHFlL8 OEbOA4KYB660rfeLLKTEoGAh+wFBeyzYMY6hSslyjvUS/E7XZrEXqPGo8dC2ys9jdxPGvCYY NcFbT1ob1LLZBgn1lU/VMp4xb/3wCCnKnsB8Q/9SakfuwA/yCRp2bzgINPTdvSJWINYklvwS mfuoz2gXkhAbYz3JTyt7H2rj+yXgB3ABJsgM+eTx8Rt3XqO/zlGYPERfQDi+qLh0xTWt8hkA 0cT428lqbU43Fe6S8H0GRy+un+N+BAGM+e8CMU/4QCJj6/LuQCQAzBYSTgbMYV78sgrWTYty 1mF2cvzAiBiu6GUTnTb8aqIqTS1Om4eKmpqiTI4oRUt5OvzqtEDlkPzXstbFauojc3LHj/++ mXfxMQhvIk7gckO3qS92FnIhTOwu5TEJjLZAC2HAQpJCSspO+aYi5yUBUvzsakedN3FJrWVl D1dwZLFsLlSZX2YvHXVGL1lIV2/2xqS3NQwbbOfdqTNGhyo8n+nOIVPujd3IR81NcBeIGa0J kjOpQlW+ZlfemOwarN6aJ6wDMJsyrX8EdPiVbbfad8mjnlNmO2vo3oGia24hjGFfK0QfUcXZ cnznSGEUShyNEif5GDqL9rxKJdyrszE+UvdRIrg0zOs2qeEaXieRN8taQXQP75ntPne/l6Kr r6z0vdmLT0PAYUShQGHoOYuwawidyBT6W3e95IHLr/TeFYO9J8JUqWBkO94E2Cao0ilvryRp SrlAxUwJKvXgHzMMwKRbX5/ILr9QIxyxU/XzgR9VWtEL0MLON71hI9GL8VfVeB+qIRLkKAoJ 9FYJZToKqoVFlzvpW9HBbGj99MKSfherVnTV8ZTSGNjJMEIqs2g0oOMQzYDAwFVVXvt65du8 +X8vu4ZKLJaLzlf4A/tQKrH5zuMUbI1wYqehmOZe4EBS1am64VwNS36g9k+JsxGe12JxSKX2 0zSSV0UrPXE6d19utTYp7G2n6HwGctHH21eAzb665SyPnLk5WaN+9JLf9uJWjH/b1nK3pueS 99b9NzCFcEWvU1rttN8Gol7zKhl6NrIoaRb/zteH37KTgqKCe5KHkWvhe1y751ox+ZHiA6LR 0jUxIFrPOTQMsbcDVUxBhQpQdqB2d4QhDPTsOo5EH/h7nUm5p6Cd1tYBDiXqSlnNLAuGpgU8 eQgn8836gKElRshNOidvB1U72ihKn8hUb0tk4MzWavHq1MM4U5TR47fEQr074O/UMpNOUwUP TOkvqrOqLBCzE7kcXBoN3zy8cdCpJYJqjZY5UQjIgmXp9/7mfMH5h1d3jApRABzzB8c8eZSO HBuBnJlN5e14DZkq8hSbV+CQzgbKkWixXXw7F8VmEnybUqiDDXNJVJgH9e9xhkS9mYEcwVL+ L2d9n3ebg/rW8PPjw8SQk9ursLxQeNhrjPinN+VJOXbPp0YTwe8vIqQSzsmlx/VD/k1pnX7n shx3eMpaaTEJS8a+KI6LI+B1IUvchOPJU0cYPR9pYcMI2LQQxCp+D20M0vqUNh8F//L1k6ZC sJVOcNEUSql5huOtjw2Aa0tIad+ufwUuOo5ZbLgIFAZv4ulrjZGtIza8g78jjQJR+pCvNkcK ISLUR6/CU2V2GVpnlHSoPl+OmaXZccOYCv+1ruX9MQLD5cyj/F+Q3ot07ebv2SnDyU/xki65 Dj8Xq7xy/Bu7a9OnIG2S6VKOFiSGOPJDe+N9Fi+jsRKYdbxKvzxjgIyqGe2GyRNPLAUZcZ7q qTVjv7zw3H+negXV0L3psC/MpdntOSIcshZCMbVFEVhvDCjXZbs6iQT+mrjJp1ulshc1/adR AC5SZWRcMJMf9Jjx3FuSjN/FiwFAP/ddZbQpiKartWNBCMC0AfBEsiVyH/xYUxfdQ4KI5fbC DKoi82x59tdkptANCUEC95iHZV8Bl3pAokiSPHcqhiaCTOOrm6Zm76/iycl1y7HOkOEHOn+/ 5jBYBr0Lza2maPQyeBmo55AhQIWAFl9kNsPUBokofAusA+DDUkCMeg5GrcFAMsNkiXNibfJV AuUZ24mUSjATTBIdCvn2+vaXyCdOL0+Co+sbHhhtUaZcDy/C468EaNsvHUoqWt/fjz4ivqrM 5cC83n3JQK82YxtWf1V3PGgnON73bnP8xrkI6wmfxDaWH7ywInm1UCN2CJrfAmfT4Toqx+OI mI4A2dZXEu8VEj9V956fGJYEw0YuzWpyCg0aSCIw5DUvIDzICho1qjkI++qulEcRJ1iGVLMb Sqfq6ixD6S+2WFVtKc00z7sqbEhEuqFR6BWM4e6LTD/XMiMBqAPPN5EkCYSJC3nFMizDHuF/ gSRD7MC6Ihp5ayfNHB6CenExn6pbk8xMg==
  • Ironport-hdrordr: A9a23:erRzQ6CySBs8FbvlHegysceALOsnbusQ8zAXPh9KJCC9I/bzqy nxpp8mPEfP+VAssQIb6Km90ci7MAXhHPtOjbX5Uo3SODUO1FHIEGgA1/qq/9SDIVyYygc178 4JHMZD4bbLfDtHZLPBkWyF+qEbsbu6Gc6T5dv2/jNId0VHeqtg5wB2BkKwCUttXjRLApI/Cd 61+tdHjyDIQwVdUu2LQl0+G8TTrdzCk5zrJTQcAQQ81QWIhTS0rJbnDhmj2AsEWT8n+8ZpzY GFqX212kyQiYD19vbu7R6c032Qoqqh9jJ3Pr3BtiHSEESttu/nXvUjZ1TIhkFMnAjm0idQrD CLmWZpAy070QKtQkil5RTqwAXuyzAo9jvrzkKZm2LqpYjjSCs9ENcpv/MtTvNIg3BQxu2U/Z g7rF5xjaAnfy/ojWD4/ZzFRhtqnk27rT4rlvMSlWVWVc8bZKVKpYIS8UtJGNNYdRiKn7wPAa 1rFoXR9fxWeVSVYzTQuXRu2sWlWjA2Eg2dSkYPt8SJ23xdnWx/zUEf2MsD901wgK4VWt1B/a DJI65onLZBQosfar98Hv4IRY+tBmnEUXv3QRKvyJTcZdA60l722uDKCe8OlZ2XkbQzveQPpK g=
  • Ironport-phdr: A9a23:F0BIPxAJuuGoibeA/Av1UyQUTksY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua8xygCTFtyAtLoE07OQ7/q7HzRYoN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sI xi6twfcutcZjYd/JKs8yAbCrn9Ud+hL329lKkyfkhjm6sus4JJv9jlbtu48+cJHTaj0ZbkzQ 6ZCDDQhPWA15cnrugfGQACS+HYSUXgYnwRRDQTd4x70Qpn+si3htupgwyaaJtH5Tao1WTu58 ahmTgLjhTodOD449GHXjdFwjL5erRm8qRFz35LYbYeIP/d4Y6jTf84VRXBZU8hRSSJPH5+8Y YUMAeQGIelXoJLwqEESoRu7HwSsBP/jxiFOi3Tr3aM6yeMhEQTe0QAuA98OtGrbrdrvO6cUT O+60rPIwS3eZP1Mxzj98pLIcxAvrfqRWr9wadDeyU0xGALKlFqQr5HqMiiW1uQQqWSU8fdvV f+2hmMhtgp+rSShyN02hYnVmoIa1ErE9SNhzYg6JdC1SkB1bNy5HJVeqi2WKZZ6T80gTmxqp Ss3xb8LtIK/cSUI1Zgq2xzSZfKIfYSW/x/tVOafLDVkiH94eL+ygQu5/0anyu35TMa00VBKo zJGktnRrHwCyQHc6tWBR/Bg/UmhwS6C2g/P5u1ePEw4iajWJ4Q8zrIsi5Yfq1nPEjL2lUnuk qObd1ko9+at5uj6frnpvZ6ROop0hwz7Makhh8myDOEmPgUNWWWQ5P6y26f5/ULjRbVHlv02n bfdsJDdPckVvrK0DQhJ3oss8hqxCDep3MoBkXkAN11KZgiLj4/0O1HSO//4Cuq/g1Kxnztx3 /DGJLrhAonTIXffjLfhfLF960hGxAo00NBf+5ZUCrYGIPLwQEP+qNvYDhohPwy1xeboFsl92 5sRVG6TGKOVLb/evF2S6u4yP+WAeZUZtCvgJ/Ul//LuiGU2mV4Zfamnx5sXb3W4E+x+I0qDZ XrjnNgAHn0MvgUjV+Hqi0CCXSRNaHmvQqIw/jc7B5m+AofZWo+tmKCB3Du8HpBOe2xKEkqMH mvwd4WYR/cMbzqfLdNmkjwdTLSuV4sh1Qy1uwLh0LpmLu/U+jUCup751dh14ffTlRAo+jBuA cSdyTLFc2Yh1GgPXno92L11iU170FaKl6ZiybQMHttKovhNTw0SNJjGzuU8BcqkCSzbedLcA n+iT8WvBz08VJZ5+9IUeVc3U4G6hxTOzyOsD5cWivqGCIFiofGU5GT4O8sokyWO76ImlVRzG qOnVEWjj697rE3IApLR1l6ej+CsfLgd2yjE8CGCy3CPtQdWSl04Sr3LCFYYYEaettHl/gXaV bb7Eb0jPxtIz8KqKbYMZ9H03h1dXPm2AN3FeCqqnnuoQxOBx7eCdo3vLn0U2CjNAU4IuwMOu 3uKKFt2HT+v9lrXFycmDlfzewXs/O15/Wu8VVMxxhqWYldJ8ZOQokJQoMPGDvQZ0/QDpTsrr ChyEBClxdXKBtGcpg1nOqJBfdc651QB3mXc3+BkFrqnKa0qxlsXcgAs+ljryw0yEYJY184js HItygN2b6OeylJIMT2Cj9j2PfXMJ2/+8QrKCeae00zC0NuQ5qYE6egp41TlsgazE0M+8nJhm 9BL2nqY75/OAUIcS5X0Gkow8hF7ofndbExfr8vM3HlhIaCyvhfBxpQkCPZkghesctFDMb+VQ RfoGp5SDMyvJeo23lmxO05cerkKq+htZ5rgLqLbi8vJdK56kTmrjHpK+tV420OIrG9nT/LQm o0C27ee1xeGUDH1iBGgtNr2kMZKf2J3fCL3xC76CYpWfqA3c5wMDDLkO8Szy8V3gZLFWGMe+ VK+TQBOyIqydByeYkaolxVZ0UkHqHqrsSiliTF4jnt6y8jXlDyLyOPkeh0dP2dNT2Q3llbgL 7+/iNUCVVSpZQwk/Pe8zX7z3LMT5KF2Lm2IBFxNYzCzNGZ6FK25qruFZcdLrpIuqyReFuqmM xiWTbv0oh1S1C2GfSMW3Dk/eiGjvJnRnAE8hW6AZHp+t3vWf8hsyAyXuISaHKYOmGNeHW8h0 GSfD0P0J9Sz+NSIi5rP14L2H3msUJFea2ijzI+Nsje6+Xw/BBS+m/6pndi0WQM+0CL9y5xrT XCU9FClOtatjvzjd7s+IxoNZhe08cdxF4Bgn5FlgZgR3SNfnZCJ5T8cln+1N9xH2KX4ZX5LR DgRwteT7hK2vS8rZn+P2Y/9UW2Qh8V7YNzvKHsf3i8t5sZGIKSJqrFIgGEm6kr9tg/XbfVny 30FwP8j+Hccj8kKpUwgwjjXUdVwVQFIeCfrkRqP9dW3qq5aMX2ufbaH3017hdm9DbuGr1IUS DPjd5wlByM18tRnPQeGzijo8o+9Moq1D5pbpliOnhzHleQQNJ8hiq9Am398IWyk9Xw9l7xn1 Vo/h9fi+tDAcjgl/brlUEIAcGStOIVLvGmq1Pg7/I7e3pjzTMg7XGxTBN2wC6rvSW5atOy7Z V/WTHtg9THDX+KYRFDX6V84/SjGS8n5bijOdndFlY0wFl7BdCk9yEgVRGtoxJdhT1LznZWzf hshvWJDoQKp4hpUlLAyPkGmAD6G/VWmNm9vGsjHdEIEvEYfvyK3eYSf9rwhRSgAp8/49VXfJ DDDPFZDVTlRCB7DWgmrP6Hwt4PJq7HKX7PnffWSOe7cp7QGD6Xags/1t+kutzeKPcGSMnQwF OU11gxbR3dlFs/FmjIJDSsKiybKaM3drxC5smh+qsT1mBjycDrm/pDHS75bMNE0vguznb/GL OmIwiBwNTdf0JoIg37O0rkWmlAI2WlicDykELJIsiCoLuqYgqhMExsScD9+LuNuxodkgkxoB pSejdn4kLllkvQyFlFJE0T7nd2kbtALJGf7M07bAEGMN/KNIjiuoYm/ba6nSLJWhflZrFXs4 XDCSxClZ2za0WCwClimKqlUgTuePQBCtY31aRtrBWX5DZrnZhC9LN5rnGg2zLkz1RaofSYXN TlxdV8Ir6XFsXse260gXTUZtzw8dLTX/kTRp/PVIZsXr/ZxVyF9luYBpW8/16MQ9yZcAvp8h CrVqNdq5VCgiOiGjDR9A38s4n5GgpyGuUJ6NODX7J5FDDzc9RYA/WyWBzwJup1oBsCl6MUyg pDf0bn+LjtP6Yee5cwHG83dM96KKlIHGD+xRHvxM1FASjSmc2bCm0ZajfeesGWPqYQ3oYTtn 5xITaJHUFsyFbURDUEvT7lgaN9nGzgjl7CclssB43Gz+QLQSMtttZfCTvuOAP/rJWXRnfxea hAP27+9MZULO9ixxRl5clcj1teveQKYTZVXryZmdANxvEhd7C00UDgow0y8IgK1vC1PTbjlx FhuzFM5OLll9S+wsQtvYAOS+21o1hF2wIuA43jZcSatfvrqG9gOU2ys8RB2a8+zQh4pP1Tqw Qo4a3GcAeoW1uQodHg12lXV4cIdQKcFH6MYOEdCl7bLN5BKmRxdsnv1n0YfvLmcUMIwmldyK sz+6C4RkwN7MoxvLPSJdvMQlwpe2vrV7H/wjrhjkkhDfyNvuCuTYHBa4kVQb+t/fnP68LA0s l6Jw2MbKjpLCqNio+o0pBk0Y73Slnu5gbAfchvjObTHd/HL/DWa8KzAClI23UcVm0QX5qB43 YE7aU2IWkszzbyXURMUKc7FLgITZM1XvD3aeSLE2Q0i6ZFoeYixC7KxJQdvnIA9pxr4WSMWR cEL5MlHGYSw2kbFK8uhNKQC1Rgm+AXsIhOCEehNfxWI1jwAppPmpHeS9YpAYDwRHDclWRg=
  • Ironport-sdr: 63851798_NcwitE90yK+Uddo56y22RaFawfcP2hJZ/V0M7Anj6Qf/40U GP2FukmvTZMCL9xZYCKXzwNRyOaw+uEoGeRnv0g==

The University of Kansas (KU) Department of Electrical Engineering and Computer Science (EECS) seeks outstanding individuals for a full-time, tenure track, academic year (9-month) position in Computer Science. Successful candidates are expected to contribute to the development of academic programs and contribute to the research community. Applicants are expected to have an earned doctorate, or equivalent in Computer Science, Computer Engineering, Electrical Engineering, or closely related fields at the time of appointment. The following position is open at the assistant professor (tenure-track) level, with experience in any area related to programming languages and/or static analysis, including but not limited to: type systems; language semantics; automated software engineering; program analysis; partial evaluation; symbolic execution; and/or model checking. Application areas including high-assurance systems; resiliency; trustworthy systems; and/or secure systems are particularly desirable. Exceptional applicants in other closely related areas to the above topics may be considered.

EECS is the largest department in the KU School of Engineering with 34 faculty members and a research volume of over $6 million per year. Faculty engage in research projects across multiple areas of interest through the department, the Institute for Information Sciences (I2S), the Center for Remote Sensing and Interdisciplinary Systems (CReSIS), and the KU Medical Center. The EECS department offers undergraduate and graduate degrees in electrical engineering, computer engineering, computer science, and interdisciplinary computing. The department has approximately 750 undergraduate and 150 graduate students. This position is one of 5 new hires supported by KU's Research Rising initiative for expansion of interdisciplinary research in security and assurance.

The University of Kansas School of Engineering (SoE) and the EECS Department strongly value diversity, equity, and inclusion. In a continuing effort to enrich its academic environment and provide equal educational and employment opportunities, the university actively encourages applications from members of underrepresented groups in higher education. Please visit <https://employment.ku.edu/assistant-professor-programming-languages/23542br> to apply.




  • [Coq-Club] Tenure Track Assistant Professor - The University of Kansas, Alexander, Perry, 11/28/2022

Archive powered by MHonArc 2.6.19+.

Top of Page