$100K — $150K *
Develop and drive high-impact research in proof-oriented programming languages and systems with a focus on software development.
Collaborate to develop and test out new ideas within existing or new collaborative teams.
Build and maintain state-of-the-art proof-oriented programming systems.
Prepare technical papers and presentations.
Valid through: 1/30/2022
$80K — $100K *
3 days ago