Difference between revisions of "Jobs"

Latest revision as of 15:06, 21 January 2022

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, or wish to recruit, good places to follow are the Haskell and Haskell-cafe mailing lists, and the Types mailing list (particularly for research jobs). Contacting those organisations listed on the [[Haskell in industry]]  is also a good idea.
 ==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.functor.se/careers/openings/ Functor AB]
-*Hutchin Hill Capital
-*[http://www.aetion.com/ Aetion Technologies LLC]
+*[http://corp.galois.com/careers/ Galois, Inc]
-*[http://www.bluespec.com/about/careers.htm Bluespec, Inc.]
+*[http://www.starling-software.com/en/employment/ Starling Software K.K.]
+*[http://tontine.com TontineTrust - Building a new Functional pensions industry]
-*[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://www.erlang-consulting.com/jobs.html Erlang Training and Consulting Ltd]
+*[http://www.tsurucapital.com/en/ Tsuru Capital LLC]
+*[https://tweag.io/careers Tweag]
-*[http://www.galois.com/join.php Galois, Inc]
+*[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)
+==PhD/MSc Studentships==
-==Fellowships==
+*  [http://www.functor.se Industrial PhDs and MSc projects at Functor AB]
-* [http://www.cs.nott.ac.uk/~gmh/fellowship Postdoctoral Research Fellowship in Functional Programming, Nottingham]
+==Internships==
-==PhD/MSc Studentships==
+* [http://hackage.haskell.org/trac/ghc/wiki/Internships Internships on Haskell and GHC, at Microsoft Research, Cambridge]
-* [http://www.cs.chalmers.se/~koen/phdad.html PhD positions at Chalmers on Verification and Testing]
+* [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)
+==Job sites==
-* [http://www.haskell.org/pipermail/haskell/2007-June/019591.html PhD student on Real-life datatype-generic programming]
-==Internships==
+* [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]]