Looking for remote work as a compiler tester or static analyzer
Intermittently retired, but available for sufficiently interesting part-time remote work in static analysis, compiler testing, or artificial intelligence.
-
@matter-labs matter-labs
- Greater Princeton
-
09:41
(UTC -04:00) - http://flash-sheridan.name
- https://orcid.org/0000-0002-0327-1370
- http://www.linkedin.com/in/flashsheridan
- @Flash_Sheridan
Pinned Loading
-
alive2
alive2 PublicForked from AliveToolkit/alive2
Flash’s fork of automatic verification of LLVM optimizations
C++
-
Randall-Holmes.github.io
Randall-Holmes.github.io PublicForked from Randall-Holmes/Randall-Holmes.github.io
repository for my home page
HTML
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.