Iavor Diatchki | 19 Dec 18:34 2013
Picon

Job opportunities at Galois Inc.

Hello,

Galois is still hiring!  We are located in beautiful Portland, Oregon and are currently looking for researchers, principal investigators, and software engineers, including those with expertise in functional programming, formal methods, computer security, control systems, informatics, or networking.

For more information, take a look at http://corp.galois.com/careers and please feel free to drop me an e-mail if you have questions.

Happy Holidays,
-Iavor

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Mike McClurg | 26 Sep 16:46 2011
Picon

Job opportunities at Citrix Systems (Cambridge, UK)

Hi folks,

I just wanted to let everyone know that Citrix is hiring developers to
work on the OCaml-based XenAPI toolstack.

We are looking to recruit top-class engineers to work on the toolstack;
applicants must have a good knowledge of data structures and algorithms,
experience of programming in the context of large systems and general
aesthetic good taste when it comes to code and architecture.

Our code base is significant and varied: over 130,000 lines of OCaml,
solving problems ranging from the low-level (Xen hypercalls) to the
high-level (resource pool management), to the compiler-driven
(generating language bindings for our Xen datamodel).

Our ideal candidate will have:

* significant experience with applications programming in high-level
functional languages (such as OCaml)
* an aptitude for implementing (and reasoning about) complex concurrent
and distributed systems
* the skills required to contribute to both the architectural design and
day-to-day development of a large code-base
* strong communication skills and problem solving ability
* a determination to deliver clean and reliable solutions that meet our
customers' needs

So if you want to tackle interesting and challenging programming
problems and contribute to an innovative, fast-growing product that is
already used by tens of thousands of customers across the world, please
don't hesitate to send me your CV.

Thanks,

Mike McClurg

PS: Please note that you must have UK right to work. Here are the
official job postings, but if you apply please send me your CV directly.

* Req #11673 - Software Development Engineer:
http://careers.peopleclick.com/careerscp/client_citrix/emea_region/jobDetails.do?functionName=getJobDetail&jobPostId=32491&localeCode=en-us

* Req #11897 - Senior Software Developer:
http://careers.peopleclick.com/careerscp/client_citrix/emea_region/jobDetails.do?functionName=getJobDetail&jobPostId=33053&localeCode=en-us

And here are some links to our company, products and open source
projects and code.

* The Xen Hypervisor - http://xen.org/
* Citrix XenServer -
http://www.citrix.com/English/ps2/products/product.asp?contentID=683148
* Our GitHub account - https://github.com/xen-org

_______________________________________________
Haskell mailing list
Haskell <at> haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Gmane