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.
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell