Hiring (self-driving algos, HLL compiler research)

OK, so 2 things:

1. If you send me a CV and they're hired to work on self-driving algos – machine vision/learning/mapping/navigation, I'll pay you a shitton of money. (Details over email.) These teams want CS/math/physics/similar degree with great grades, and they want programming ability. They'll hire quite a lot of people.

2. The position below is for my team and if you refer a CV, I cannot pay you a shitton of money. But:

We're developing an array language that we want to efficiently compile to our in-house accelerators (multiple target architectures, you can think of it as "compiling to a DSP/GPU/FPGA.")

Of recent public efforts, perhaps Halide is the closest relative (we're compiling AOT instead of processing a graph of C++ objects constructed at run time, but I'm guessing the work done at the back-end is somewhat similar.) What we have now is already beating hand-optimized code in our C dialects on some programs, but it's still a "blue sky" effort in that we're not sure exactly how far it will go (in terms of the share of production programs where it can replace our C dialects.)

As usual, we aren't looking for someone with experience in exactly this sort of thing (here especially it'd be hopeless since there are few compiler writers and most of them work on lower-level languages.) Historically, the people who enjoy this kind of work have a background in what I broadly call (mislabel?) "discrete math" -  formal methods, theory of computation, board game AI, even cryptography, basically anywhere where you have clever algorithms in a discrete space that can be shown to work every time. (Heavyweight counter-examples missing one of "clever", "discrete" or "every time" – OSes, rendering, or NNs. This of course is not to say that experience in any of these is disqualifying, just that they're different.)

I think of it as a gig combining depth that people expect from academic work with compensation that people expect from industry work. If you're interested, email me (Yossi.Kreinin@gmail.com).

All positions are in Jerusalem.


#1 Joachim Schipper on 09.11.16 at 5:57 pm

I hope you'll blog about the array language in due time!

#2 Yossi Kreinin on 09.11.16 at 6:47 pm

Not sure I will… The biggest obstacle is I don't know much about its guts; of all the things I manage, I manage this less actively than most. My biggest contribution is supplying the optimism that since image/array processing is a small subset of what a Turing-complete language could do, a compiler can be way smarter about it than we're used to; my rather uninformed optimism proved a better predictor of success than the informed pessimism of the actual compiler writers. Ignorance is power!

#3 Mark on 09.17.16 at 7:56 am

You may not know much about it's guts, but surely you can talk about the surface syntax?

#4 Jesus on 11.06.16 at 11:30 pm

Sounds like a job I'd enjoy! I'm a PhD candidate applying APLs to GIS. The goal is having simple / portable scripts (i.e. Python) compiled to GPU code. Data locality is the #1 concern. Very on the line of Halide. Such a pity i'm just a student at the moment .-)

#5 battlefield 1 esp on 05.15.19 at 12:14 pm

Thanks for this web. I definitely agree with what you are saying.

#6 Sung Janicki on 05.16.19 at 4:49 am

5/15/2019 I'm pleased by the manner in which yosefk.com deals with this kind of subject! Usually on point, sometimes contentious, consistently thoughtful and challenging.

#7 aimbot fortnite on 05.16.19 at 3:53 pm

Thank You for this.

#8 fallout 76 hacks on 05.17.19 at 9:35 am

I dugg some of you post as I thought they were very beneficial invaluable

#9 badoo superpowers free on 05.18.19 at 7:12 am

Respect to website author , some wonderful entropy.

#10 Dawna Varano on 05.22.19 at 10:58 pm

Many thanks for the inspiring blog you've created at yosefk.com. Your enthusiasm is absolutely contagious. Thanks again!

#11 ispoofer pogo activate seriale on 05.24.19 at 5:01 pm

Respect to website author , some wonderful entropy.

#12 how to get help in windows 10 on 05.28.19 at 2:55 pm

whoah this blog is magnificent i really like studying your posts.

Stay up the good work! You recognize, lots of people are looking
around for this info, you can aid them greatly.

#13 gamefly free trial on 05.29.19 at 12:48 pm

Howdy just wanted to give you a quick heads up. The text in your post seem to be running off the screen in Firefox.
I'm not sure if this is a format issue or something to do with web browser compatibility but I figured I'd
post to let you know. The design and style look great though!

Hope you get the issue solved soon. Cheers

#14 gamefly free trial on 05.31.19 at 11:23 am

Good way of telling, and nice paragraph to take data on the topic
of my presentation subject matter, which i am going to convey
in academy.

#15 gamefly free trial on 06.01.19 at 9:47 pm

Nice post. I was checking constantly this blog and I am impressed!
Extremely useful information specifically the last part :) I care for such info much.
I was seeking this certain info for a very long time.
Thank you and good luck.

#16 hacks counter blox script on 06.02.19 at 5:52 am

Intresting, will come back here once in a while.

#17 gamefly free trial on 06.02.19 at 6:53 pm

Remarkable! Its really amazing post, I have got much clear
idea about from this piece of writing.

#18 gamefly free trial on 06.03.19 at 4:00 pm

Hi there, after reading this amazing post i am also delighted to share my experience here
with colleagues.

#19 gamefly free trial on 06.04.19 at 1:54 am

Hi there, this weekend is good designed for me, since this moment i am reading this enormous informative
paragraph here at my home.

#20 gamefly free trial on 06.04.19 at 10:08 pm

Magnificent web site. Plenty of helpful info here. I am sending it to
a few buddies ans additionally sharing in delicious.
And of course, thank you on your effort!

#21 gamefly free trial on 06.05.19 at 5:11 am

hey there and thank you for your info – I've definitely picked up something new from right here.
I did however expertise some technical points using this site, as I experienced
to reload the site lots of times previous to I could get it to load correctly.
I had been wondering if your hosting is OK? Not that I
am complaining, but sluggish loading instances times will often affect your placement in google and could damage your high-quality score if advertising and
marketing with Adwords. Well I'm adding this RSS to my e-mail and could look out
for a lot more of your respective exciting content. Make sure you update this
again very soon.

#22 gamefly free trial on 06.05.19 at 6:56 pm

Hello, this weekend is pleasant in support of me, for the reason that this moment i am reading this great informative
piece of writing here at my residence.

#23 gamefly free trial on 06.06.19 at 5:33 am

What's up everybody, here every person is sharing such
familiarity, so it's nice to read this web site, and I used to pay a visit this
blog every day.

#24 gamefly free trial on 06.06.19 at 11:00 am

Hello there, just became alert to your blog through
Google, and found that it is truly informative. I am going to watch out for brussels.
I will be grateful if you continue this in future.
Lots of people will be benefited from your writing.


#25 gamefly free trial on 06.07.19 at 4:45 am

Thanks for sharing your thoughts about gamefly free trial. Regards

#26 gamefly free trial on 06.07.19 at 12:18 pm

Incredible story there. What occurred after? Thanks!

#27 gamefly free trial 2019 coupon on 06.10.19 at 6:49 pm

It's a pity you don't have a donate button! I'd definitely donate to
this superb blog! I suppose for now i'll settle for bookmarking and adding your RSS feed to my Google account.
I look forward to new updates and will share this site with my Facebook group.
Chat soon!

#28 quest bars cheap on 06.14.19 at 11:57 am

This is the perfect webpage for everyone who really wants to find out about this topic.
You understand a whole lot its almost tough to
argue with you (not that I actually will need to…HaHa).
You certainly put a fresh spin on a subject which
has been discussed for a long time. Excellent stuff, just

#29 quest bars cheap on 06.15.19 at 8:47 am

My partner and I absolutely love your blog and find most of
your post's to be what precisely I'm looking for. Would you offer guest writers to write content to suit your needs?
I wouldn't mind writing a post or elaborating on a number of the subjects
you write about here. Again, awesome web log!

#30 krunker hacks on 06.16.19 at 3:12 pm

Cheers, great stuff, I enjoying.

#31 quest bars on 06.16.19 at 5:23 pm

Every weekend i used to pay a visit this website, for the reason that i wish
for enjoyment, as this this website conations in fact good funny stuff too.

#32 http://tinyurl.com on 06.18.19 at 2:08 am

Thanks for the good writeup. It in reality was once a enjoyment account it.
Look complicated to far introduced agreeable from you!
However, how can we communicate?

#33 plenty of fish dating site on 06.21.19 at 11:54 pm

Yes! Finally someone writes about plenty of fish dating site.

#34 plenty of fish dating site on 06.22.19 at 7:37 am

obviously like your web-site but you have to take a look
at the spelling on several of your posts.
A number of them are rife with spelling problems and I find it very bothersome
to tell the truth then again I will definitely come back again.

#35 Explain Like I’m Five on 06.25.19 at 2:31 am

I must say, as a lot as I enjoyed reading what you had to say, I couldnt help but lose interest after a while.

Leave a Comment