KeyMe Locksmiths | IT Sysadmin | Remote | key.me

Fully automated self-service key duplicating kiosks can be found in over 7,000+ locations across the country in major retailers such as WalMart, Kroger, 7-Eleven, Menards, and many others.

We're hiring an IT Support Sysadmin to help manage and automate the hardware our employees use day to day, and the 7000+ kiosks we manage in the field. Linux, Windows, MacOS, SaltStack, Docker, AWS, with Terraform and Kubernetes.

Reach out to tim.mahoney@key.me and mention "IT Support Sysadmin" in the subject.

Psiphon | iOS / Flutter Developer | Toronto (Hybrid) | Full-time

Psiphon is a VPN app used by millions of people to access the open internet in regions where it's restricted. Small team, software that matters.

We're building the next-gen client app in Flutter (iOS, Android, macOS, Windows) and need someone who can work across both iOS native and Flutter. Split is roughly 65% Flutter, 35% iOS native (Swift, StoreKit, entitlements, network extensions). You'll have mentorship from a senior iOS specialist for the deeper networking work.

Day to day: Feature development in Flutter, iOS platform integration (subscriptions, permissions, App Store), and occasionally going deep into network extensions and packet tunnel providers. Small team (~3-4 core devs), high ownership, low ceremony.

Looking for: Strong Swift experience beyond just UIKit/SwiftUI app dev, comfort with the iOS ecosystem (App Store process, provisioning, StoreKit), and willingness to context-switch between Swift and Dart in the same day. Flutter experience is a strong plus but not required if you pick up frameworks quickly.

Contact: jobs+hn@psiphon.ca

Burnin (London or NYC) | Founding Research Scientist + Founding Engineering Lead | Hybrid (Some on-site) | Full-time

We are building the trust stack for AI code generation, targeted at high-stakes computing where wrong numbers cost real money: a statically typed functional language designed for coding models, a compiler whose guarantees double as audit-grade trust infrastructure, and a coding model fine-tuned on the language with compiler fitness as the training signal. Language and model are co-designed.

Small team out of PyTorch, FAIR, and Meta. Strong institutional VC support from our pre-seed; active investor interest heading into seed.

Founding Research Scientist: own the agenda across the language and the model. Type system design, compiler analyses that produce useful fitness gradients, and fine-tuning open-weight coding models on a language with no pretraining footprint. Publish in PL and ML venues. Strongest fits cross between machine learning, programming languages, and formal methods. PhD preferred, equivalent output equally fine. Stack is Rust, Lean 4, Python.

Founding Engineering Lead: own engineering across compiler internals, language runtime, GPU backends, notebook and library tooling, and the AI infrastructure around training, evaluation, model release, and likely public inference. We already support x86 and ARM, CUDA and AMD, macOS and Linux, and the matrix grows. Real feel for statically typed functional programming expected; the kind of engineer who picks up Lean or Haskell on a weekend because they wanted to. Have led engineering before, formally or not. Stack is mostly Rust with Python where it earns its place, primarily on AWS.

Both roles: comfortable with early-stage ambiguity, define your own roadmap, defend it with evidence.

Apply: RS: https://wellfound.com/l/2Carrr Eng Lead: https://wellfound.com/l/2CewDC

Socials: YT: https://www.youtube.com/channel/UC4DLS_emqwKXO7A9qaOtxlw SS: https://burninai.substack.com/