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: EITHER Formal verification methods (model-checking, run-time verification, SMT solvers) and its applications to concurrency and parallelism, and verification tool building experience. 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 programming. Details : http://www.cs.utah.edu/fv/fv-hpc-postdoc.html Enquiries / Application : [email protected] [ Apologies for duplicate messages ] -- ------------------------------------------------------------------------------ For Developers, A Lot Can Happen In A Second. Boundary is the first to Know...and Tell You. Monitor Your Applications in Ultra-Fine Resolution. Try it FREE! http://p.sf.net/sfu/Boundary-d2dvs2 _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
