The Coq mailing list

[Frederic Loulergue <Frederic.Loulergue AT nau.edu>]

The School of Informatics, Computing, and Cyber Systems at Northern Arizona 
University brings together expertise in computer science, electrical 
engineering, eco/environmental informatics, and bio/health informatics.

Exceptional candidates or coordinated group applications for highly desirable 
cluster hires in all SICCS areas are encouraged to apply. Specific areas of 
interest include:

·Cybersecurity, including trustworthy systems, data provenance, attack 
awareness, next-generation defensive measures, mobile and cloud security, and 
usable security;

·Heterogeneous and reconfigurable systems, including computational architectures 
and microarchitectures, hardware generation, software engineering methods, 
distributed and decentralized systems, virtualization, self-* systems and 
frameworks, and machine learning and inference;

·Cyber-physical systems, including large-scale wireless and sensor/actuator 
networks, decentralized architectures, and edge and ubiquitous computing;

·Big Data, data science, and supporting systems and architectures, including 
data mining, high-performance, networked, and cloud computing and storage, 
natural language processing, and data visualization.

Minimum qualifications include a PhD or equivalent degree in an area of interest 
by August 14, 2017. See details at 
nau.edu/Human-Resources/Careers/Faculty-and-Administrator-Openings under Job ID 
602746.