Hi,

An opportunity for a PLT-savvy compiler developer.  For an ad from
Habana, see below. In short:

Habana is a start-up based in Tel-Aviv, Israel, developing specialised
hardware for deep-learning libraries/APIs/frameworks (TensorFlow,
PyTorch, Cafe2, mxnet, ONNX). They're interested in someone with PL
design and implementation know-how, who is also interested in
relocating to Israel in the first instance.


I can answer some basic questions about this position. I'm currently
at POPL if that helps, or just drop me an email. For detailed answers,
including details about the application process, please contact Tzachi
Cohen <tcohen@habana.ai<mailto:tcohen@habana.ai>>.

Please forward this message to anyone or any mailing list that you
think might be relevant.


Yours,
Ohad.

---------------------------------------------------------------------


https://habana.ai/
Position: Compiler software engineer
Percentage: Full time

Habana is a young and innovative startup company, located in Tel-Aviv
Israel, that focuses on developing disruptive solutions that will
shape the future of AI and Deep Learning computing. Led by top
technologists and successful entrepreneurs, with the backing of
premier venture capitalists, our vision is to take AI processing from
its current limits to the peak of its potential. We see challenges as
a tremendous opportunity, we are focused on execution and determined
to make our vision come true.  We are looking for exceptionally smart
people who believe that AI will change the world and would like to
join our exciting journey!

Habana is looking to hire a world class compiler engineer to work in a
talented and motivated team of great engineers. You will be
responsible for design and implementation of an advanced C/C++ based
compiler environment for novel AI processor. You will get a chance to
tackle several interesting and challenging problems working on
compilers for cutting-edge technologies.


What we need to see:
* Strong background in compilers.
* Strong C/C++ programming skills.

* A strong understanding of:
** Parallel programming models.
** Programming language design.
** Knowledge of ELF and linkers
** Knowledge of Compiler front-end and back-end

* Experience with variety of aspects of compiler including:
** Clang and LLVM
** Code optimizations
** Data flow analysis
** Code generation and building a good compiler framework.

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs