Ask HN: Who is hiring? (September 2024)

Formal | Founding Software Engineer (Compilers, Networking) | REMOTE | Full-Time | >= $200k + 2% equity

We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers or VMs. We're starting with the network: a programming language to replace eBPF and enable globally programmable networking as a service.

We are VC-funded ($700k pre-seed), advised by professors from MIT and UWaterloo, and founded by ex-Stanford PhDs. There are two official roles, but we welcome conversations with anyone interested in joining the team.

- Compilers & Programming Languages - https://formalstack.com/jobs/09-2024/compilers.pdf

- Kernel Networking - https://formalstack.com/jobs/09-2024/networking.pdf

Please email us at (work at formalstack dot com) or (sergio at the same domain).

[0]: https://formalstack.com

nhatcher · 2 years ago

Off topic, but since you are here, thanks for rocket.rs. Awesome project!

sbenitez · 2 years ago

Thank you! I truly appreciate you saying that.

geraldog · 2 years ago

Hi Sergio, I mailed you an open proposal for a Junior kernel-hacking position in this stellar team of yours. The end-goal (objective) is astounding and the initial goals for the objective are daunting to say the least!

sbenitez · 2 years ago

Hi Geraldo! Thank you for the kind words, and for sending a message! The influx of responses has far exceeded any expectation I could have had, and I'm slowly but diligently responding as I go. Just wanted to let you know that I've received your message and I'm looking forward to chatting with you further. :)

andreweggleston · 2 years ago

Woah, that sounds really cool! I did some research this summer on running programs in kernel space and tactics used to verify safety. This sounds right up my alley—-if I had any of the qualifications!

sbenitez · 2 years ago

If you haven't already, please feel welcome to send us a message! Even if these specific opportunities might not make sense, if this is something you're potentially interested in working on, perhaps there are other opportunities to be found. If nothing else, we're always excited to talk to anyone who's as excited as we are about the general direction.

zerr · 2 years ago

> We are VC-funded ($700k pre-seed) > >= $200k

Does this mean that right now you can only pay salaries for 2-3 devs for a year?

lowkey_ · 2 years ago

I'm in a similar boat right now as a founder -- likely to just hire 1 engineer at this stage, and have runway for 18-24 months at most.

If the hypothesis is correct and the mission is working, you go raise the next round in another 9-12 months.

generatedtruth · 2 years ago

But why? We have the internet.

Reef Technologies | Senior Python Backend Engineer | REMOTE | Full-time Salary: 45-70 USD per hour, or 7560-11760 USD a month (assuming 40 hours per week). Hourly rates typically adjusted annually.

We’re all about the backend! As a fully remote Python software house, we comprise a small, agile team of senior engineers, each with at least five years of experience. We're known for delivering stable solutions and always accounting for edge cases, minimizing the need for urgent fixes.

- Full Remote Flexibility: Work from anywhere.

- Flexible Hours: Pick your own hours, with only ~2 calls per week.

- Dynamic Projects: Work with startups globally on projects of your choice.

- Influence: Contribute to decisions and influence how we operate.

- Project Selection: Only accept projects you're interested in.

- No managers; thanks to the Sociocracy 3.0 framework, everyone's opinion is valued.

- Personal assistant for your non-work tasks.

- Multicultural environment with a voice for everyone.

Who Are We Looking For? Experienced Python engineer with at least 5 years of programming (not necessarily professional), including at least a year with Python. Must have a deep love for Python and the ability to come up with Pythonic solutions to problems.

How to Apply: Just go to https://careers.reef.pl/ and see what we’re all about! Do not send us CVs.

Contact: Email: hiring@reef.pl Company Website: https://reef-technologies.com/

leetrout · 2 years ago

> Must have a deep love for Python and the ability to come up with Pythonic solutions to problems.

I think you should give candidates a heads up on what your screener test cares about. I've been using Python for almost 20 years and I have never needed to solve the problems presented because I specifically avoid those kinds of situations.

agatahr · 2 years ago

Thank you for the feedback, we'll take it under consideration.

perlgeek · 2 years ago

From the hiring page:

> at the end of the month, a bot summarizes the time tracked by a staff member and multiplies it by their hourly rate to figure out the compensation.

So this is not a regular employment contract, I guess? Can you maybe elaborate a bit on how the contract is structured?

agatahr · 2 years ago

We sign a framework cooperation agreement with the contractor and agree on the expected number of work hours, typically full-time (6-8 hours daily). However, everyone tracks their time using a time tracker, and at the end of the month, we settle based on the actual hours worked, not the estimated ones. The more hours you work, the more you get paid.

ruanbo1003 · 2 years ago

Interested in role as a python software with 6 years experience, but the tasks are hard to do, this kind of tasks are not normal.

bigallen · 2 years ago

I absolutely love the landing page of careers.reef.pl/ . Maybe I'm just a noob, but I've never seen a website look like a terminal emulator before.

3shv · 2 years ago

Slightly off-topic: What open-source projects do you recommend someone to go through to increase their Python knowledge/expertise?

Webtaculars · 2 years ago

Amazing career page! Too bad that I only have one year of python experience (overall 7yrs with React, Node and have been a founder before with an exit)

przadka · 2 years ago

Thanks!

Kakashi4 · 2 years ago

I love the website

przadka · 2 years ago

la64710 · 2 years ago

Do you provide health insurance?

przadka · 2 years ago

We do not. We cooperate on b2b/contractor basis.

orendrasingh · 2 years ago

amazing hiring process

krishna0512 · 2 years ago

Very cool careers page!!

przadka · 2 years ago

Thank you!

* removes friction between developers and shipping software * owns availability, performance, and security * shares code, experience, and knowledge both internally and externally * apply at https://join.a8c.com/srsyshn

* endlessly curious about how things work – infrastructure, language and libraries, product, and business * solves problems across any level of the stack, in any codebase * comfortable with using mostly PHP and JavaScript, no need to have serious experience with them * apply at https://join.a8c.com/enghn

rossng · 2 years ago

MONUMENTAL | https://www.monumental.co/ | Amsterdam, The Netherlands | Full Time | Onsite

We’re creating robots that autonomously construct buildings. We design all of our hardware and software in-house in central Amsterdam, and we’re starting with autonomous bricklaying robots.

We have built a machine vision pipeline that can achieve sub-millimetre localisation on construction sites, and a neat software stack that lets us configure and control robots with ease. We’re deploying our robots on real construction sites and have started making the first revenue from our bricklaying-as-a-service model.

The software team is now nine people (~35 people overall), and continuing to grow. There’s strong customer demand for what we’re building, and we’re starting to scale up robot production to meet it.

Our stack is mostly: Rust, TypeScript, Python, NixOS.

Interested in getting your hands (sometimes literally) dirty solving interesting problems? Have a look at our open roles:

- Software Engineer, Controls

- Software Engineer, Machine Vision

- Other: assembly/manufacturing/electronics technicians, robot operators, workshop lead

https://www.monumental.co/jobs

strijdhagen · 2 years ago

Would you happen to be looking for a PM/Team-lead type role?

We're not looking for a PM at the moment (probably also not in the near future).

We're always open to talented people who have previously been in a team lead-type role and would like to switch back to being an IC. If you want to send a speculative application please drop an email to iwanttojoin@monumental.co.

waunbroderick · 2 years ago

Do you consider Canadians willing to relocate, no expenses covered just visa sponsorship?

Yes, we can sponsor visas!

jakespencer · 2 years ago

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.

jmspring · 2 years ago

Are the pay scales tied to the GS-* ladder?

Yes. Our entry-level hiring is done onto GS positions. Our experienced positions (requiring approximately three years of post-degree employment) are covered under the AcqDemo pay system (https://acqdemo.hci.mil). These experienced positions are generally a part of the NH-03 pay band, which correlates with the GS-12 and GS-13 grades of the General Schedule.

All of our positions are federal jobs.

itronitron · 2 years ago

They shouldn't be, as they can't offer the exact same benefits that the GS positions would have.

Deleted Comment

xp84 · 2 years ago

Is there a security clearance requirement?

All of our positions require a security clearance. You are not required to hold an active security clearance before you are hired, the investigation is part of the on-boarding process.

jstogin · 2 years ago

Float | Remote (US) / Chicago | Full-Time | https://www.float.trading

Float is a tech startup founded by mathematicians with a bold vision: to build real-time vector embeddings that capture the instantaneous state of the world's financial markets. We aim to reflect every market, every supply chain, and every relevant piece of financial data. Our tech will combine cutting-edge AI/ML techniques with real-time processing of streaming data.

If you’re interested in training GPT models from scratch on a domain other than natural language, this is a great opportunity.

Roles: Data Scientist, Software Developer, Machine Learning Engineer

Please email us (hiring at float dot trading) and mention HN in the subject.

dazbradbury · 2 years ago

OpenRent | London, UK | Full-Time | ONSITE+PART REMOTE | https://www.openrent.co.uk

What sucked the last time you rented a house or flat? Come and fix it.

OpenRent is a force for good in an industry tarnished by rip-off agencies. Enabled by an unrelenting focus on technology, we now let more properties than any agency in the UK. In the last 12m we let over £50 billion worth of property, to over 6 million registered users, without ever charging any admin fees.

You'll be working on solving every aspect of the rental journey, from models to predict the right price of a property, to building the future of property management, all to help tenants find their dream home, and landlords their ideal tenant.

We're VC backed, profitable, and have plenty of ambition to maintain our fast growth in this absolutely massive market.

Roles currently available:

- UX/UI Developer | Equity | 75k-100k+ (based on experience) + quarterly bonus

- Head of Operations | Equity | £60-£80k+ (based on experience) + quarterly bonus

- Customer Experience + Product Development | Equity | £30k + quarterly bonus

All roles visible here: https://www.openrent.co.uk/jobs

Dead Comment

ccleve · 2 years ago

ParentNet | Full Stack Engineer | Remote | Contract to start, leading to full-time work

ParentNet is a very early-stage startup that aims to provide parents within a school with a communications platform to talk among themselves. The goal is to give parents a tool to find out what's going on and to organize themselves. This is by parents, for parents.

ParentNet will likely be a not-for-profit, governed primarily by those who believe in parent's rights. Funding is available for this project.

Development has not yet started, which means you'll have a role in picking the tools to do the job. You must be familiar with developing database apps in either Java or Python.

You will work closely with the founder (me) to get the app built. I'm a developer myself, but do not have the hours available to get this done. We'll make technical decisions together.

Email me if you agree with the core mission, and you have the hours available to make this happen. Send me a link to your past work and your LinkedIn. chris at ccleve dot com

rcshubhadeep · 2 years ago

Sent you an email. I am a father of two young kids. I totally understand the pain you are addressing. Hope to talk soon

JCzynski · 2 years ago

How do you intend to weigh parent's rights against children's rights?

mynameisash · 2 years ago

> governed primarily by those who believe in parent's rights

This sounds like a dog whistle to me. Is there some more neutral sense to 'parents rights'?

jay-barronville · 2 years ago

As a dad, I love this idea. I’ll consider reaching out! Thank you.

dlnlsrd · 2 years ago

hey chris, sent u an email

remilekun9__ · 2 years ago

Hey ccleve, I sent an email.

lerpapoo · 2 years ago

interesting idea!

photomatt · 2 years ago

Automattic | Remote | Full-time | Multiple roles | $110-$210k+ and great benefits

We're looking for engineers to help us build, grow, and maintain products used by over a billion people each month across WordPress.com, WooCommerce, WordPress VIP, Jetpack, Tumblr, Beeper & Texts.com, Day One, Pocket Casts, and many more.

If you love the open web, open source, radical problem ownership, and simple over pure solutions, Automattic is probably the place for you.

We're working on some big initiatives, like running Tumblr on WordPress: https://automattic.com/2024/08/27/shipping-tumblr-and-wordpr....

Systems Engineer

Product-minded Generalist

…or find something else on https://join.a8c.com/allhn

frankdenbow · 2 years ago

Automattic going strong 20 years later and founder still recruiting on HN, thats cool :)

bityard · 2 years ago

Last year, I had a recruiter from Automattic reach out to me. Doing my research (as I always do), I read that the interview process is quite unusual. It might be different now, but at the time a candidate went through several interviews, two weeks of paid trial, more interviews, two weeks of waiting for an answer, and little feedback the whole time. So for me, that would mean at least a month of stress and unresolved anxiety. :) Lots of people on glassdoor describe the CEO as "mercurial."

But anyway, things I liked about the company are that they tend to work with mature technology stacks (e.g. probably a culture of iterative improvement vs teardown-and-rebuild) and that all engineers start out doing three weeks of helpdesk. That should be more common in the industry.

ElectricalTears · 2 years ago

Hi Matt, I'm really interested in the Platform Engineering position - do you have a referral URL for that?

I've applied - hope to hear from your team! - Eden