Open faculty positions in Formal methods, Compilers and Software Engineering

I would like to bring to the attention of Types and Concurrency mailing
lists members the availability of two faculty openings at NC State 
The formal announcement is given below.


		   North Carolina State University
		    Department of Computer Science
			  Faculty Positions

The Department of Computer Science at North Carolina State University
seeks to fill two tenure track faculty positions starting Aug 15, 2004
in the related areas of Formal methods, Software Engineering,
Programming Languages and Compilers.  While the department expects to
hire faculty predominantly at the Assistant Professor level,
candidates with exceptional research record could be considered for
senior level positions.

Candidates with strong research backgrounds in all subareas of
Software Engineering, Formal methods, Programming Languages and
Compilers are invited to apply, including candidates with research
experience in mostly theoretical aspects or mostly practical aspects
of these areas.  It is expected that the chosen candidates will add to
and/or complement our current strengths in Requirements Engineering,
Extreme Programming, Software Reliability, Compilers for embedded,
scalar and parallel systems, Software model-checking, Concurrency
Theory and Security.

Research in the Department of Computer Science at NC State is
sponsored by ARO, AFOSFR, DARPA, DOE, NSF, ABB, Cisco, Ericsson,
Fujitsu, IBM, MCNC, Nortel, NSA, and the State of North Carolina.  The
Department is in a period of rapid growth and advancement (more than
half of our tenure-track faculty joined us during the last ten years)
and aims to build a highly reputable and strong research program in
Computer Science.

The University is located in Raleigh, which forms one vertex of the
Research Triangle Park. The Research Triangle area was recently
recognized as one of the best place to live in the U.S.  It also
boasts of a high concentration of high technology companies.  In
addition to the historical campus, the department occupies substantial
space on NCSU's new Centennial Campus, an innovative co-location of
university and industrial labs that intentionally fosters close
collaboration.  The State of North Carolina recently passed a major
bond initiative that includes $83 million for a new engineering campus
on Centennial Campus.  A new 90,000 sq.ft. $36 million Computer
Science / Electrical and Computer Engineering building is currently in
the design stage.  Interested candidates should send their CV and
names of four references, preferably before January 15, 2004, to:

Faculty Recruitment Committee
Department of Computer Science
North Carolina State University
Raleigh, NC 27695-8206
by e-mail to faculty_search  AT csc.ncsu.edu

Candidates can obtain further information about the department and its
research programs at the Department's homepage
http://www.csc.ncsu.edu/.  Specific information about the advertised
positions can be obtained via email faculty_search AT csc.ncsu.edu.

NC State is an Equal Opportunity, Affirmative Action
employer. Individuals with disabilities desiring accommodations in the
application process should contact the Computer Science Department at
NCSU at (919) 515-2858.

S. Purushothaman Iyer		EMail: purush@csc.ncsu.edu
Professor of Computer Science	URL: http://www.csc.ncsu.edu/faculty/iyer
NC State University		Tel: +1 919 515 7291
Raleigh, NC 27695-8207		Fax: +1 919 513 1895