Compiler positions available for week ending December 24

"comp.compilers" <>
24 Dec 2006 11:02:13 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending December 24 (2000-12-24)
Compiler positions available for week ending December 24 (comp.compilers) (2006-12-24)
| List of all articles for this month |

From: "comp.compilers" <>
Newsgroups: comp.compilers
Date: 24 Dec 2006 11:02:13 -0500
Organization: Compilers Central
Keywords: jobs
Posted-Date: 24 Dec 2006 11:02:13 EST

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


Date: Fri, 22 Dec 2006 01:37:49 -0800 (PST)
From: Satish Chandra Gupta <>
Subject: Senior System Software Engineer, IBM Rational PurifyPlus,
    Bangalore, India

IBM Rational Purify team is looking for a senior system software
engineer to
work in Bangalore, India.

Job Description:

IBM Rational PurifyPlus is
market leading runtime program analysis
tool to detect memory corruption
errors, memory leaks, performance
bottlenecks and code coverage. PurifyPlus
Bangalore team has complete
ownership of design, development and future
direction for PurifyPlus
product for AIX and HP-UX.

The candidate will be
responsible for complex system software
development, feature design and
development, defect debugging and
analysis. He/she should be able to work
independently with little
or no direction, able to schedule own time and work
to a project
timeline, mentor less senior engineers in the team. It may be
required to contribute to a cross team engineering effort.
He/she should
regularly demonstrate independent thinking and
judgment as it relates to
technical issues, and possesses
significant domain expertise.
* BE/BTech/ME/MTech/PhD in Computer Science from reputed
* BE/BTech with 4+ years, or ME/MTech with 2+ years of
* Recent PhD graduates are welcome
* Very strong C/C++ and Unix
knowledge and working experience
* Knowledge of Unix internals & assembly
programming in AIX/Solaris/HPUX/Linux
* Compiler development
knowledge/experience is a big plus

Please note the qualifications listed above are hard requirements.
The position requires excellent system programming skills and
candidates with just application development experience need NOT
apply. Please send your resume to <>.


From: Don Sannella <>
Subject: Studentships for PhD study in Informatics@Edinburgh
Date: Fri, 22 Dec 2006 15:54:07 +0000
Organization: Edinburgh University

Studentships for PhD study in
the School of Informatics at
the University of Edinburgh
- --------------------------

FIFTY research studentships are available for:

          * UK students
          * EU students
          * students worldwide

Many of these are full studentships, paying your tuition fees and a
stipend of 12600 pounds to cover living expenses in your first year,
rising in second and third years. The rest pay your fees and/or a
contribution towards living expenses. Payment of fees for non-EU
students is subject to successful competition for an Overseas Research
Student award. PhD students are encouraged to make contributions to
teaching, for example by leading tutorial groups, and for this you can
expect to earn an additional 500-1000 pounds per year.

- ----------
Informatics is the study of information and computation, in both
natural and engineered systems. It comprises a vast range of
scientific and engineering endeavour and has enormous economic and
social impact.

Edinburgh University's School of Informatics brings together the
former Departments of Artificial Intelligence, Cognitive Science and
Computer Science, together with the Artificial Intelligence
Applications Institute. The School possesses a combination of breadth
and strength unparallelled elsewhere in the UK and competitive
world-wide; as an intellectual endeavour it is strikingly original.

The School is the only university grouping in the UK to have achieved
the top 5*A rating in Computer Science in the UK government's 2001
Research Assessment Exercise round, and it is the UK's biggest
research group in this area. We currently have around 250 students
studying for PhD, and around 130 for MSc.

PhD study
- --------
PhD study is carried out within one of our six research Institutes:

        ANC: Institute for Adaptive and Neural Computation
        CISA: Centre for Intelligent Systems and their Applications
        ICCS: Institute for Communicating and Collaborative Systems
        ICSA: Institute for Computing Systems Architecture
        IPAB: Institute of Perception, Action and Behaviour
        LFCS: Laboratory for Foundations of Computer Science

ANC fosters the study of adaptive processes in both artificial and
biological systems; two themes are the study of artificial learning
systems and the analysis and modelling of brain processes. CISA
undertakes basic and applied research and development in knowledge
representation and reasoning. Through its applications institute
AIAI, it works with others to deploy the technologies associated with
this research. ICCS pursues basic research into the nature of
communication among humans and between humans and machines, using
text, speech and graphics, and the design of interactive dialogue
systems, using computational and algorithmic approaches.

ICSA seeks development of a better understanding of systems
components, both hardware and software, and their integration and
interaction; this involves not only improving their raw performance
and cost-effectiveness, but also making them more connectable and
interoperable, more reliable, more usable and more applicable. The
interests of IPAB are how to link computational perception,
representation, transformation and generation processes to external
worlds---whether real or virtual. The mission of LFCS is to achieve a
foundational understanding of problems and issues arising in
computation and communication through the development of appropriate
and applicable formal models and mathematical theories.

- -------
A very wide range of research topics is available for PhD study. Here
is an (incomplete!) list of project areas; see

for some information on each of these.

        ANC: Institute for Adaptive and Neural Computation
        Machine Learning

        CISA: Centre for Intelligent Systems and their Applications
        A Proof Management Tool
        Automating Diagrammatic Reasoning
        Improving Support for Mathematics in Mechanical Theorem Provers
        Multi-Agent Coordination in Open Environments
        Game-Theoretic Analysis of Multiagent Communication
        Argumentation-Based Ontology Conflict Resolution
        Social Algorithms
        Political Coordination Mechanisms
        A Simple Agent Programming Language
        Intelligent Agents in Service-Oriented Architectures
        Human/Robotic Task Achieving Team

        ICCS: Institute for Communicating and Collaborative Systems
        Concurrency in (Computational) Linguistics
        Lexicalized Reasoning
        Building Models of the Past
        Statistical Methods in Dialogue System Design and Adaptation
        Machine Learning for Complex Structures
        Eyetracking Corpora as Experimental Data
        Probabilistic Models of Human Parsing
        Integrating Linguistic and Visual Processing
        Dynamic Bayesian Networks for Speech Recognition
        Probabilistic Approaches to Natural Language Generation
        Probabilistic Models of Text-to-text Generation
        Robust Construction of Semantics
        Projecting Logical Forms in Parallel Corpora
        Deep and Robust Semantic Interpretation
        A Grammar of Situated Language
        Statistical Machine Translation for Biomedical Domains
        Microphone-Array Based Speech Recognition
        Language Models for Multiparty Conversations
        Hidden Speech Production Models
        Multimodal Information Access
        Head Motion Synthesis for Lifelike Conversational Agents
        Multi-Unit Acoustic Models for Speech Recognition
        Induction of Wide-Coverage Categorial Lexicon from Large Amounts of
Unlabeled Text
        Use of Intonation in Spoken Language Generation for Human-Machine
        Temporal Semantics
        Grammar-Driven Language Models
        Automated Musical Analysis
        The Statistical Semantic Web
        Extracting and Using Alternatives in Question Answering
        Projecting Discourse Annotation from Parallel Corpora

        ICSA: Institute for Computing Systems Architecture
        Speculative Parallelisation for Multiprocessors
        Cellular Multiprocessors
        Skeletal Parallel Programming
        Noise-Tolerant Asynchronous Circuits
        Data-Dependent Processing for Energy-Aware Systems
        Top-down Testability for Self-Timed Circuits
        Micro-architectural Solutions for Fault-Tolerance
        Delay Fault Testing of Self-Timed Circuits
        Dynamic Spectrum Access in Heterogeneous Wireless Network Environments
        Cross-layer and Coding Techniques for Reliable and Efficient
Wireless Networking
        Low-cost, Robust Networking and Applications for Developing Regions
        Compilers that Learn to Optimise
        Processor Design
        Reconfigurable Caches
        Searching the Embedded Program Optimisation Space
        Automated Synthesis of Architectures and Compilers
        Energy and Area Modelling for Architecture Synthesis
        Microarchitecture Synthesis for Embedded Architectures
        Low-Power Multi-Threaded Architectures
        Reconfigurable Data-Parallel Structures for Embedded Computation

        IPAB: Institute of Perception, Action and Behaviour
        Behaviour Composition in Video Sequence Analysis
        Temporal 3D Model Recovery and Representation
        Insect Robotics

        LFCS: Laboratory for Foundations of Computer Science
        Engineering Electronic Proof
        Independence-Friendly Temporal Logic
        Questions on Modal mu-Calculi
        Archiving of Scientific Data
        Integrity Constraints for XML and Beyond
        Keys for XML
        Provenance in Databases
        Information Preserving Schema Mapping
        Vectorizing XML
        Randomized Algorithms for Transportation Polytopes
        Complexity of Approximate Counting
        Algorithmic Verification of Recursive Probabilistic Systems
        Schema-Directed XML Publishing
        A Security Model for XML
        XML Query Languages
        Data Cleaning
        Schema Matching, Mapping and Embedding
        Partial Evaluation and Distributed Query Processing
        PEPA Nets: Modelling Mobile Systems
        Performance Modelling with Process Algebras
        Computational Models for Systems Biology
        Combining Model Checking and Theorem Proving
        Data Exchange
        Databases and Verification
        A Logic of Computational Effects
        Algebraic and Logical Foundations of Formal Software Development
        Proof Carrying Code for the Grid
        Security for Mobile Devices
        Topological Models of Computation
        Constructive Set Theories and their Applications
        Proof Theory for Programs and Processes
        Type Systems for Computational Effects
        Mathematical Models for Concurrent and Mobile Computation
        Modalities for Name Generation: Logic, Proof and the Meaning of New
        "Bad Smells" in Code
        Combinations and Abstractions of Formal Games
        Decision Procedures for Higher-Order Grammars
        Links: Web Programming, Faster, Better, Cheaper

Further information
- ------------------
Information about graduate study, the School of Informatics, the
University as a whole and the city of Edinburgh is available from:

You can email queries to our Graduate Secretary at:

and queries about the research topics above to individual members of
teaching staff. Application forms are available from:

Your application form should be returned by mid-March. Earlier
applications have access to a wider range of sources of financial aid.
Applications for an Overseas Research Student award must be completed
by mid-February at the latest. Chinese applicants who are interested
in funding from the China Scholarship Council should apply by 19th
January at the latest.

Post a followup to this message

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