Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position in formal methods, Enschede (The Netherlands)

The research group Formal Methods and Tools at the University of Twente (Enschede - The Netherlands) is looking for a PhD researcher (4 years) to work on the EU Strep project CARP (Correct and Efficient Accelerator Programming), funded by the European Union.

The PhD student will be a member of the Twente Graduate School in the research programme 'Dependable and Secure Computing' under the leadership of Prof Dr Jaco van de Pol. Within the context of the CARP project, the PhD student will work in particular on:
- requirements analysis for accelerator programming
- the formal semantics of an intermediate programming language for describing accelerator algorithms
- developing logic-based verification techniques for this intermediate programming language, taking into account common accelerator programming patterns

Starting date of the position: December 1st, 2011, or as soon as possible thereafter. Please submit your application before 15th of November, 2011. For more information, see http://fmt.cs.utwente.nl/vacancies/ or http://www.utwente.nl/vacatures/en/.

Please note that this newsitem has been archived, and may contain outdated information or links.