[Jobinfo] Fwd: [SIGSAM] Postdoc position at LIRMM, Montpellier, France : High Performance Algebraic Computing

-------- Original Message --------
Subject: 	[SIGSAM] Postdoc position at LIRMM, Montpellier, France : High 
Performance Algebraic Computing
Date: 	Wed, 15 Feb 2012 13:54:28 +0100
From: 	Pascal Giorgi <pascal.giorgi@LIRMM.FR>
Reply-To: 	Pascal Giorgi <pascal.giorgi@LIRMM.FR>
To: 	SIGSAM-FRIENDS@LISTSERV.ACM.ORG



Please distribute (apologies for multiple postings):

*************************************************
A  postdoc  position  in  computer science  at  LIRMM  (www.lirmm.fr),
Montpellier, France is available in  the framework of the HPAC project
(http://hpac.gforge.inria.fr).

Informations:
----------------
   * Duration: 12 months (possibly with a renewal of 12 months)
   * Starting date: from February 2012 till October 2012
   * Salary: 26 000 Euros  (annual net salary including  French  health
     care coverage)
   * Contact: Pascal Giorgi - pascal.giorgi@lirmm.fr

Please  send a  CV and  reference letters  by email  to  Pascal Giorgi
(pascal.giorgi@lirmm.fr) to apply for this position.

Context:
----------------
Keywords: computer algebra, linear algebra, finite fields, HPC, C/C++
programming

This  postdoc position  is  available within  the  project HPAC  (High
Performance Algebraic  Computing) funded for four years  by the french
research agency ANR under  grant ANR-11-BS02-013. The overall ambition
of   the  project   HPAC   is  to   provide  international   reference
high-performance  libraries  for exact  linear  algebra and  algebraic
systems  on  multi-processor architecture  and  to influence  parallel
programming approaches for algebraic computing.   This project gathers
researchers working on  parallel language and environments, middleware
software  engineering,   exact  linear  algebra,   algebraic  systems,
cryptology  and  symbolic-numeric  verified  computations.   The major
challenge is  the design  and implementation of  verified mathematical
algorithms with provable, adaptive and sustainable performance. LINBOX
and  FGB  are  two  international  reference  mathematical  libraries.
LINBOX offers a large panel of functionalities in exact linear algebra
and is  used by  computer algebra systems  such as SAGE  for instance.
FGB  is  the reference  for  Gröbner  bases  computations usable,  for
instance, via MAPLE.  Both libraries  are sequential and rely on exact
linear algebra  kernels. The  central goal of  the HPAC project  is to
extend their  efficiency to new  trend parallel architectures  such as
clusters of  multi-processor systems and graphics  processing units in
order to  tackle a broader  class of problems in  lattice cryptography
and algebraic cryptanalysis.

In order to  guarantee sufficient performances, the first  goal of the
project  HPAC is  to design  new  parallel building  blocks for  dense
linear algebra  over finite  fields, since they  are the core  of most
exact computations. In particular, this concerns matrix multiplication
and normal form such as the  echelon form. The purpose of this postdoc
position is to work on  the design and the implementation of algorithm
for such problems which guarantee sustainable performances on a shared
memory multi-processor  systems. A  similar work may  also be  done on
Graphic  Processor Unit  (GPU).   One  of the  difficulty  will be  to
manipulate elements of a finite  fields which possibly do not directly
map to  the native 64  bit integer representation available  in modern
processor. For instance,  one of our target is  finite fields with few
hundred of bits  size elements. Another purpose of  this postdoc is to
design new methods which take  advantage of a possible block structure
in the matrix  representation as the one arising  in the Gröbner basis
computations.

Qualifications:
----------------
The  candidate must  hold  a Ph.D  in  either computer  science or  in
computational  mathematics. He/She  must  have a  strong knowledge  of
linear  algebra algorithms  and C/C++  programming.  An  experience in
either  high performance  computing  or computer  algebra  would be  a
strong advantage to incorporate our project.

*************************************************
A pdf version of this announce is available at:
http://hpac.gforge.inria.fr/Offres/Montpellier-postdoc-HPAC-2012.pdf
*************************************************

-- 
Pascal Giorgi, Associate Professor University Montpellier 2,
LIRMM, ARITH group, 161 rue Ada, F-34392 Montpellier cedex 5 France.
tel: +33 4.67.41.86.18 web: http://www.lirmm.fr/~giorgi

*****
You may leave the SIGSAM-FRIENDS list at any time by sending a "SIGNOFF SIGSAM-FRIENDS" command to LISTSERV@LISTSERV.ACM.ORG or by visiting http://listserv.acm.org/archives/SIGSAM-FRIENDS.html.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.cg.tuwien.ac.at/pipermail/jobinfo/attachments/20120215/097a61c7/attachment.html>