Ask HN: Who is hiring? (June 2024)

Symbolica.ai | London, Australia | REMOTE, INTERNS, VISA

We're trying to apply the insights of category theory, dependent type theory, and functional programming to deep learning. How do we best equip neural nets with strong inductive biases from these fields to help them reason in a structured way? Our upcoming ICML paper gives some flavor https://arxiv.org/abs/2402.15332 ; you can also watch https://www.youtube.com/watch?v=rie-9AEhYdY&t=387s ; but there is a lot more to say.

If you are fluent in 2 or more of { category theory, Haskell (/Idris/Agda/...), deep learning }, you'll probably have a lot of fun with us!

Check out our open positions at https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-405...

_lurker · 2 years ago

Hi, I tick the three elements in the set (my last Haskell was a few years ago, though). I opened the link last week and saw some positions in London (and Australia, for that matter) and now there aren't any positions showing there (just a couple ones in California). Is it a glitch, or have you fulfilled all positions outside California already?

ligthning · 2 years ago

How demanding is this for someone self taught CT up until Natural Transformations and dabbles a bit on other more common CT constructions (SCMC Categories & Co), F-Algebras ? I do have quite some experience with Haskell and Theorem Provers and this sounds super fun but also all the fancy keywords scare me as I am not super into ML/DeepLearning nor have a PhD (only a MSc in SWEng). Is there room for learning on the job?

taliesinb · 2 years ago

Yes, get in touch with me.

sbrother · 2 years ago

Oh man, I am not looking to switch companies right now, but this sounds amazing. I'll be following you guys.

Also: I could swear I saw you comment on something Mathematica related a long time ago. Is there a Wolfram connection here?

taliesinb · 2 years ago

In another life!

kibibu · 2 years ago

It's a shame that the word categorical has already been applied to deep learning (categorical deep q networks a.k.a. C51, and Rainbow), because yours is arguably a more natural use of the name.

tasuki · 2 years ago

Crazy! This sounds very fun. I don't have the time nor the mental capacity, but I'm envious!

76 Software Engineering Group | Oklahoma City, OK | FULL-TIME | ONSITE | U.S. CITIZENSHIP REQUIRED

76 SWEG is a civilian software engineering organization operating under the United States Air Force. We are hundreds of (civilian) scientists and engineers that provide software, hardware, and engineering support solutions to a variety of Air Force and military platforms. We are located on Tinker Air Force Base in Oklahoma City, OK. We often operate like a contractor to other parts of the military and federal government by providing independent engineering services without seeking a profit. We have dozens of active projects using C, C++, C#, Java, Python, JavaScript, LabVIEW, Visual Basic, Assembly, Ada, Fortran, and other more esoteric languages. We have immediate opportunities available to hire candidates with degrees in Computer Science, Computer Engineering, Electrical Engineering, or closely-related fields.

If you are interested in learning more, please e-mail 76SMXG.Tinker.Careers@us.af.mil and tell them Jake sent you.

-----

Bonus content for June 2024:

The Air Force Sustainment Center Software Directorate (AFSC/SW) is hosting a virtual hiring event for the 76 Software Engineering Group (76 SWEG) for opportunities located at Tinker AFB, OK.

The virtual event will take place June 26th.

We are looking for experienced, senior-level candidates with backgrounds in Computer Science, Electrical Engineering, Computer Engineering, Systems Engineering, Software Engineering and other related career fields.

To apply, email your resume and transcripts to 76SMXG.Tinker.Careers@us.af.mil and use “HIRING EVENT” as the subject line.

APPLY BY JUNE 12TH!

*US CITIZENSHIP REQUIRED!*

Check out our website!

https://afscsoftware.dso.mil/

uly-s · 2 years ago

Hi Jake! I had a question about your post - namely that in the bonus section it sounds like you're looking specifically for senior level candidates but that's not mentioned in the top part, so is that just specific to the extra event? I'm a junior/mid level (1.5 YOE) and after doing some research into your org it sounds like an amazing fit for me, being able to work hands-on with engineers/scientists advanced real world systems sounds awesome compared to CRUD apps. Would it still be worth applying for the June 12th deadline / 26th hiring event if I'm not senior level?

rattray · 2 years ago

Stainless | Generalist Engineers, First AE | NYC ONSITE | Full-time

(We were on hn recently: https://news.ycombinator.com/item?id=40146505)

Stainless is building the platform for high-quality, easy-to-use APIs. Our first product is SDKs as a service. When you `npm install openai` or `pip install openai`, for example, you’re downloading code that we generated. (I built the codegen system at Stripe for their SDKs, and am now building a better version for everyone.)

Next, we want to make it easy to build amazing REST APIs. REST is simple and ubiquitous, but right now it’s also messy, chaotic, and hard to get right. We’re going to build great open-source standards and tooling that bring the benefits of GraphQL (types, field selection/expansion, standards) and gRPC (types, speed, versioning) to REST.

We’re ~2y old, ~10 people, have strong revenue (could choose to be profitable), and great customers (including OpenAI, Anthropic, and Cloudflare). We’re backed by Sequoia.

As one of our first ten engineers, you’ll get autonomy to build great products, skilled peers, opportunity for tremendous impact, competitive salary, and a very competitive ownership stake.

We’re looking for exceptionally productive, thoughtful, tasteful, and kind people with a passion for making software development better for everyone.

Want to build the future of API tooling? Say hi: alex at stainlessapi.com

KoftaBob · 2 years ago

Just a heads up, jobs based in NY are legally required to have a salary range in their job listing.

smkelly · 2 years ago

FlightAware | multiple roles | REMOTE (US timezones) | Houston / US | https://flightaware.com/about/careers/

Hello from FlightAware! We are hiring for a few positions, including Engineering Managers and Senior Software Engineers. Our team is headquartered in Houston, Texas, but we work as a distributed team and accept remote applicants for work within the United States.

FlightAware has built the world’s leading aviation software platform, processing over 180 million incoming messages an hour from over 30,000 feeds—over 2TB a day and growing—to provide the best, most complete, and most accurate real-time flight tracking services in the industry. We use Python, Rust, C++, JavaScript, and TypeScript. We are proud to have built a wide variety of successful products on this foundation that have become central to the aviation industry at large.

93po · 2 years ago

Any tips if I want to apply for the senior software engineering role as part of the re-empower program? it's not really clear if there's a path to apply specifically in that way, or if i should simply state my interest as part of my cover letter. Going through the application process I don't see any indicator for this program.

otteromkram · 2 years ago

Not OP, but you might want to, I dunno, run a search on the careers website. That's usually a good place to start.

Just a friendly tip: The market is pretty competitive nowadays and having critical thinking and problem solving skills can give you an advantage over your peers.

gweedo767 · 2 years ago

Applied for the Engineering Manager, Web role! Would absolutely love to work with FlightAware since I actually use the service. Any advice for going the process would of course be appreciated, if not, thanks for the post!

leetrout · 2 years ago

Very cool. I applied. Would absolutely love to apply my skills close to my interests in aviation.

Dropped you a line; hope we can connect and catch up.

lufte · 2 years ago

Is this "US timezones" or "US only"?

> we work as a distributed team and accept remote applicants for work within the United States

bityard · 2 years ago

Location is "Houston / US" which I read as looking for US residents.

clee_tech01 · 2 years ago

Monad Labs | NYC, Hybrid 3-days On-Site

Monad Labs just raised $225M in series A funding to scale our team in bringing the Monad blockchain to production this year.

Founded by Jump Trading alums, Monad Labs is a tech startup using low-latency programming, compiler optimization, and multithreaded computing to build an ultra-high-performance smart contract platform. The work entails building an optimal stack-based VM that supports multithreaded computation, as well as developing and implementing an efficient Byzantine Fault Tolerant (BFT) algorithm enabling a network of nodes to come to consensus.

We are hiring, blockchain experience not required.

System engineering backgrounds, especially in Rust, C++, C and/or Golang: https://grnh.se/8a5d84d95us (build in Rust) AND https://grnh.se/4bc99abb5us (build in C++)

DevOps Engineer: https://grnh.se/876639bd5us

Senior Software Engineer (does require blockchain or crypto experience): https://grnh.se/f33a39005us

justdoit_ · 2 years ago

Whoever is reading this or thinking about applying, be skeptical since (1) they either aren't hiring at all and this is a false advertisement serving the purpose of evaluating the market or (2) they have extremely peculiar requirements since ~15 years of C++ system engineering background with experience in distributed large-scale (or more specifically massive scale) systems is not enough to be invited even for the first interview. Good luck!

iliketrains · 2 years ago

EDIT: This posting is no longer active, thanks for all the applicants for applying!

I’m the co-founder of MaFi Games – an indie studio behind the game Captain of Industry. We are a small but passionate team who gave up their jobs at Google/Nvidia to pursue building the best factory simulation game possible, and we need more hands!

We are looking for an experienced software engineer or game developer to grow the team and accelerate our progress. We are also looking for part-time UI/UX designers.

Some reasons you’d enjoy working with us:

* A multicultural, collaborative, and innovative work environment where your voice is heard.

* Fully remote job with flexible working hours and vacation schedule.

* High quality C# code base, code reviews, tests.

* High work satisfaction, work on a popular video game with a wonderful community.

* No bureaucracy, no politics, no perf, 1 regular meeting per week.

If interested, please see the detailed info and requirements at https://www.captain-of-industry.com/jobs

Note that this is a fully remote job and we are happy to consider candidates from any country around the world!

raidium · 2 years ago

Raidium develops a radiological foundation model as the “GPT” of radiology. This new generation of AI will enable the building of an imaging biomarker factory for both clinical practice and research, tackling the complexity of precision medicine. We are a team of 10, with machine learning engineers, researchers, and doctors.

We are looking for our first Software Engineer. You will play a pivotal role in developing the Raidium product and integrating Machine Learning models. This is a very transversal position involving full-stack Development of the Raidium product and internal tools, machine learning models Integration, and mentoring.

We are open to senior or junior roles. In practice, you will work alongside the ML teams. You will work in Raidium's Parisian offices (in the Cochin Faculty) and have the opportunity to spend some afternoons at our companion center, where you will work with CT scans and MRIs!

Send us an email with your resume at careers@raidium.eu

Our website: https://raidium.eu

Manifesto: https://medium.com/raidium/is-ai-for-radiology-solved-in-202...

jakespencer · 2 years ago

mistidoi · 2 years ago

Relevant Healthcare | Director of Engineering | Remote (USA + Canada)

Relevant (https://relevant.healthcare) is a small and experienced team building an analytics and population health platform for non-profit clinics called Community Health Centers*. We're bootstrapped, fully remote, and hiring a director of engineering!

Read more about the role here: https://relevant.healthcare/jobs/director-of-engineering/ Read more about Community Health Centers here: https://relevant.healthcare/jobs/

nymblest · 2 years ago

> We are serious about what we do and ambitious to make a big impact, but skeptical of tech saviorism. You will not be subjected to inflated ideas about the importance of Relevant, or tech generally, relative to the broad landscape of healthcare in the U.S. or the arc of human history.

How unexpectedly refreshing. I notice you only mentioned the director role; are y'all still hiring for the other engineering roles listed?

mildweed · 2 years ago

Cross-posted:

https://engmgrjobs.com/director-of-engineering-72065