mboufford

a process algebra supporting compositionality, interleaving, and non-determinisim like Hoare's CSP handles the sort of proof required to ensure your concurrency model (if not your actual code) is correct. Oxford University (under Bill Roscoe) has produced tools like FDR2 (FDR3 coming out shortly) which provide tooling to help coders verify their concurrency models via trace/failures refinements.

Greenhouse.io (NYC) is hiring a Full-Stack Engineer and a Software Engineer in Test (+some biz roles)

http://www.greenhouse.io/careers

We are changing the way companies hire knowledge workers. When you interview at a world-class company like Google, you are put through an organized and well structured hiring process. Each step and each question is focused and purposeful--we've built a platform to help fast-growing companies become world class at hiring. Current paying customers include Airbnb, Pinterest, Uber, and dozens of other top-notch companies.

We're generating significant revenue, have money in the bank, and a seriously amazing team. Come join us!