The conclusion in the paper states it's left as future work.
"Future work
also includes automatically inferring inductive proofs for other
distributed protocols, such as Byzantine Paxos [15], Raft [90],
etc., and exploring the verification of consensus algorithms in
blockchain applications.
"
Yup. I had to include both my parents tax information. It was assumed they would contribute a bunch of money, which zero was contributed from them. I got $0.00 in free money from parents or government. That was fun.
I've been full time remote for four months now. To even get me to drive a mile to work would require a significant bump in salary and options to lose out on this quality of life. It's almost unrealistic at this point that I would ever consider going to work in an office again.
I save a BUNCH of money, I get to work with other remote employees across the world, I mostly work my own hours, and I even got a decent bump switching to this job.
The pay is better than a lot of positions that are local to me in SoCal.
I do miss some social interactions during the day, but slack and getting lunch with friends and previous co-workers fills that gap decent enough.
I see job postings come across all the time in my filters for stack overflow jobs, but the pay and benefits are equivalent to my current situation, except I would have to move to a higher CoL and go into an office.
I use a DXRacer King series and work remotely. I've tried multiple Herman Miller models and steelcase models and returned them within the 30 day period.
I thought the $1500 chairs would be more comfortable, but they were awful for me. The $500 gamer chair is leagues ahead of the others for me.
On a more serious note, does the US have red teams which try pen test our own power grid and other critical infrastructure? I don't believe I've ever heard of it, but I would have to assume at least one three letter agency does it right? (I hope)
Everytime the job posting comes up I pop up Zillow and try to do the math, but quite literally a comparable house to mine is $700k-$800k where mine is only $300k-$400k in TX near Dallas. I don't believe I would be able to support and provide anyway near the same quality of life for my family, especially without jeopardizing future savings I am currently able to make now.
You say after the tour of duty like you aren't able to stay employed, is this true?
If I was single and had no dependents, I think I would have already applied, because money wouldn't matter nearly as much.
I feel it is extremely unfortunate USDS doesn't offer remote work because they could pull talent across the nation given the lower pay and higher CoL.
I know this would be a much more rewarding position than working for another mortgage company or consultancy..
I looked around the "Hiring FAQ" and it doesn't state if a degree is required, is it?
Also, I saw the salary range had a maximum range of $160,000, is this a hard cap? I'm already making this in base salary not including overtime and bonuses and it does not seem that bonuses or overtime are mentioned in the FAQ.
I took a look at the housing situation near the office and to get something close to comparable to my situation is nearly double the price of my current living situation, yet I would make less with no upward potential, if given a lateral transfer which would be the maximum.
I'm critical about this because I'm always interested in this position (company/job?) when the hiring thread comes around. I look at this hiring post every time this thread goes up, but never post anything because it doesn't seem like it would work out due to quality of life loss and loss of upward potential.
"Future work also includes automatically inferring inductive proofs for other distributed protocols, such as Byzantine Paxos [15], Raft [90], etc., and exploring the verification of consensus algorithms in blockchain applications. "
https://arxiv.org/pdf/2108.08796.pdf