Postdoc position at UCSB

Discussion in 'Job/internship opportunities' started by Vạn Quy Tàng, Sep 15, 2015.

  1. Vạn Quy Tàng

    Vạn Quy Tàng Hài Chi Đạo

    Bác này đang tìm post doc cho DARPA funded project.
    Chưa (không?) có formal ads.

    Yêu cầu chung là expert về develop SMT solver.
    Nhóm này ko phải là expert về SMT, nhưng mới develop 1 theory solver (xem 2 paper năm nay ở CAV và FSE), và muốn mở rộng thành SMT.

    Bạn nào quan tâm có thể contact trực tiếp.
    Mình cũng có thể đưa giúp CV, nhưng intro là chính, ko có trọng lượng gì :D
     
  2. Vạn Quy Tàng

    Vạn Quy Tàng Hài Chi Đạo

    Official ads:
    http://www.cs.ucsb.edu/news/2242
     

Share This Page