Compiler positions available for week ending August 21

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 compilers@iecc.com.




-------------------------------


From: Ian.Stark@ed.ac.uk
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
                                        http://www.lfcs.ed.ac.uk/m+s


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


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


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


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
Scotland http://www.ed.ac.uk/~stark


-------------------------------


From: "Bret Reckard" <bret@coitstaffing.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,
etc.)
- 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
<bret@coitstaffing.com> 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"


www.coitstaffing.com
Coit Staffing, Inc.
350 Sansome Street, Suite 400
San Francisco, CA 94104


-------------------------------


Date: Tue, 16 Aug 2005 10:55:41 +0100
From: Susan Bates <susan.bates@durham.ac.uk>
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
--
Susan Bates
Secretary
Department of Computer Science
University of Durham
Science Laboratories
South Road
Durham DH1 3LE


Tel: 0191 334 1757
Fax: 0191 334 1701
E-mail: susan.bates@durham.ac.uk


-------------------------------


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


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
topics;
* Exceptional knowledge of the C++ language (and various parsing techniques)
is required;
* Product experience working on a professional grade C/C++ compiler highly
desirable;
* 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.
408-974-1502
klane@apple.com
http://jobs.apple.com

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