Rust Jobs - February 2022

At Formal Land we apply formal verification to everyday-life programs. Our key technique is to translate programming code into similar formal Coq code, and do our formal specifications/proofs directly on it. As our main customer, we are formally verifying th…

I'm cofounder and CTO of Bractlet; we’re on a mission to solve climate change by using technology to enable energy efficiency. In a nutshell, we turn the budget and energy consumption of a building (usually office-centric skyscrapers) into an engineering opti…

FullStory is looking for someone with deep systems programing experience. This role is about taking things apart and seeing what makes them tick, not building new apps. iOS-specific experience is a plus, but not a strict requirement. We use Objective-C with a…

Spruce is hiring programmers to develop world-class open source products and libraries implementing open global standards in identity. At Spruce, we are reimagining trusted interactions by creating the world’s best software for packaging beliefs digitally, st…

Tangram makes it easy for programmers to train, deploy, and monitor machine learning models. With Tangram, programmers can train models and make predictions on the command line or with libraries for languages including Elixir, Go, JS, PHP, Python, Ruby, and R…

NZXT is a fast-growing company made up of gamers, builders, and PC enthusiasts dedicated to creating hardware, software, experiences, and services that surprise and delight gamers of all types. Our company is staffed with creative, motivated people who truly …