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.

51 comments ↓

#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.

Cheers!

#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
wonderful!

#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.

#36 how to get help in windows 10 on 06.29.19 at 7:18 am

I have fun with, cause I found just what I was
taking a look for. You've ended my four day lengthy hunt!

God Bless you man. Have a nice day. Bye

#37 http://tinyurl.com/yxzyggt9 on 07.01.19 at 5:28 pm

I think this is among the most important info for me.
And i'm glad reading your article. But wanna remark
on few general things, The website style is great, the articles is really nice : D.
Good job, cheers

#38 vn hack on 07.03.19 at 5:43 am

Some truly great article on this web site , appreciate it for contribution.

#39 seo tutorial on 07.04.19 at 3:00 pm

Parasite backlink SEO works well :)

#40 gx tool uc hack apk on 07.06.19 at 10:03 am

I really enjoy examining on this blog , it has got good stuff .

#41 Merle Sprankle on 07.06.19 at 10:17 am

The next phase of the mystery is to solve the order of the pyramid. This is your 3rd secret tip!! 517232125

#42 quest bars cheap 2019 coupon on 07.09.19 at 9:52 am

Great post. I was checking constantly this weblog and I'm inspired!
Extremely helpful information specially the remaining section :) I
take care of such info much. I used to be
seeking this certain info for a very long time.
Thank you and best of luck.

#43 plenty of fish dating site on 07.15.19 at 10:34 am

Hi i am kavin, its my first occasion to commenting anyplace, when i read this article i thought
i could also make comment due to this brilliant article.

#44 how to get help in windows 10 on 07.16.19 at 1:16 pm

Today, I went to the beachfront with my children. I found a sea shell and gave it
to my 4 year old daughter and said "You can hear the ocean if you put this to your ear." She placed the
shell to her ear and screamed. There was a hermit
crab inside and it pinched her ear. She never wants to
go back! LoL I know this is entirely off topic but I had to tell someone!

#45 plenty of fish dating site on 07.19.19 at 7:20 am

Every weekend i used to visit this site, because i want
enjoyment, for the reason that this this web site conations really pleasant funny stuff too.

#46 Deandre Lykam on 07.19.19 at 1:08 pm

Skyking, this clue is your next piece of data. Immediately contact the agency at your convenience. No further information until next transmission. This is broadcast #4649. Do not delete.

#47 plenty of fish dating site on 07.19.19 at 7:25 pm

Hi, I check your blog on a regular basis. Your humoristic style is awesome, keep
doing what you're doing!

#48 how to get help in windows 10 on 07.20.19 at 8:00 am

Howdy would you mind letting me know which hosting company you're using?

I've loaded your blog in 3 different browsers and I must say this
blog loads a lot faster then most. Can you suggest a good internet hosting provider at a fair price?
Kudos, I appreciate it!

#49 how to get help in windows 10 on 07.21.19 at 10:13 am

Hey I know this is off topic but I was wondering if you knew of any widgets I could add to
my blog that automatically tweet my newest twitter updates.
I've been looking for a plug-in like this for quite some time and was hoping
maybe you would have some experience with something like this.

Please let me know if you run into anything. I truly enjoy reading your blog and
I look forward to your new updates.

#50 natalielise on 07.22.19 at 9:49 pm

Thanks on your marvelous posting! I truly enjoyed reading it, you are a great author.
I will ensure that I bookmark your blog and will often come back at some
point. I want to encourage you to ultimately continue your great work, have a nice weekend!
plenty of fish natalielise

#51 acid swapper on 07.23.19 at 9:59 am

Hi, here from bing, i enjoyng this, will come back soon.

Leave a Comment