Ask HN: Who is hiring? (June 2024)

Language REACTOR

Me and Ognjen are based in BULGARIA / Serbia. Most of the time REMOTE, but, generally we like to meet up 2-3 times a year for a few weeks in a nice location.

We make software for learning languages. The focus is on making tools, rather than content. It's a competitive field. That means understanding learners' needs, and relentlessly applying ingenuity and resourcefulness to make something of value. We manage well though, and the financial side is solid.

We run bare metal servers at Hetzner, and a number of big GPU machines in Bulgaria.

Salaries are ~Western European. Additionally, special effort will not be unrewarded. I can help arrange an EU Blue Card / VISA if needed. Bulgaria is Schengen now, taxes among the lowest in the EU, lots of mountains and pine trees, cost of living still relatively low. No hard rules around work hours or vacation. If you are reliably helping the project progress, and are available during critical weeks, I don't mind what time you drink your coffee or what timezone you are in.

As a minimum:

-- Thoroughly comfortable writing Typescript (or experience with similar language)

-- Familiarity with HTML/CSS

-- ..and linux terminal.

There's a substantial amount of mostly decent code, some even pretty good. It will take some time to become familiar. Noone will be standing over your shoulder, you need to be able to make yourself useful. You will be creating new features. Somewhat open-ended, rather than just taking bug tickets. Things need to be polished and hardened before launch, and some older code needs rewriting from time to time.

Other skills that would be highly useful:

-- Backend skills (linux admin, ZFS backups, postgres tuning etc.)

-- Knowledge around ML/DL, Python, NLP, fine-tuning LLMs, ASR and TTS.

-- Strong React and CSS skills (we use MUI for our website, and have an unfinished RN Tamagui prototype).

-- Doing some server hardware maintenance or upgrades (server hardware is mostly like PC hardware with some extra bits).

-- Not adverse to occasional travel to meet a potential collaborator, or some occasional non-code work.

-- Experience or connections in highschool/university language education.

-- Knowledge of languages, particularly East Asian.

-- Electronics design and manufacture (yes).

I'm not adverse to teaching what I know, but then it's probably going to need to be more in-person then.

I'll be honest here: this could be a dream job for some, and rather demanding for others.

dioco@dioco.io

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

If we applied a few months ago, but we got rejected, but we have updated our skills by learning new technologies that was listed in the job description, can we apply again?

This is for the senior SWE position.

Thanks, edited.