News for hackers. Stuff that matters.

A comment on Coming Soon: Machine-Checked Proofs in Everyday Development. Parent comment

Re:Coming Soon: Machine-Checked Proofs in Everyday Development by haskellandchill on Sunday December 31, 2017 @03:35PM (#16042767)
Were you able to find a position? You are qualified, but it's very competitive, few jobs and many PhD level candidates with experience.
[ Parent | on HN ]
Re:Coming Soon: Machine-Checked Proofs in Everyday Development by qznc on Sunday December 31, 2017 @07:42PM (#16043921)
Did not try. I'm only looking in southern Germany and afaik nobody does that here.
[ Parent | on HN ]