Offres d'emploi en sémantique et interprétation abstraite,
Positions offered in semantics and abstract interpretation

2001:

• NIJMEGEN University
• LIX (Daedalus)
• BRICS
• Postdoc Positions at the CLIP group, Technical University of Madrid
• Post-doc scholarship at the University of Lisbon
• associate professorships (tenured) and assistant professorships (untenured) at the Technical University of Denmark
• Two Positions in Program Analysis, Trier
• 13 faculty positions at ITU, Copenhagen
• Positions at Chalmers: tenure-track to Full Professor

2000:

• Postdoctoral position in theory and practice of programming languages, The University of Copenhagen (part of the
• DAEDALUS project)
• PhD studentship at Edinburgh for October 2000, Edinburgh
• 2 postdoctoral research positions, 1 postgrad student position, Heriot-Watt University, Edinburgh
• PhD positions in the Laboratory for Foundations of Computer Science, University of Edinburgh
• PhD position in the Computer Laboratory of Cambridge University

1999:

• Trier (Assistant position in Compiler Construction)
• Utrecht (Department of Computer Science, Utrecht University)
• VERIMAG (VERIMAG, UJF)
• SAnToS (SAnToS, University of Kansas)
• LMU (Constraints Working Group, Munich)
• Oxford
• University of Southampton, Fully-Funded PhD Studentships

1998:

• Bergen (Norway)
• KAIST (Corea), see ROPAS: Research On Program Analysis System
• Karlsruhe (Germany)
• BRICS Research Centre (Denmark)
• University of Manchester (Rainbow Project
• Oxford (UK)
• The Robert Gordon University (Scotland)