In Programming Languages and Verification,
our interests span theory and practice, including
semantics, program analysis, language design,
compilation, and theorem proving. Appoint-
ments in Programming Languages and Verifica-
tion will be made at the rank of Lecturer or, where
warranted, Senior Lecturer (equivalent to Assis-
tant Professor, and junior
Associate Professor, respectively, in the US
system), commensurate with qualifications.
Candidates must hold an earned Ph.D. in
Computer Science or a closely related field by
the time they begin their appointment. They
will be evaluated chiefly on the significance and
novelty of their research to date, and their promise for leading a group in a fruitful program of
research. They must also demonstrate a zest
for innovative and challenging teaching at the
graduate and undergraduate levels. A proven record of ability to manage time and evidence of
ability to teach and to supervise academic work
by undergraduates, masters, and doctoral students are desirable. Our department is a highly
collaborative environment, and we seek future
colleagues who enjoy working collaboratively.
Candidates should further be committed to public communication, and to UCL’s policy of equal
opportunity, including working harmoniously
with colleagues and students of all cultures and
Since 1973, when UCL CS became the first AR-PAnet node outside the United States, the department has been a leading centre for networking
research, as demonstrated by its long-standing
strong presence in the SIGCOMM conference
proceedings. UCL CS also is home to world-leading research in the theory and practice of
program verification, including seminal contributions in separation logic and automatic termination proving.
UCL, the third oldest university in England,
and the first to admit students without regard
for their race or creed, sits a few blocks from the
British Museum in central London, a vibrant metropolis of 8. 1 million that offers an ever-renew-ing panoply of cultural and culinary choices, and
is a budget airfare away from all of continental
Further details about UCL CS, the posts, and
how to apply may be found
All application materials must reach UCL by
the 11th of January, 2013.
We particularly welcome female applicants
and those from an ethnic minority, as they are
under-represented within UCL at these levels.
UCL Taking Action For Equality.
university of alabama in Huntsville
Computer Science Department
The Computer Science Department of the Univer-
sity of Alabama in Huntsville (UAHuntsville) in-
vites applicants for a tenure-track faculty position
at the Assistant Professor level. A Ph.D. in Com-
puter Science or closely related area is required.
Our areas of interest are Data Science and Cyber
Security & Information Assurance. We have a
strong commitment to excellence in teaching, re-
search and service. Successful applicants should
have good communication and teaching abilities,
and will be expected to develop and maintain a
strong externally funded research program.
university of California, Riverside
Tenure-track faculty position
The Department of Computer Science and Engineering, University of California, Riverside
invites applications for tenure-track faculty position beginning the 2013/2014 academic year
with research interests in systems. Candidates
in Networks, Operating/Distributed Systems and
Cyber-security are especially encouraged to apply.
Exceptional candidates in all areas will be considered. Positions require a Ph.D. in Computer
Science (or in a closely related field) at the time
of employment. While the department is primarily seeking to hire at the Assistant Professor level,
exceptional senior candidates with outstanding
research, teaching and graduate student mentorship records may be considered. Junior candidates must show outstanding research, teaching
and graduate student mentorship potential. Salary level will be competitive and commensurate
with qualifications and experience. Details and
application materials can be found at www.engr.
ucr.edu/facultysearch. Full consideration will
be given to applications received by January 1,
2013. We will continue to consider applications
received until the position is filled. For inquiries and questions, please contact us at search@
cs.ucr.edu. EEO/AA employer
university of Colorado
The Department of Computer Science at the
university of Colorado Boulder invites applications
for two full-time tenure-track positions in the areas of cyber-physical systems (CPS) and machine
learning (ML). While these positions are at the Assistant Professor level, exceptional candidates at
a more senior level may be considered.
These positions will complement existing
efforts in cyber-physical systems and machine
learning in the department and across the campus. For the CPS position, we seek candidates
with active research programs that integrate
physical systems with relevant analytic techniques; application areas include, without limitation, ubiquitous and embedded systems, robotics, bio-medical systems, smart vehicles and
network systems. ML candidates with research
programs in the areas of numerical optimization,
speech and language processing, and large-scale
learning systems are of particular interest. Candidates with relevant research programs involving
energy systems are strongly encouraged to apply
for either position.
The University of Colorado is an Equal Opportunity/Affirmative Action employer.
Application materials are accepted electroni-
For cyber-physical systems Jobs at CU post-
ing quick link: www.jobsatcu.com/applicants/
For machine learning Jobs at CU posting quick link: www.jobsatcu.com/applicants/
university of kentucky
Computer Science Department
The University of Kentucky Computer Science Department expects to hire an Assistant Professor to
begin employment in August of 2013. Candidates
must have earned a PhD in Computer Science or
closely related field at the time employment begins. Applications are now being accepted.
Review of credentials will begin immediately
and continue until the position is filled.
The department seeks to hire energetic re-searcher/educators who are interested in the application of advanced computing to challenging
and relevant problems. We favor researchers who
can collaborate to solve problems involving multiple disciplines. All areas of computing will be
considered, but database/data mining and scientific computation are a focus area.
To apply, a University of Kentucky Academic
Profile must be submitted at https://ukjobs.uky.
For more detailed information about this position, go to www.cs.uky.edu/opportunities/faculty.
The University of Kentucky is an equal opportunity employer and especially encourages applications from minorities and women.