[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
