PostDoc Position in Security and Formal Methods

Post-doctoral Research Associate
The Center of Cyber Defense and Network Assurability
College of Computing and Informatics
University of North Carolina Charlotte

The Center of Cyber Defense and Network Assurability (CyberDNA), in
College of Computing and Informatics,
at University of North Carolina Charlotte, is announcing the
availability of a Post Doctoral position
in the area of network/system security with strong background in formal
methods such as modeling checking,
theorem-proving and logic-based reasoning approaches. The starting date
is in Jan 2010. Experience in security,
system modeling, and analysis is important. The candidate has to show
the ability to lead and initiate projects.
Active projects will include security policy verification, evaluation,
optimization and synthesis.

APPLICATION REQUIREMENTS
(1) PhD in Computer Science or related fields,
(2) Strong background in formal methods and security
(3) Ability to lead and initiate projects

APPLICATION MATERIAL/PROCESS
(1) CV (including names of at least 3 references)
(2) Selected publications related to this position in PDF
(3) Research statement and proposed projects
(4) Submit the application before by email by Jan 3, 2010 as a zip file
to Ehab Al-Shaer (ealshaer@uncc.edu ).
Applications will be processed as they are received.

For more information about my research, you may refer to
www.arc.uncc.edu . For any questions and/or
send email to Ehab Al-Shaer (ealshaer@uncc.edu ).


--
Ehab Al-Shaer, PhD
Director, Network Assurability Cyber Defense and Network Assurability (CyberDNA)
College of Computing and Informatics
9201 University City Blvd,
University of North Carolina, Charlotte, NC 28223
Phone: (704) 687-8663, Fax: (704) 687-6065
Email: ealshaer@uncc.edu --