|Compiler positions available for week ending August 21 firstname.lastname@example.org (comp.compilers) (2005-08-24)|
|Compiler positions available for week ending August 21 email@example.com (1994-08-21)|
|Date:||24 Aug 2005 18:16:31 -0400|
|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 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 firstname.lastname@example.org.
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
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: http://www.lfcs.ed.ac.uk/m+s/posts
Vacancy reference: 3004893 at http://www.jobs.ed.ac.uk
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: Ian.Stark@ed.ac.uk
Edinburgh EH9 3JZ
From: "Bret Reckard" <email@example.com>
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
<firstname.lastname@example.org> 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,
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 <email@example.com>
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 (https://jobs.ac.uk) or telephone 0191 334 6499;
fax 0191 334 6495
Department of Computer Science
University of Durham
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 <firstname.lastname@example.org>
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)
* Product experience working on a professional grade C/C++ compiler highly
* Familiarity with object-oriented concepts, design patterns, and
* Must be self-motivated, creative, team-oriented and have excellent
Apple Computer, Inc.
Return to the
Search the comp.compilers archives again.