tweagio.strikingly.com
Tweag I/O - Jobs
http://tweagio.strikingly.com/sms:33-7-814-70-203
Tweag I/O - Jobs. Https:/ res.cloudinary.com/hrscywv4p/image/upload/c fill,g faces:center,h 300,w 300/rkfkrbufcbe2bozn8tgr.png. Join us at Tweag I/O. We're powering the next generation of data science. Tweag I/O is looking for distributed systems engineers to be part of one of several projects in Europe focused on developing the next wave of storage solutions in Haskell and in C, targeted at the Exascale. Project and authors of the HaskellR.
mietek.io
Miëtek Bak — CV
https://mietek.io/cv
And Haskell on Heroku. Advocate of programming languages with static, sound, and implicit type systems. Comfortable at all levels of the software stack from arrows to assembly; client-side and server-side. Designs humane user interfaces. Interested in type theory, security, and typography. 14 years of professional experience in software development, including 8 years of practice with functional programming in Haskell, Erlang, and OCaml. Knows how not to write Fortran in any language. Founder, 2013 present.
assert-false.net
Arnaud Spiwack's homepage
http://assert-false.net/arnaud
Firstname at surname.net. 33 6 72 02 68 03. Here are some software I contribute to:. The most successful implementation of a dependent type theory. Serves both as a programming language and a proof assistant. Coq is a central object in my research. I have more experimental things going on:. May be a good place to get fresh news.
SOCIAL ENGAGEMENT