Please state the location and include REMOTE for remote work, REMOTE (US) or similar if the country is restricted, and ONSITE when remote work is not an option.
Please only post if you personally are part of the hiring company—no recruiting firms or job boards. One post per company. If it i...
Please only post if you personally are part of the hiring company—no recruiting firms or job boards. One post per company. If it isn't a household name, explain what your company does.
Commenters: please don't reply to job posts to complain about something. It's off topic here.
Readers: please only email if you are personally interested in the job.
Searchers: try http://nchelluri.github.io/hnjobs/, https://hnresumetojobs.com, https://hnhired.fly.dev, https://kennytilton.github.io/whoishiring/, https://hnjobs.emilburzo.com.
Don't miss these other fine threads:
Who wants to be hired? https://news.ycombinator.com/item?id=41425908
Freelancer? Seeking freelancer? https://news.ycombinator.com/item?id=41425909
Comments
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).
Off topic, but since you are here, thanks for rocket.rs. Awesome project!
By sbenitez 2024-09-036:28 Thank you! I truly appreciate you saying that.
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!
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. :)
By geraldog 2024-09-0323:19 Thanks Sergio! :)
By andreweggleston 2024-09-0223:051 reply 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!
By sbenitez 2024-09-036:34 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.
> 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?
By lowkey_ 2024-09-0319:02 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.
By generatedtruth 2024-09-0320:58 But why? We have the internet.
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
By strijdhagen 2024-09-0313:211 reply Would you happen to be looking for a PM/Team-lead type role?
By rossng 2024-09-0315:19 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.
By waunbroderick 2024-09-040:581 reply Do you consider Canadians willing to relocate, no expenses covered just visa sponsorship?
By rossng 2024-09-048:22 Yes, we can sponsor visas!
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/
> 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.
By agatahr 2024-09-0512:42 Thank you for the feedback, we'll take it under consideration.
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?
By agatahr 2024-09-0512:40 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.
By ruanbo1003 2024-09-097:24 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.
By bigallen 2024-09-0520:07 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.
By 3shv 2024-09-0519:52 Slightly off-topic: What open-source projects do you recommend someone to go through to increase their Python knowledge/expertise?
By Webtaculars 2024-09-035:021 reply 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)
By przadka 2024-09-037:14 Thanks!
By przadka 2024-09-037:14 <3
By przadka 2024-09-037:17 We do not. We cooperate on b2b/contractor basis.
By orendrasingh 2024-09-0915:51 amazing hiring process
By krishna0512 2024-09-037:001 reply Very cool careers page!!
By przadka 2024-09-037:14 Thank you!
