The Coq mailing list

[Favonia <kbh AT umn.edu>]

Dear All,

Our department has multiple tenure-track faculty openings. One of the areas of interest is software engineering, which includes formal methods and program analysis. We are also actively considering exceptional candidates in areas such as programming languages and logic. Please see below for the official announcement:

Thanks,
Favonia

Department of Computer Science & Engineering

University of Minnesota

===

https://www.cs.umn.edu/news/cse-now-hiring-new-faculty

The Department of Computer Science & Engineering in the College of Science and Engineering at the University of Minnesota-Twin Cities is hiring to fill multiple tenure-track positions at the assistant professor level, although higher levels of appointments may be considered when commensurate with experience and accomplishments. Outstanding candidates with research and teaching interests in theoretical computer science, software engineering, human-computer interaction, spatio-temporal databases/database systems, and robotics are particularly encouraged to apply. Nevertheless, exceptional candidates with expertise in any area of computer science & engineering will also be considered.

The robotics position is in support of a University-wide initiative (MnDRIVE) on robotics, sensors, and advanced manufacturing (z.umn.edu/csemndrive). Topics of interest include machine learning; artificial intelligence; robotics, including design, manipulation, mobility, planning, algorithmic foundations, human-robot interaction; and embedded systems.

The Department of Computer Science & Engineering is fully committed to a diverse faculty because excellence emerges when individuals with different backgrounds and experiences engage. We therefore welcome applications from individuals who will further expand that diversity; women and people from other underrepresented groups are especially encouraged to apply. Candidates must have an earned Ph.D. in Computer Science & Engineering or a closely related discipline at the time of appointment.

Submit materials as described at z.umn.edu/CompSciFac333233. For full consideration, please apply by November 1, 2019; however, review of applications will continue until the positions are filled. The University of Minnesota provides equal access to and opportunity in its programs, facilities, and employment without regard to race, color, creed, religion, national origin, gender, age, marital status, disability, public assistance status, veteran status, sexual orientation, gender identity, or gender _expression_. To learn more about equity and diversity at the University of Minnesota visit diversity.umn.edu.