[TYPES/announce] Tenure-track openings in UVM CS

[Christian Skalka]

The department of Computer Science at the University of Vermont is hiring for two Assistant Professor positions this year. We are particularly interested in candidates with strengths in static program analysis, type theory, and mechanized metatheory, especially as applied to security, privacy, and AI. Please forward to anyone who might be a good fit!

 https://urldefense.com/v3/__https://www.uvmjobs.com/postings/67991__;!!IBzWLUs!XGsEJx6wF9t13GpqdqcTZ3PYSx78Pn9oNquv2vPRqp9IqQpe0EprKfCWtJtKKzputNzs60Mu9fX5JO64Jl5dQXMtUs-E_E8nJrVN4HmRR6w$ 
 https://urldefense.com/v3/__https://www.uvmjobs.com/postings/68029__;!!IBzWLUs!XGsEJx6wF9t13GpqdqcTZ3PYSx78Pn9oNquv2vPRqp9IqQpe0EprKfCWtJtKKzputNzs60Mu9fX5JO64Jl5dQXMtUs-E_E8nJrVN0uzMd58$ 

The Department of Computer Science is a growing research hub within the University with vibrant research including complex systems, security & privacy, formal methods, computational social science, and AI/ML. The department is associated with UVM's Complex Systems Center and Center for Computer Security and Privacy, both of which are home to interdisciplinary research efforts supported by the National Science Foundation, the Department of Energy, DARPA, and corporate sponsors including MassMutual, Google, and Amazon. The department encourages and invests in research excellence among junior faculty, and two department members received NSF CAREER awards in 2023. The department has a rapidly growing graduate program, with the number of PhD students tripling since 2018.

Best,

- Joe Near and Christian Skalka

----------------------------------------------------
Christian Skalka
Professor and Chair, Computer Science
The University of Vermont
https://urldefense.com/v3/__http://ceskalka.w3.uvm.edu__;!!IBzWLUs!XGsEJx6wF9t13GpqdqcTZ3PYSx78Pn9oNquv2vPRqp9IqQpe0EprKfCWtJtKKzputNzs60Mu9fX5JO64Jl5dQXMtUs-E_E8nJrVNj3c9B8o$ 




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231122/9942bf7a/attachment-0001.htm>