11–20 of 678 posts
entex is a small established Swiss IT service provider. We offer some of the classics: IT support, infrastructure, web development and high-end security cameras. We deal with a lot of “boring” tech and it’s great! (Well, mostly great!)
After a recent change in ownership, we are looking to grow, reinforce the existing team and expand our service offering.
(APPLICATION WINDOW CLOSED)
We're building a new computing stack with formally verified data, memory, and resource isolation between executions for instant, truly elastic global compute. This includes designing and building a production language in a way that's never been done before, with complete, mechanized formal specifications and a certifying compiler from the start. Our immediate goals include an alternative to eBPF and building the world's first serverless networking infrastructure.
We are VC funded with runway for multiple years. The team is composed of PhDs from Stanford, UW, OSU, and Brown, advised by professors from MIT and UWaterloo.
We are currently hiring for the following positions:
- [1] Staff Software Engineer: Compilers, Programming Languages, and Verification ($175k - $250k + ≥ 0.4%)
- [2] Formal Verification Engineer: Formal Methods and Programming Languages ($120k - $200k + ≥ 0.2%)
- [3] Software Engineer: Compilers and Programming Languages ($100k - $175k + ≥ 0.1%)
- [4] Formal Methods PhD Intern: Formal Methods and Programming Languages ($10k / month)
Please see [5] for general information. Apply via our job board [6].
[1] https://formalstack.com/jobs/05-2026/staff-software-engineer...
[2] https://formalstack.com/jobs/05-2026/formal-verification-eng...
[3] https://formalstack.com/jobs/05-2026/software-engineer-v.pdf
[4] https://formalstack.com/jobs/05-2026/formal-methods-phd-inte...
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/
We're hiring an AI Engineer to build and ship production AI systems - not research prototypes. Startup experience is a must: we want someone who has shipped fast in a small team, owned systems end-to-end, and is comfortable with ambiguity. Big-company-only resumes won't be a fit.
You will own: - RAG pipelines and agentic workflows (end-to-end accuracy) - GPU-optimized model deployment (Trident-style architecture) - Production MLOps: distillation, fine-tuning, training orchestration - Data modeling for AI persona capabilities - The infra around it: Docker, CI/CD, logging, monitoring, observability
You should have: - 3-12 years shipping AI/ML in production (notebooks do not count) - Time at a startup or scale-up where you owned what you built - Strong Python; bonus for C++/Java/C# in performance-critical paths - Hands-on with RAG, MLOps tooling, and GPU deployment at scale
W2 full-time. Must be authorized to work in the US. No remote, no C2C.
Apply: saikumar@engineeringsquare.us (subject: "AI Engineer - [Your Name]")
UpMetrics provides an impact reporting platform and expert services designed to help mission-driven organizations and funders leverage data to accelerate social change. By combining innovative technology with community building, we empower partners to collect insights, secure capital, and share compelling stories to achieve their goals.
We’re looking for a Full Stack Engineer to join our mission-driven team and help build the technology that powers social impact. This role is primarily remote with occasional meetups in Sacramento with our Director of Engineering.
Stack: Ruby (flexible if you know Python), JavaScript/TypeScript, Vue (or React, Svelte)
Looking for: 6+ YOE, startup experience
Check out the full job description & apply here: https://jobs.lever.co/UpMetrics/62b78791-e881-44c7-bf21-c82b...
(Applicants must be authorized to work in the United States. UpMetrics is unable to sponsor or take over sponsorship of employment visas at this time.)
https://www.codeweavers.com/about/jobs
CodeWeavers needs new, full-time developers to improve Wine's ability to run games and other types of software and integrate well with the native operating system and other system components. Positions are available to work on a variety of Wine-based software, including CodeWeavers's own CrossOver product; the Proton project for Valve Software; and projects for other clients and software internal to CodeWeavers.
We are hiring remote programmers, US or international, as well as workers local to Saint Paul, Minnesota. We will consider relocation, if desired, on a case-by-case basis. Please see link above for information, benefits, requirements, and how to apply.
Please direct any questions to the email address on our Jobs page.
If you are interested in pushing the boundaries of vulnerability research and embedded security, please apply via the link above or reach out directly to our team at recruiting@twosixtech.com.
I'm the founder of Normcore.io, an autoscaling game server hosting service and Unity plugin that includes all of the pieces you need to create a multiplayer game. We launched a few years ago and have hosted over 1 billion multiplayer games since launch. We also make our own VR titles that are built on top of our own networking tech: https://www.youtube.com/watch?v=djsPTbs7R_w
I'm looking to hire a Head of Strategic Finance. We're looking for someone to model our revenue streams, create financial projections for the company, and help design the monetization strategy for our titles. We make heavy use of Claude for Excel and Claude Code to create tools to track popular titles, store charts, basically any data we can use to understand the gaming market. We then use that data to determine the direction for the company.
Reasons you'd love working with us:
* Work with a small, focused, and extremely talented team.
* Fully remote job with flexible working hours and vacation (Our whole team is remote too)
* High work satisfaction, own entire features, and work on an SDK that’s already used by 100,000+ developers.
If you're interested, please send an email to careers@normalvr.com with your LinkedIn and a few sentences about why you would be a good fit for the role. Blank emails with resumés or generic applications that don't follow these instructions will be ignored.
About the company:
• Technical founding team with relevant industry experience
• Backed by well-known European VCs (SpeedInvest + Galion.exe)
• Cloud native & freedom to shape our tech stack (TypeScript + Python)
Ideal candidate:
• Previous experience at start-up building tech at scale
• Thinks in terms of product functionality and customer demands not just features
• Familiar with API first practices and frameworks
• Bonus points if you are an ex-founder or have been first hire before
Moyai is an AI-powered agent monitoring tool for AI engineers looking to catch agent failures in production. Reach out to the founder directly: https://www.linkedin.com/in/rhommes/ or visit our website https://moyai.ai