coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] We're hiring faculty in software engineering, broadly construed

From: "Sullivan, Kevin J (kjs5d)" <kjs5d AT virginia.edu>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] We're hiring faculty in software engineering, broadly construed
Date: Thu, 14 Oct 2021 14:00:32 +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=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=qjVKJZa0x6w33pbyuR+bYvbvTtXCX+BvxJyZuSlSOCM=; b=FZEWK5KBmBn1E2oZ7fmIcQxl+8hxjm9h5dbG+gVSMzdfuvromZ8/RZvNgESM9u27JW9DMqSFULXhyfg/JcwakV7pwBib12Tl7HKRZK9A2eo4SqI7ypQ6d9HRlo24CuKVIvmjNunkyTQ/UCpwKDosBiQfxseAmIAHB7myh9BSjdNjjbP0w9qNfgInU42a2TTTkuxT7SE01TNov6+hZzOPLaH4pDzxxurVWm08f3seO9cTXu3hBXm+Jg7g656fDjDioh4obyMhxFbGefqNR1H9K1bmZajTlw2fIZb/nF/PjKyJW1tCsBsIruo3UeSyBhDOdneD5u+HJYYvEXUmQGzLgQ==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jbRxTk8tseTyMG0ZiNZqgoZwDCU4TP6n6s/6E3CoSvc18SOzGi6lm1CrOS+X0FzaL1tLqsIE/EFtPCj0xW+nSVo3VzbcfpBwOVSnvxmGy436GF8ksodinIm19aBfqd8J1ICp4k258mDAnNYvSNmFTQN2RNDGSL2joPAjZ9VUT3NaESNhngKwGeed315KuMeMrG96ViQPAvljjE/AUa5MMu/75E4cJ0Wo+1kw2ytjPWV4TlvZTgHp6bXkeggHlCriSj40pgXM9XUFpLbO0tsq/0MylHMBvq0W1ZKYMs+LxXzlZpudssaDG5xIFeMv/Febn+nnUU8qp+XjBuNv4n32KA==
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-DM6-obe.outbound.protection.outlook.com
Ironport-hdrordr: A9a23:WepSZqHA6LuTqSqWpLqFzJHXdLJyesId70hD6qm+c20eTiX4rbHioB11726DtN98YgBWpTnEAtj1fZqez+873WEpVY3SEjUO21HYXr2Kj7GSigEIQBeOj9K1vJ0IG8JD5cXLZmSSz/yKlTVQdexQjOVvm5rYzds2oU0dBj2DNMlbnmVE48WgYzxLrct9dOQE/Vanl7p6jgvlXVk+UYCDHX8OU/LYq9CjruOcXTc2QzoLwDbLtj+z9LvmeiLopiv3RF50oYsKwCzgviH+4biKqPu7ygDRvlWji6h+qZ/E5/pOAcrksKkoAwSpriuNbIRlW7qN+BU0uvzH0idMrPD85zMMGf020H/fXkzdm3fQ8jil9BsJ8H/tyVjdq33+ptHjVFsBeql8rLMcVjbj504nod1d6ctwsV6xht5yICn4s2DH68LVUgwCrCWJSd5Jq593s5WXa/psVFfxxrZvmn+9CK1wYx4S8rpXatVGPYXn/f5TNWqAaXrUpHNizbWXM0jb8i32PnTqpPblrgRroA==
Ironport-phdr: A9a23:a5IYLRFDr2pLCH3EX8cSjZ1GfwJLhN3EVzX9CrIZgr5DOp6u447ldBSGo6k31BmYBM6GtLptsKn/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys55HfeQFFiCeybb5yLhi9sBncuNQRjYZ+MKg61wHHomFPe+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4TadFDDs9KGA6+NfrtRjYQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0yVD+/7alkVQXohT8HOTAn7W/XlsJ+gqFVoB2juxNwzJXZb5uJOPZiZK7RYc8WSXdHU81MVyJBGIS8b44XAuYPIOhYso39p18PrRugHwasAvvjwSJNiHDow6060uIhGhzC0gc9G94Os3bUrM71OagPVOy5wrTDwDLAb/NUwjfw6JXHfws/ofGNR7JwfsvRyU8uFwzflFmft5HqPy6M2+kLrmOU4PZuW/i1hG47twF+vCKvxsE0h4TGmI8bxVDK+TlkzIopO9G1SVJ3bMKrHZdMuC+XNJd7T8AtTmxmtig3yrkLtJy/cSYFzJkqxQPTZfyZf4aI/x/uUvuaLzl/hHJgYr2/hhCy/FClyuz8WMi010xKrilYndbWtnEN1RvT5dOcSvdn4kih3jOP2gbO4e9HOUA5jaXWJ4I7zrItipYes17PEjH5lUj4lqOaa1ko9+aw5+j5Y7jqupGROopphg3iKasjm8myDv4kPgUAWmWX5P6z2bLm8ED8XblGkvs7mbTDvp/AP8QUvKu5DhdV0ok97xa/CC+r3swEkHcAMV5JZguLgYbuNVzPOfz4CuywjEq2nDds2vDGIqbuApLQLnjFjbjtZ65961RbyAov099Q+45UCrAGIPL1QEPxs8HYDgM9MwyzxObnC89x2Z8ZWWKKGqOZMaXSvkGU5u83LOSAeJUZtCvhJ/Un/fLik3A0lFEHcaW0wZcaZmi0HvF8LEWYZXrsjM0BEWAPvgcmT+zqikaCXD5OaHupQaI85ys7CI2nDYfFR4CimqaN0zmmEZ1LfmxGEEyDEW/0d4WYXPcBcD6dIsh4kjAdSbehT5Ih2gq1uQ/hy7tnK/LU9TcCuZLi0th1/ezTmgso+Tx6FcTOm12KGit/mXpNTDsr1oh+p1Z8wxGNy+Iw1/dfDJlY4+5DegY8L5/VieJgXYPcQAXEK52yVVKiQ8uvB3V5bd8vwtlGQQ49GNe50xyClWL+AL0OyrCjGp0u/aPa3nG3KspgnSWVnJI9hkUrF5McfVatgbRyolC772/htWy8zvzvWYFCmSnH+SGE0HaEu1xeXEhoS6LZUHsDZ0zQ69Pk+kfFSLzoArMiYFIpISuqNKpQZdzvjFwASfv+aoy2i42ZhWaqCheOx7rKYYb3KTx14Q==
Suggested_attachment_session_id: f075d9c5-bd56-f104-4ccf-ccc59ed9df74

Dear Coq-Club:

The University of Virginia Department of Computer Science is hiring. We have five open slots for tenure-track positions, at all ranks, including in software engineering, broadly construed. We are interested in work in formal methods, including type theory and its applications, among other topics. I'm running the software engineering component of the search. If you, your students, or others you know of might be interested, please (1) tell me about them so that I can reach out to them, (2) feel free to reach out to me for information beyond that in the short ad that I have copied below. It includes a link to our full ad. Very kind regards to all,

Kevin Sullivan

Title: Five Tenure-Track Faculty Positions in CS at the University of Virginia

The Department of Computer Science at the University of Virginia seeks 5 tenured or tenure-track faculty at all ranks with preference given to Artificial Intelligence and Machine Learning, Cyber-Physical Systems, Software Engineering, Systems, and Theory. Qualifications include an outstanding record of scholarship, an awarded or expected doctorate by the start date in computer science or equivalent, and a commitment to student mentoring, undergraduate and graduate teaching excellence, diversity, and professional service. Rank is dependent upon experience and qualifications.

Review of applications will begin on December 1, 2021
Please apply online at https://uva.wd1.myworkdayjobs.com/en-US/UVAJobs/job/Charlottesville-VA/Open-Rank-Faculty-Position-in-Computer-Science_R0028993

[Coq-Club] We're hiring faculty in software engineering, broadly construed, Sullivan, Kevin J (kjs5d), 10/14/2021