caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: henglein@diku.dk (Fritz Henglein)
To: caml-list@inria.fr
Subject: [Caml-list] faculty, postdoc and Ph.D. positions in functional high-performance computing
Date: Sun, 12 Jun 2011 15:39:06 +0200 (CEST)	[thread overview]
Message-ID: <20110612133906.7F19F161325@tyr.diku.dk> (raw)

The recently established Research Center for Functional High-Performance Computing for Financial Information Technology (HIPERFIT) at the University of Copenhagen has openings for 1 permanent faculty position and 6 postdoc or Ph.D. scholar positions, starting September 1st or later this year.  The faculty position is at the assistant or associate professor position, depending on the applicant's seniority.  The postdoc positions are for up to 3 years, and the Ph.D. scholar positions are full-time salaried positions for either 3 or 4 years.  Applicants with documented knowledge of functional programming and/or domain-specific languages are highly encouraged to apply.  

Deadline: July 4th, 2011.
Position start: September 1, 2011, or later.

HIPERFIT gathers researchers from mathematical finance (MF), domain-specific languages (DSL), functional programming (FP) and high-performance systems (HPS) and experts from financial sector institutions to solve the simultaneous challenges of high transparency, high computational performance and high productivity in finance by mapping high-level models and languages directly onto the evolving crop of inexpensive highly parallel computer architectures such as GPGPUs.

Candidates are expected to have a solid academic background within one or more of the 4 research areas (MF, DSL, FP, HPS) as demonstrated by documented knowledge related to: 

Multidimensional diffusion stock market models (MF)
Bond market theory and credit risk theory (MF)
Jump-diffusion models and stochastic volatility models (MF)
Functional programming, other declarative programming paradigms (FP, DSLs and HPS)
Formal semantics, type theory and type systems, program logics and verification (FP, DSLs and HPS)
Program analysis and transformation, programming language implementation (FP, DSLs and HPS)
Theory and practice of parallel and/or concurrent programming (FP, DSLs and HPS)
Computer architecture (HPS).

They are also expected to take an active interest in cooperating with researchers in the other areas.  (Putting it informally: You are demonstrably at home in one of the areas -- one is enough, more are welcome -- and you are excited, rather than put off, worried or indifferent, about learning about and engaging yourself with specialists from the other areas.)

HIPERFIT deliberately pursues high-risk research with a potentially disruptive strategic impact on high-performance computing practice, viewing the dramatic changes in commodity computing platforms from being sequential to massively parallel as an opportunity for ``naturally'' parallel high-level programming languages to effectively bridge problem/solution specifications on the one side and evolving parallel computer architectures on the other.  In this fashion HIPERFIT complements the prevalent retrofitting and adaptation of existing code bases and low-level coding for specific parallel machine architectures.  Applicants with a background in functional programming and declarative domain-specific languages are thus particularly encouraged to apply.

For more information on HIPERFIT, see http://www.hiperfit.dk.

For detailed information on the position announcements, including application details and contact information, see http://www.offentlige-stillinger.dk/sites/cfml/kbhuni/kbhuniVis.cfm?plugin=1&englishJobs=NO&nJobNo=196679&nLangNo=1. 

Please follow the application instructions carefully and do not send nonspecific email inquiries (e.g. "Dear Professor: I want to be a Ph.D. student.  Here is my CV.  What should I write a Ph.D. about?"), as they risk not receiving any response.  We are happy to field inquiries, which are clearly informed by and specific to the position announcements, the information on hiperfit.dk and information obtained from HIPERFIT investigators' home pages. 

                 reply	other threads:[~2011-06-12 13:39 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20110612133906.7F19F161325@tyr.diku.dk \
    --to=henglein@diku.dk \
    --cc=caml-list@inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).