[Haskell] Job opening Ph D student in type error diagnosis for domain specific languages in Haskell

2013-05-31 Thread Jurriaan Hage
://www.cs.uu.nl/wiki/Center Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (Ph D student) Software Technology Domain-specific languages (DSLs) have the potential both to reduce the effort of programming, and to result

[Haskell] Job opening for Haskell developer in Nijmegen, Netherlands

2013-04-18 Thread Roel van Dijk
Sensor Sense is looking for a software developer to work on the design and implementation of ultra-sensitive trace gas detectors. These instruments belong to the most sensitive in the world. You will work closely with physicists, electronic – and mechanical engineers to design new detectors and im

[Haskell] Haskell-related job opening at Stanford University

2010-09-21 Thread David Mazieres
The Stanford Secure Computer Systems research group seeks an experienced Haskell programmer to participate in research on secure, robust software systems. The primary responsibility will be to collaborate closely with other researchers in building a Haskell web framework that achieves security thro

[Haskell] Functional programming job opening

2008-10-20 Thread Simon Peyton-Jones
Folks Looking for a job in functional programming. Here's one (at Microsoft): http://members.microsoft.com/careers/search/details.aspx?JobID=E29D3886-A152-4D95-873D-8890EFB683AD&start=1&interval=10&SortCol=DatePosted "We are seeking an experienced software development engineer who has mastered

[Haskell] Passing on a job opening

2008-06-25 Thread Janis Voigtlaender
Hi all, I received below job opening. It might be of interest to some people on this list (formal methods, theorem provers, ...). The contact is [EMAIL PROTECTED] Ciao, Janis. www.rockwellcollins.com Quick RC facts: 2007 sales were $4.42 billion and we have 20,000 employees

Job opening at Utrecht: Generic Haskell

2000-08-28 Thread Johan Jeuring
Postdoc Software Technology Department of Computer Science Utrecht University Utrecht, The Netherlands You will work on the "Generic Haskell: a language for generic programming" project. See http://www.cs.uu.nl/re

job opening

1997-05-13 Thread Paul Hudak
Research Programmer Yale University Department of Computer Science The Center for Computational Vision and Control and the Programming Languages and Systems group is seeking applicants for a Research Programmer or Post-Doctoral Research Position in th

Job Opening at Yale for Haskell Programmers

1994-08-04 Thread jcp
Haskell Hacker Needed! Yale University Haskell Group A position is available in the Yale Haskell Group for a Haskell programmer. We are seeking applicants for a job that will primarily consist of software development using Haskell, with the principal duty of impl