Formal methods scientist at INL

Stream: job postings

[Paula Neeley]

Interesting opportunity I came across recently:
https://inl.taleo.net/careersection/inl_external/jobdetail.ftl?job=19217
The project involves working on a team lead by Greg Shannon. From what I understand, there may be a possibility for remote work.