Difference between revisions of "Jobs"

Revision as of 09:00, 19 October 2020

This page collects advertisements for commercial and academic positions involving Haskell or related technologies.

If you are seeking Haskell jobs, or wish to recruit, good places to follow are the Haskell and Haskell-cafe mailing lists, the Types mailing list (particularly for research jobs). Contacting those organisations listed on the Haskell in industry is a good idea. Joining the nascent networking site Haskellers may also prove beneficial.

Please also supply the date when you add a new job opening to the list below.

Industry positions

Related positions

Erlang Solutions

Academic positions

Postdoctoral position in Functional and Constraint Programming at KU Leuven (added October, 2014)
Research Assistant / Research Associate in Applied Computing (added April 2014)
Programming Languages Researcher with Haskell Expertise (added Sep 2010)

PhD/MSc Studentships

Industrial PhDs and MSc projects at Functor AB

Internships

Internships on Haskell and GHC, at Microsoft Research, Cambridge
Spring Internship at Intel to develop EDSL for parallel vector computation (added Nov 2010)
Remote Internship in Haskell web-development at Vacation Labs, India (added Oct, 2016)

Job sites

@@ Line 1: / Line 1: @@
-This page collects advertisements for commercial and academic positions involing Haskell or related technologies.
+This page collects advertisements for commercial and academic positions involving Haskell or related technologies.
+If you are seeking Haskell jobs, or wish to recruit, good places to follow are the Haskell and Haskell-cafe mailing lists, the Types mailing list (particularly for research jobs). Contacting those organisations listed on the [[Haskell in industry]] is a good idea. Joining the nascent networking site [http://www.haskellers.com Haskellers] may also prove beneficial.
+Please also supply the date when you add a new job opening to the list below.
-If you are seeking Haskell jobs, good places to follow are the Haskell and Haskell-cafe mailing lists, and the Types mailing list (particularly for research jobs).
 ==Industry positions==
+*[http://www.bluespec.com/careers.html Bluespec, Inc.]
-From the [[Haskell in industry]] page.
+*[http://cpmed.de/jobs factis research GmbH / Checkpad MED (German)]
-*[http://www.aetion.com/ Aetion Technologies LLC]
+*[http://www.functor.se/careers/openings/ Functor AB]
-*[http://www.bluespec.com/about/careers.htm Bluespec, Inc.]
+*[http://corp.galois.com/careers/ Galois, Inc]
+*[http://www.starling-software.com/en/employment/ Starling Software K.K.]
-*[https://creditsuisse.taleo.net/servlets/CareerSection?art_ip_action=FlowDispatcher&flowTypeNo=13&pageSeq=2&reqNo=53820&art_servlet_language=en&selected_language=en&csNo=10020#topOfCsPage Credit Suisse]
+*[http://tontine.com TontineTrust - Building a new Functional pensions industry]
-*[http://www.erlang-consulting.com/jobs.html Erlang Training and Consulting Ltd]
-*[http://www.galois.com/join.php Galois, Inc]
+*[http://www.tsurucapital.com/en/ Tsuru Capital LLC]
+*[http://www.wagonhq.com/jobs Wagon]
-*[[Nokia Research Center Cambridge]]
+*[https://www.xoken.org/careers/ Xoken Labs (Bangalore, India)]
-*[http://article.gmane.org/gmane.comp.lang.haskell.cafe/21951 HAppS LLC]
-*[http://article.gmane.org/gmane.comp.lang.haskell.cafe/36676 Anygma]
-*[http://article.gmane.org/gmane.comp.lang.haskell.cafe/37093 Eaton]
-*[http://article.gmane.org/gmane.comp.lang.haskell.cafe/30685 RedNucleus]
-*[http://article.gmane.org/gmane.comp.lang.haskell.cafe/30228 Deutsche Bank]
 ===Related positions===
+* [https://www.erlang-solutions.com/about/careers Erlang Solutions]
-SimCorp is looking for Ocaml Software Developers: https://www.epos-asp.dk/hosting/simcorp/recruit.asp?jobListId=3&titleid=392&lang=en
-===Recruitment days===
-*[http://www.jobs-in-fp.org/ Jobs in FP]
 ==Academic positions==
+* [http://people.cs.kuleuven.be/~tom.schrijvers/postdocposition2.html Postdoctoral position in Functional and Constraint Programming at KU Leuven] (added October, 2014)
-* [http://jobs.nottingham.ac.uk/vacancies.aspx?cat=160#j2797 Two Lectureships in Nottingham]
+* [http://www3.imperial.ac.uk/computing/vacancies#JD0414 Research Assistant / Research Associate in Applied Computing] (added April 2014)
+* [http://cufp.org/jobs/programming-languages-researcher-haskell-expertise Programming Languages Researcher with Haskell Expertise] (added Sep 2010)
-==Fellowships==
-* [http://www.cs.nott.ac.uk/~gmh/fellowship Postdoctoral Research Fellowship in Functional Programming, Nottingham]
 ==PhD/MSc Studentships==
-* [http://www.cs.chalmers.se/~koen/phdad.html PhD positions at Chalmers on Verification and Testing]
+*  [http://www.functor.se Industrial PhDs and MSc projects at Functor AB]
+==Internships==
-* [http://www.haskell.org/pipermail/haskell/2007-June/019591.html PhD student on Real-life datatype-generic programming]
+* [http://hackage.haskell.org/trac/ghc/wiki/Internships Internships on Haskell and GHC, at Microsoft Research, Cambridge]
-* [http://news.gmane.org/gmane.comp.lang.haskell.cafe/cutoff=37362 Bioinformatics]. An open position for a 3-year Ph.D. scolarship at IMR working on bioinformatics projects in Haskell
+* [http://www.haskellers.com/jobs/5 Spring Internship at Intel to develop EDSL for parallel vector computation] (added Nov 2010)
+* [https://www.vacationlabs.com/haskell-internship/ Remote Internship in Haskell web-development at Vacation Labs, India] (added Oct, 2016)
-==Internships==
+==Job sites==
+* [http://www.haskellers.com/jobs Haskellers]
-[http://hackage.haskell.org/trac/ghc/wiki/Internships Internships on Haskell and GHC, at Microsoft Research, Cambridge]
+* [http://cufp.org/jobs/language/31 Commercial Users of Functional Programming]
+* [http://functionaljobs.com/ Functional Jobs]
 [[Category:Community]]