[pept:164] Position Looking to hire functional programmer

[Satnam Singh <Satnam.Singh@xxxxxxxxxx> (by way of Robert Glueck)]

I would be grateful if you could bring the job advertisement below to the
attention of any suitable candidates.

Thank you very much.

Kind regards,

Satnam

===

Xilinx Research Labs has a position for a functional programmer to work on an
NSA funded project on compiling cryptology specifications in the Cryptol
language (http://www.cryptol.net) via Lava (http://www.xilinx.com/labs/lava)
into FPGA hardware. The candidate should be familiar with modern functional
programming concepts like polymorphism, higher order functions, lazy evaluation
and combinator based design. The candidate should also posses practical
software development skills.

Experience with FPGAs and FPGA prototyping boards would be desirable although
not necessary. The job responsibilities include
the production of hardware prototypes and demonstrators that run cryptology
applications on FPGA hardware. Experience with the Haskell functional
programming language would be desirable.

The position will be based at Xilinx's San Jose headquarters in California. For
further information or to make an application please contact Satnam Singh via
email at Satnam.Singh@xxxxxxxxxxx



Content-type: text/x-vcard; charset=us-ascii; name=satnam.singh.vcf
Content-transfer-encoding: 7BIT
Content-disposition: attachment; filename=satnam.singh.vcf
Content-description: Card for Satnam Singh

begin:vcard
n:Singh;Satnam
tel;pager:4087182588@xxxxxxxxxxxxxx
tel;cell:+1 408 718 2588
tel;fax:+1 815 550 4055
tel;home:+1 408 377 9982
tel;work:+1 408 879 4693
x-mozilla-html:TRUE
url:http://www.xilinx.com/labs/satnam
org:<br><img src="http://www.xilinx.com/images/xlogoc.gif"; alt="Xilinx">
adr:;;2100 Logic Drive;San Jose;CA;95124-3450;USA
version:2.1
email;internet:Satnam.Singh@xxxxxxxxxx
title:Principal Engineer
note;quoted-printable:Intercal number: 877 582 3182 or 706 679 1128,
=0D=0AMy Intercal Conference Code: 408 879 4693, =0D=0AMy UK
Cellphone: +44-7979-648412, =0D=0AMSN Instant Messenger ID:
satnam@xxxxxxxxxxxx
x-mozilla-cpt:;-10784
fn:Satnam Singh
end:vcard