Compiler positions available for week ending August 21

"comp.compilers" <>
24 Aug 2005 18:16:31 -0400

          From comp.compilers

Related articles
Compiler positions available for week ending August 21 (comp.compilers) (2005-08-24)
Compiler positions available for week ending August 21 (1994-08-21)
| List of all articles for this month |

From: "comp.compilers" <>
Newsgroups: comp.compilers
Date: 24 Aug 2005 18:16:31 -0400
Organization: Compilers Central
Keywords: jobs
Posted-Date: 24 Aug 2005 18:16:31 EDT

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
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


Subject: Research positions in Mobility and Security at Edinburgh
Date: Mon, 15 Aug 2005 17:54:43 +0100
Organization: Edinburgh University

                                  FOUR research positions available

                      Laboratory for Foundations of Computer Science
                                              School of Informatics
                                            University of Edinburgh

                                          Mobility & Security group

                                    Closing date: 30 September 2005

Following on from the successful "Mobile Resource Guarantees"
project, the Mobility & Security group at Edinburgh has four
research positions available, lasting from one to three years, in
two new projects working with proof-carrying code in Java.

  - Mobius: a European collaboration developing technologies to
      support trust and security in the next generation of global

  - ReQueST: an EPSRC-funded project to equip e-Science applications
      with formal proofs of their requirements for memory space and
      processor time.

Both projects will involve working with Java, the Java Modeling
Language JML, logics for Java bytecode, and automated theorem
proving tools. Activities will range from theoretical research to
prototype implementation, with considerable scope for international

We seek applicants with a strong background in computer science, in
particular the following areas: program logics and proof systems;
formal methods; type systems and static analysis; semantics of
programming languages; compilation techniques; mobile code; embedded

Candidates should have either a PhD or equivalent research
experience. Please note that these are fixed-term positions,
associated with specific funded grants.

      Further details:
      Vacancy reference: 3004893 at

Please apply online, using the links above; the closing date for
applications is 30 September 2005. These positions are available
immediately and we encourage applicants to apply early.

For informal enquiries, contact Ian Stark at the address below.

Dr Ian Stark Office: JCMB 2506
School of Informatics Tel: 0131 650 5143
The University of Edinburgh Fax: 0131 667 7209
James Clerk Maxwell Building
King's Buildings, Mayfield Road Email:
Edinburgh EH9 3JZ


From: "Bret Reckard" <>
Subject: Senior Software Engineer, Query Compiler - (Mountain View, CA, recruiter)
Date: Mon, 15 Aug 2005 13:34:27 -0700

My client is building a platform for intelligent processing of very large
volumes of data in real-time. The technology is based on cutting edge
research conducted at Stanford University, and its product (beta version) is
currently being evaluated and praised by some of the best-known technology
companies in the United States. The firm is located in Mountain View and is
currently in stealth-mode. The position will have a heavy SQL focus, though
they will look at candidates with Java or C++ compiler development skills.

Senior Software Engineer (Query Compiler)

- Experience with designing compilers for query languages (SQL, XQuery,
- Experience with designing query and pattern languages
- Experience with semantic analysis
- Experience with optimizations
- Strong knowledge of C++
- Experience with Antlr (Nice to Have)
- 6+ years of experience
- U.S. Permanent Residents only

For immediate consideration for this position; please send an email to
<> which includes a Word copy of your resume along with
details of your future availability for a phone screen interview. Thank you
for your time.

Best of luck,

Bret Reckard
Recruiter/Account Manager

Toll Free: (800) 897-5058 ext. 410
Main Line: (415) 433-COIT (2648)
Fax: (415) 433-2660

"Teamwork Makes the Dream Work"
Coit Staffing, Inc.
350 Sansome Street, Suite 400
San Francisco, CA 94104


Date: Tue, 16 Aug 2005 10:55:41 +0100
From: Susan Bates <>
Subject: Lecturership in Computer Science, University of Durham UK

The Department of Computer Science at the University of Durham is
advertising for a Lectureship available from 1 October 2005 or as soon
as possible thereafter to candidates with a high research portfolio or
demonstrable potential of such. Candidates should have research
interests related to those of the Department. Appointment will be made
on the Lecturer A or Lecturer B scale depending on individuals'
qualifications and current level of experience.

Closing date: 21 September 2005

Vacancy Reference Number: 0956

Further details of the post and an application form are available on the
University's website ( or telephone 0191 334 6499;
fax 0191 334 6495
Susan Bates
Department of Computer Science
University of Durham
Science Laboratories
South Road
Durham DH1 3LE

Tel: 0191 334 1757
Fax: 0191 334 1701


Date: Thu, 18 Aug 2005 15:08:44 -0700
Subject: Job at Apple Computer (Santa Clara CA)
From: Kevin Lane <>

Company: Apple Computer, Inc.
Title: Senior Compiler Engineer

Location: Santa Clara Valley, California

The Xcode tools team is focused on providing progressive tools for software
development. We are looking for a compiler engineer to design and implement
a fast, adaptive C++ parser.

As a key member of the team, you will develop parsing tools to support
source code analysis, re-factoring, browsing, and navigation.
This is a great opportunity to join a high impact team crafting language
tools using modern object-oriented design principles.
The job requires close collaboration with the Xcode IDE team to resolve
integration and performance issues.

* BS/MS in Computer Science and/or hands-on industry experience on related
* Exceptional knowledge of the C++ language (and various parsing techniques)
is required;
* Product experience working on a professional grade C/C++ compiler highly
* Familiarity with object-oriented concepts, design patterns, and
implementation issues;
* Must be self-motivated, creative, team-oriented and have excellent
communication skills;

Kevin Lane
Staffing Specialist
Apple Computer, Inc.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.