1 web-semantic Postdoctoral positions at The University of Iowa in United-States

POSTDOCTORAL SCHOLAR

The University of Iowa | Iowa City, Iowa | United States | about 16 hours ago

scholar will contribute to an NSF-funded project exploring a new semantic foundation for type classes and type families in Haskell. Their work will include formalizing the new approach in Lean, implementing