|Compiler positions available for week ending December 27 firstname.lastname@example.org (1998-12-27)|
|Date:||27 Dec 1998 12:53:53 -0500|
This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to email@example.com.
From: Matt Dwyer <firstname.lastname@example.org>
Subject: PhD Studentships in Program Analysis (Kansas)
Date: Wed, 23 Dec 1998 12:18:49 -0600
Organization: Kansas State University
The Laboratory for Specification, Analysis and Transformation of
Software (SAnToS) at Kansas State University announces openings
for several funded Ph.D. studentships for Autumn 1999.
The laboratory consists of 5 faculty members, Matthew Dwyer, John
Hatcliff, Michael Huth, David Schmidt, and Allen Stoughton, as well
as several visiting and post-doctoral researchers, doctoral and masters
The lab's research is devoted to theory and application of such topics
as program logics, static analysis, semantics, abstract
interpretation, partial evaluation, and model checking.
Current projects include:
- Development and application of a common framework for expressing
data-flow analyses, abstract interpretations, and model checking,
where temporal logic is used as the common language for discourse.
- Application of partial evaluation to naive static analysis algorithms
so as to generate useful implementations of slicing, code inlining,
flow analysis, etc.
- Design and implementation of tools for compiling Java source code to
abstracted transition systems that can be used by non-formal methods
experts to model check rudimentary safety properties.
- Comparative empirical evaluation of existing approaches to finite-state
verification to characterize effectiveness of automated
verification with regards to classes of systems and correctness
The lab has strong ties to both the programming languages and software
engineering research communities. Laboratory members, including
students, actively participate through publication, presentation, and
committee membership in top international conferences.
Students with interests in either foundational or systems aspects of
program analysis will find the lab an excellent place to further their
studies and are encouraged to apply.
For more information about the work in SAnToS, consult the web-site
For information about application for advanced degree studies, see
phone: (785) 532-6350
fax: (785) 532-7353
post: Department of Computing and Information Sciences
Kansas State University
Manhattan, KS 66506
Return to the
Search the comp.compilers archives again.