bmays

You're welcome, godspeed.

The author of this book doesn't work at a big cloud provider (afaik) and wrote a pretty good write up on verifying a device setup protocol:

https://medium.com/espark-engineering-blog/formal-methods-in...

I think you can agree that _worse_ doesn't necessarily imply _harder_. More critical systems are online, software is more complex, more actors are in the mix, etc. Feels like semantics, anyway.

This is great, was looking for this exactly!

Uber | San Francisco | Mobile Platform Performance - Backend Engineer | Full-time | Onsite

You would be the 2nd backend engineer on the mobile platform, helping build out services to productionize our team's offerings. We have amazing engineers writing compiler plugins, forking Android (https://eng.uber.com/nanoscope/) and much more that we want to leverage to build out an internal web platform for performance testing.

We're in the early stages of building out a mobile device lab to enable 100s of mobile engineers to test against a mix of real-world devices- your first project would be helping me build a Golang service to orchestrate performance tests against the lab. We have a ton of interesting work coming up around device scheduling, battery regressions, device stability, etc that are classical distributed systems problems but with even worse hardware.

If this sounds interesting to you please first apply at https://www.uber.com/careers/list/29589/ and reach out to me at $username+hn@uber.com.

I'm just an IC so I can't speak to pay, location, title etc.