1 semantic-web Postdoctoral positions at The University of Iowa

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

    . The postdoctoral 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

Enter an email to receive alerts for semantic-web positions