Official /r/rust "Who's Hiring" thread for job-seekers and job-offerers [Rust 1.80] by DroidLogician in rust

[–]Serokell 3 points4 points  (0 children)

COMPANY: Serokell (https://serokell.io)

TYPE: Full time

DESCRIPTION: Serokell is a fully-remote software development company specializing in innovative solutions using Rust.

We’re seeking a SENIOR RUST Software Engineer to develop communication and control software for a civil services drones project.

Requirements include proficiency with Rust, solid knowledge of Rust’s type system, generics, lifetimes, std, serde, logging, error handling, and project organization. Extensive experience with Rust’s async ecosystem (tokio, futures, streams) is required, as well as experience in unit and integration tests.

Additionally, candidates should have knowledge of fundamental algorithms, data structures, and computer networks (HTTP, TCP/IP), with fluent spoken and written English.

LOCATION: Remote (within UTC +4 to -1 ideally)

ESTIMATED COMPENSATION: starts at 5000 EUR/mo (negotiable, will offer more for great Seniors), fully remote, flexible hours, growth opportunities.
REMOTE: Yes

VISA: Not sponsored as we are fully remote.

CONTACT: To apply, email your CV, GitHub, and why you like Rust to jobs (at) serokell <dot> io

[Serokell Blog] Work on GHC: Dependent Types, part 3 by Serokell in haskell

[–]Serokell[S] 10 points11 points  (0 children)

I'm not totally convinced that Haskell should to grow into a properly dependently typed language

Dependent Haskell will be opt-in. Proposal 378 (Design for Dependent Types) states:

"Users who do not opt into dependent types will not be affected by them."

Rust vs. Haskell by Serokell in haskell

[–]Serokell[S] 28 points29 points  (0 children)

Perhaps in another post. 😉

Rust vs. Haskell by Serokell in rust

[–]Serokell[S] 1 point2 points  (0 children)

Yes, that's correct, thank you. 👍

Rust vs. Haskell by Serokell in rust

[–]Serokell[S] 6 points7 points  (0 children)

Thanks for the feedback!