Sabitlenmiş Tweet
Rust Jobs 🦀
2.7K posts

Rust Jobs 🦀
@rustjobs_dev
Follow us for the latest #rustlang jobs from https://t.co/lreBl2wF74. Are you hiring or looking for a job? Tag us to get retweeted!
Latest Rust jobs → Katılım Aralık 2021
392 Takip Edilen8.2K Takipçiler
Rust Jobs 🦀 retweetledi

Feeling vindicated. That's why we started Turso in Rust, not zig. Zig has a lot of advantage and we seriously considered it. At the end of the day we felt that for something to match the reliability of SQLite, every bit helps. And memory safety would come in handy
Jarred Sumner@jarredsumner
why: I am so tired of worrying about & spending lots of time fixing memory leaks and crashes and stability issues. it would be so nice if the language provided more powerful tools for preventing these things.
English
Rust Jobs 🦀 retweetledi

Finally able to talk about what I've been heads-down on for 6 months at @nvidia 🦀⚡
We just open-sourced cuda-oxide — an experimental rustc backend that lets you write CUDA kernels in pure Rust.
No DSLs. No FFI. No source-to-source step. Single source.
Short🧵👇

English

🚨#Rust Job 🦀
We’re #hiring a Backend Rust Engineer to help build and scale the core platform of a startup operating at the intersection of cybersecurity and AI.
Location: On-Site, Toronto, Canada 🇨🇦
Salary: 130,000 - 150,000 CAD
rustjobs.dev/jobs/RustJobs-…
English

🚨#Remote #Rust Job 🦀
We are #hiring a Rust Systems Engineer for a pre-seed robotics infrastructure startup building low-level, zero-copy data systems on embedded devices.
Location: Remote Europe
rustjobs.dev/jobs/RustJobs-…
English
Rust Jobs 🦀 retweetledi

Following my recent post about becoming the new organiser for Rust Milan, the next step is officially in motion:
🎤 Call for Proposals: forms.gle/omK7HndYgrAxiZ…
🤝 Venues & Sponsors: forms.gle/s4oh6HEmYTbxDH…
English
Rust Jobs 🦀 retweetledi
Rust Jobs 🦀 retweetledi

RustNL launched a maintainers team funding core contributors to sustain Rust’s compiler, libraries, and tooling, ensuring long-term stability and growth.
#rustlang

English
Rust Jobs 🦀 retweetledi

🦀 BIG NEWS, Rustaceans!
Tickets are on sale and our speakers & schedule are live for #rustconf 2026!
📅 September 8–11 | Montreal + Online
A thread on what to expect...
rustconf.com/register?utm_s…

English

🚨#Remote #Rust Job 🦀
We are #hiring a Senior Web Crawling Engineer at a Stealth AI Startup to build large-scale, resilient crawling and extraction pipelines
Location: Remote EU or US
rustjobs.dev/jobs/Stealth-A…
English
Rust Jobs 🦀 retweetledi

@rustaceans_rs Yes! We're hiring a Staff Software Engineer at @finaryhq , a fintech platform (€25M Series B, backed by PayPal Ventures & YC) where Rust powers the core backend. finary.com/en/careers?ash…
English

🚨#Remote #Rust Job 🦀
We are #hiring a Senior Fullstack Engineer to build onboarding and ingestion integrations for logs, metrics, traces, and profiling, plus fleet management for monitoring agents
Salary: €100,000 - €130,000
Location: Remote (EU)
rustjobs.dev/jobs/Observabi…
English

🚨#Remote #Rust Job 🦀
CoW DAO is #hiring a Senior Backend Engineer (web3) to build and scale backend services for trading infrastructure
Location: Remote
rustjobs.dev/jobs/CoW-DAO-S…
English
Rust Jobs 🦀 retweetledi

A Rust port of porcupine (github.com/anishathalye/p…), the fast linearizability checker for concurrent systems.
link: github.com/debasishg/porc…
Some architectural features of the Rust implementation -
1. Go lineage, Rust performance. The core algorithm - DFS with backtracking, an index-based doubly-linked list, and a bitset-keyed cache - You get Go's proven correctness with Rust's ownership model and zero-cost parallelism via Rayon.
2. Two history representations. Accepts either `Operation`-based histories (call + return timestamps) or raw `Event` streams (interleaved call/return pairs), matching both entry points of the Go API. Histories are optionally split into independent partitions and checked concurrently, one Rayon task per partition.
3. Formal specification as ground truth. The implementation is governed by a Quint model (`tla/Porcupine.qnt`) that encodes seven named invariants - well-formedness, real-time order, minimal-call frontier, soundness, completeness, P-compositionality, and cache soundness. Every invariant is enforced at runtime via `debug_assert!` macros keyed to `INV-*` IDs in `docs/spec.md`, keeping spec and code in lockstep.
4. Exhaustive test suite. 60 unit tests cover the full call graph from entry-sorting and linked-list lift/unlift through cache pruning, timeout semantics, and `CheckResult` priority. Integration tests replay 102 Jepsen traces (etcd, KV store, set model, register) against the Go reference outputs. Property-based tests (proptest) verify compositionality, cache soundness, and sequential linearizability across randomly generated histories.
5. Bounded search with clean timeout API. Both `check_operations` and `check_events` accept an `Option` timeout. A cancellable timer thread (backed by a `Condvar`) is woken immediately when the DFS finishes, so threads do not linger for the full deadline. The result is always one of three values: `Ok`, `Illegal`, or `Unknown` - with `Illegal` taking priority even when the clock runs out.
English
Rust Jobs 🦀 retweetledi
@lennysan @zeddotdev is hiring Rust Engineers, AI Engineers and Open Source Engineers. Remote (NA, SA, Europe) - zed.dev/jobs
English



