I am about to give an invited talk at the Workshop on Categorical Logic and Univalent Foundations 2016 in Leeds, UK. It’s a charming workshop that I am enjoing a great deal. Here are the slides of my talk, with speaker notes, as well as the Andromeda examples that I am planning to cover.
July 28, 2016
Full Time: Software Developer (Functional Programming) at Jane Street in New York, NY; London, UK; Hong Kong
Jane Street is a proprietary quantitative trading firm, focusing primarily on trading equities and equity derivatives. We use innovative technology, a scientific approach, and a deep understanding of markets to stay successful in our highly competitive field. We operate around the clock and around the globe, employing over 400 people in offices in New York, London and Hong Kong.
The markets in which we trade change rapidly, but our intellectual approach changes faster still. Every day, we have new problems to solve and new theories to test. Our entrepreneurial culture is driven by our talented team of traders and programmers. At Jane Street, we don't come to work wanting to leave. We come to work excited to test new theories, have thought-provoking discussions, and maybe sneak in a game of ping-pong or two. Keeping our culture casual and our employees happy is of paramount importance to us.
We are looking to hire great software developers with an interest in functional programming. OCaml, a statically typed functional programming language with similarities to Haskell, Scheme, Erlang, F# and SML, is our language of choice. We've got the largest team of OCaml developers in any industrial setting, and probably the world's largest OCaml codebase. We use OCaml for running our entire business, supporting everything from research to systems administration to trading systems. If you're interested in seeing how functional programming plays out in the real world, there's no better place.
The atmosphere is informal and intellectual. There is a focus on education, and people learn about software and trading, both through formal classes and on the job. The work is challenging, and you get to see the practical impact of your efforts in quick and dramatic terms. Jane Street is also small enough that people have the freedom to get involved in many different areas of the business. Compensation is highly competitive, and there's a lot of room for growth.
You can learn more about Jane Street and our technology from our main site, janestreet.com. You can also look at a a talk given at CMU about why Jane Street uses functional programming (http://ocaml.janestreet.com/?q=node/61), and our programming blog (http://ocaml.janestreet.com).
We also have extensive benefits, including:
- 90% book reimbursement for work-related books
- 90% tuition reimbursement for continuing education
- Excellent, zero-premium medical and dental insurance
- Free lunch delivered daily from a selection of restaurants
- Catered breakfasts and fresh brewed Peet's coffee
- An on-site, private gym in New York with towel service
- Kitchens fully stocked with a variety of snack choices
- Full company 401(k) match up to 6% of salary, vests immediately
- Three weeks of paid vacation for new hires in the US
- 16 weeks fully paid maternity/paternity leave for primary caregivers, plus additional unpaid leave
More information at http://janestreet.com/culture/benefits/
July 23, 2016
What we need
Ahrefs is looking for a linux wizard to take care of its 500+ server fleet and carry responsibility to keep all systems up and running 24/7.
Ideal candidate will :
- foresee problems and prevent them from happening
- setup and document procedures for common tasks
- manage infrastructure monitoring
- automate everything and then some
- keep tabs on security
- be able to debug problems on live production system
- have healthy detestation for complex shell scripts
Availability for on-call rotation is required.
Our system is big part custom OCaml code and also employs the following third-party technologies:
Who we are
Ahrefs runs an internet-scale bot that crawls the whole Web, storing huge volumes of information to be indexed and structured in a timely fashion. Backend system is powered by a custom petabyte-scale distributed key-value storage to accommodate all that data coming in at high speed. On top of that Ahrefs is building various analytical services for end-users.
We are a small team and strongly believe in better technology leading to better solutions for real-world problems. We worship functional languages and static typing, extensively employ code generation and meta-programming, value code clarity and predictability, and are constantly seeking to automate repetitive tasks and eliminate boilerplate, guided by DRY and following KISS. If there is any new technology that will make our life easier - no doubt, we'll give it a try. We rely heavily on opensource code (as the only viable way to build maintainable system) and contribute back, see e.g. https://github.com/ahrefs .
Our motto is "first do it, then do it right, then do it better".
What you get
- Competitive salary
- Informal and thriving atmosphere
- First-class workplace equipment (hardware, tools)
- Medical insurance
- No dress code
Singapore : modern office in CBD
USA : cozy loft in San Francisco downtown
Get information on how to apply for this position.
July 18, 2016
July 12, 2016
July 11, 2016
July 05, 2016
June 30, 2016
Xledger is a finance, project, and business information system that gives customers tighter control of their businesses.
We are expanding our team in Colorado Springs, which focuses on Clojurescript (with Om), F#, and SQL Server. We're looking for engineers who can make a strong contribution to this stack, helping us create best-in-class functionality for our customers.
- An understanding of how the web and web applications work (HTTP, databases, caching, API's, etc)
- Ability to do solid work in multiple areas, such as data access, caching, front end, etc
- Ability to pick things up quickly
- High standards
- Ability to focus and get things done
- Experience with functional programming languages like Clojurescript, F#, OCaml, Elixir, Scala, etc (could overlook this for jr. candidates)
- Legally able to work in the U.S.
Nice to have:
- Front end experience with Clojurescript
Other technology involved
We are currently not offering any remote positions.
Get information on how to apply for this position.
June 26, 2016
Our summer compiler hacking event will be hosted by Euan and the Citrix Team on Thursday 7th July — come and explore the other side of Cambridge and the Science Park!
Where: Citrix Systems Research & Development Ltd.
Building 101, Cambridge
When: 7pm, Thursday 7th July
Who: anyone interested in improving OCaml. Knowledge of OCaml programming will obviously be helpful, but prior experience of working on OCaml internals isn't necessary.
What: fixing bugs, implementing new features, learning about OCaml internals
Refreshments: pizza and beer/other drinks will be available.
We're defining "compiler" pretty broadly, to include anything that's part of the standard distribution, which means at least the standard library, runtime, tools (ocamldep, ocamllex, ocamlyacc, etc.), the debugger, the documentation, and the compiler itself. We'll have suggestions for mini-projects for various levels of experience, but feel free to come along and work on whatever you fancy.