3 ms·
- Location: Indiana, USA - Remote: Yes - Willing to relocate: Yes - Technologies: Haskell (4 years), compilers (3 years), verification (mostl
by osa1 10y ago
- Location: Indiana, USA
- Remote: Yes
- Willing to relocate: Yes
- Technologies: Haskell (4 years), compilers (3 years), verification
(mostly in Coq), systems programming (OS, networking), C, Rust.
- Resume/CV: http://osa1.net/OmerSinanAgacanCV.pdf http://osa1.net/OmerSinanAgacanCV.pdf
- Email: omeragacan@gmail.com