<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<br>
<br>
-------- Original Message --------
<table class="moz-email-headers-table" border="0" cellpadding="0"
cellspacing="0">
<tbody>
<tr>
<th align="RIGHT" nowrap="nowrap" valign="BASELINE">Subject: </th>
<td>[SIGSAM] Postdoc position at LIRMM, Montpellier, France :
High Performance Algebraic Computing</td>
</tr>
<tr>
<th align="RIGHT" nowrap="nowrap" valign="BASELINE">Date: </th>
<td>Wed, 15 Feb 2012 13:54:28 +0100</td>
</tr>
<tr>
<th align="RIGHT" nowrap="nowrap" valign="BASELINE">From: </th>
<td>Pascal Giorgi <a class="moz-txt-link-rfc2396E" href="mailto:pascal.giorgi@LIRMM.FR"><pascal.giorgi@LIRMM.FR></a></td>
</tr>
<tr>
<th align="RIGHT" nowrap="nowrap" valign="BASELINE">Reply-To:
</th>
<td>Pascal Giorgi <a class="moz-txt-link-rfc2396E" href="mailto:pascal.giorgi@LIRMM.FR"><pascal.giorgi@LIRMM.FR></a></td>
</tr>
<tr>
<th align="RIGHT" nowrap="nowrap" valign="BASELINE">To: </th>
<td><a class="moz-txt-link-abbreviated" href="mailto:SIGSAM-FRIENDS@LISTSERV.ACM.ORG">SIGSAM-FRIENDS@LISTSERV.ACM.ORG</a></td>
</tr>
</tbody>
</table>
<br>
<br>
<pre>Please distribute (apologies for multiple postings):
*************************************************
A postdoc position in computer science at LIRMM (<a class="moz-txt-link-abbreviated" href="http://www.lirmm.fr">www.lirmm.fr</a>),
Montpellier, France is available in the framework of the HPAC project
(<a class="moz-txt-link-freetext" href="http://hpac.gforge.inria.fr">http://hpac.gforge.inria.fr</a>).
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 - <a class="moz-txt-link-abbreviated" href="mailto:pascal.giorgi@lirmm.fr">pascal.giorgi@lirmm.fr</a>
Please send a CV and reference letters by email to Pascal Giorgi
(<a class="moz-txt-link-abbreviated" href="mailto:pascal.giorgi@lirmm.fr">pascal.giorgi@lirmm.fr</a>) 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:
<a class="moz-txt-link-freetext" href="http://hpac.gforge.inria.fr/Offres/Montpellier-postdoc-HPAC-2012.pdf">http://hpac.gforge.inria.fr/Offres/Montpellier-postdoc-HPAC-2012.pdf</a>
*************************************************
--
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: <a class="moz-txt-link-freetext" href="http://www.lirmm.fr/~giorgi">http://www.lirmm.fr/~giorgi</a>
*****
You may leave the SIGSAM-FRIENDS list at any time by sending a "SIGNOFF SIGSAM-FRIENDS" command to <a class="moz-txt-link-abbreviated" href="mailto:LISTSERV@LISTSERV.ACM.ORG">LISTSERV@LISTSERV.ACM.ORG</a> or by visiting <a class="moz-txt-link-freetext" href="http://listserv.acm.org/archives/SIGSAM-FRIENDS.html">http://listserv.acm.org/archives/SIGSAM-FRIENDS.html</a>.
</pre>
</body>
</html>