[racket] Exciting Postdoc Opportunity: Formal Correctness Methods in Parallel Computational Frameworks

From: Ganesh Gopalakrishnan (ganesh at cs.utah.edu)
Date: Sun Apr 22 19:15:32 EDT 2012

We are seeking Post-doctoral Research Fellows to work on an exciting
new project at the University of Utah, Salt Lake City, UT, USA.

The project offers unique opportunities to bring formal correctness
methods during the advancement of a computational framework called
Uintah that currently runs on CPU/GPU platforms supporting ~200K cores.

Desired Strengths:

  Formal verification methods (model-checking, run-time verification,
SMT solvers) and its applications to concurrency and parallelism, and
verification tool building experience.

AND/OR High-performance computing, platforms based on MPI, GPUs,
large-scale parallel structures, program analysis methods (e.g. static
analysis), and the ability to collaborate with an established formal
methods group.

OF SPECIAL INTEREST: Functional programming (e.g., Racket), GPU 

   Details : http://www.cs.utah.edu/fv/fv-hpc-postdoc.html

   Enquiries / Application : fv-hpc-postdoc at cs.utah.edu

[ Apologies for duplicate messages ]

Posted on the users mailing list.