The PARIS research group at Ghent University has received a 4-year grant from the Fund for Scientific Research - Flanders (Belgium) to do joint research with IMEC into the use of compiler technology to work around memory defects caused by process variability. The ultimate goal of this research is to improve the processor fabrication yield by including compiler capabilities in the validation and testing process. A more detailed description of the project can be found in http://www.hipeac.net/system/files/PhDVAPOR_eng.pdf.

The Operating System/Computer Architecture Interface Group at Barcelona Supercomputing Center has an opening for a 3-year post-doc position. In this group currently we are involved in projects with several processor companies as well as several European projects. For a complete list of publications of the group in the last years, please visit: http://personals.ac.upc.edu/fcazorla/

The objective of this position is to research on the field of the interaction between the processor architecture and the operating system for future multithreading processors. In particular the candidate will focus on the area of High-Performance Computing (HPC) applications. In short, the position is intended for a computer systems researcher, to provide coordination for a team of PhD students and to develop new ideas.
We are looking for motivated individuals who have knowledge on: operating systems mainly in the job scheduling part, computer architecture, performance analysis, multithreading and multicore architectures and real-time systems.

If you are interested in applying, please visit: http://www.bsc.es/job.php?j_id=128

This is an opportunity to work on a funded research project
at Edinburgh University, in which we are investigating new
ways to synthesise and customize architectures using machine
learning and design-space exploration.

The post is available immediately, and is tenable for one year
initially (may be extended).

This is an opportunity to work on a funded research project
at Edinburgh University, in which we are investigating new
ways to synthesise and customize architectures using machine
learning and design-space exploration.

The post is available immediately, and is tenable for one year
initially (may be extended).

The newly-formed Computer Architecture Group at Microsoft Research Redmond has an opening for a post-doc position. We are interested in fundamental research in all areas of computer architecture, especially in hardware-software interaction. We are looking for talented and motivated individuals who have a passion for computer architecture and want to expand their experience in an academic environment with close interaction with product groups. You can find more information about our
group at http://research.microsoft.com/arch/

If you are interested in applying, please send your resume to Onur Mutlu at onur@microsoft.com.

The Chair for Programming at the University of Passau is seeking a doctoral student or postdoc on a state-funded position, starting on 1 January 2008.

The research activities of the Chair for Programming are in the area of domain-specific programming, in particular, for parallel architectures and software product lines. The candidate is supposed to participate in an EU network of Excellence on the generation, compilation and optimization of programs for on-chip multiprocessors (MPSoCs). One of the Chair's hallmarks is the loop parallelization project LooPo, which can serve as a starting point for this work.

The duties of the post consist of research and 5 hrs/week teaching. A small proportion of administrational and representational duties
for the chair group is also expected. Candidates should have an interest in program generation, parallel systems and hardware. Fluency in English and good knowledge of German are required. The position is initially available for a term of two years and is renewable for another two, possibly three years. After

Positions: Three (3) Postdoctoral Research Fellows in Computer Systems
and Computer Architecture

Institution: Institute of Computer Science (ICS)
Foundation for Research and Technology - Hellas (FORTH)

Application deadline: 30-Nov-2007

Start date: Immediately

Duration: minimum 1 year, typically 2-3 years

Location: FORTH-ICS, Heraklion, Crete, Greece

We are actively looking for qualified candidates to join our research group as research scientists
and/or post‐doctoral researchers. Currently, we have several exciting research projects running, in
the field of high‐end computing:
• Parallel Architectures
• Parallel Programming
• System Software (parallelizing compilers, run‐time libraries, etc.)
• Tools for Parallel Programming
• Hardware Design/Verification
The positions are associated with a unique opportunity to work directly with a state‐of‐the‐art
peta‐flop scale (and beyond) architecture. As an example of the high‐quality research work
inspired by this project, see our recent ACM ISCA ‘07, SPAA ‘07 and PACT ‘07 publications
at http://www.capsl.udel.edu/, Architecture and Parallel Systems L

Postdoctoral position - Interconnection Networks/Computer Architecture

Applications are invited for a position as a Post. Doc. connected to the ICON research project. ICON conducts basic research on interconnection networks, which operate on short distances ranging from on-chip networks to the interconnection of clusters. We develop methodologies and solutions for a robust and flexible interconnection of networked components, where we aim to impact the way networked servers, server-clusters and on-chip networks are built and utilized. ICON takes part in collaboration projects both with major industry players and other respected research groups within this community. More information about the group is available at http://www.simula.no/ICONPRO.

Cadence Berkeley Labs is a research wing of Cadence Design Systems, the leading Electronic Design Automation solution provider. We are seeking Ph.D. level candidates to perform original research in the areas of software and system-level synthesis and verification. We are particularly interested in candidates with skills in the following areas:

• program analysis
• compilers
• system-level modeling, analysis, and synthesis
• model checking and related formal techniques
• testing