Upvote
Downvote
Senior Programming Languages Researcher
Share Job
- Suggest Revision
Full-time
- STR is seeking a Senior Programming Languages Researcher to be part of a multidisciplinary team of researchers and engineers dedicated to developing cutting-edge technologies with significant and immediate impact on our national security.
- We are looking for a Senior Researcher with versatile skills in programming languages, software analysis, or formal methods to help us advance the state of the art.
- The ideal Senior Programming Languages Researcher will be curious and motivated to work within a team structure to develop technical solutions in a rapid prototyping and results-driven environment.
- Proficiency in one or more functional programming languages, such as Haskell, Scala, Rust, ML, Racket, and Common Lisp
- Experience designing type systems and building type checkers
Active Job
Updated 3 months agoSimilar Job
Relevance
Active