• Ph.D. in Formal Verification and Deep Learning at Rutgers U

    Dr. He Zhu is an assistant professor in Computer Science at Rutgers University, New Brunswick. His group has positions for (at least) two Ph.D. students (Fall 2020) to conduct research in areas including formal methods and deep learning.

    Dr. Zhu's main research theme is improving software safety, correctness and trustworthiness via program analysis, verification, synthesis, and machine learning. Dr. Zhu's current research focus lies at the intersection between deep learning and symbolic reasoning. On the one hand, his group is working on applying deep learning to improve software system safety and correctness. On the other hand, his group is investigating how symbolic reasoning can make deep learning more data-efficient, reliable and trustworthy. Besides deep learning systems, his group also studies applying formal verification and programming language techniques to build trustworthy distributed systems.

    Please visit Dr. Zhu’s webpage at http://herowanzhu.github.io for more information. If you are interested in working with Dr. Zhu, please contact him directly by sending your CV to (he.zhu.cs@rutgers.edu).

    2019-12-10
  • 3 PhD positions at Rutgers University(代友发文,请勿站内)

    美国罗格斯大学数据管理研究组招收博士生

    罗格斯新泽西州立大学(Rutgers University - New Brunswick)是美国历史上第八所高等院校。学校位于有“花园州”之称的新泽西州,距离纽约曼哈顿六十公里,地理位置优越,校园环境优美。据CS-Ranking,其在美国大学中排名第24名。

    计算机系助理教授邓栋现计划招收博士生三名,于2020年秋季入学,研究方向为数据管理,数据科学,数据库系统。有关邓栋的信息请访问他的主页:https://www.cs.rutgers.edu/~dd903/

    对学生的素质期望:

    1. 踏实,主动性强,有探索欲

    2. 对数据相关研究有极强的兴趣

    3. 出色的算法设计与系统开发能力

    请想申请的同学按照下面的邮件格式把简历发到: dong.deng@rutgers.edu

    邮件主题:PhD Application 学校 + 专业 + 姓名

    邮件正文:个人简介(200字以内,中英文不限)

    邮件附件:简历与成绩单(附加权平均分和排名)

    来信均会仔细阅读并尽快回复,谢谢!申请链接:https://gradstudy.rutgers.edu/apply/apply-now

    2019-12-09
  • Re: 求问北京哪一个医院治疗牛皮癣好?红包感谢

    找西苑医院的付中学大夫(或者黄学洲大夫),他会把患者弄一个群里,群里不少治好了的。

    【 在 huangtian549 的大作中提到: 】

    : 麻烦把微信号私信给我吧,非常感谢你

    2019-11-05
  • Re: 苹果手表4碎屏了值不值得修

    哪家

    【 在 qgg 的大作中提到: 】

    : 找个淘宝店修,我修的那家手艺不错的

    2019-10-24
  • 国航金卡还差2000公里

    可以打电话要求升金卡吗?另外中信世界卡有必要办吗

    2019-08-17
  • Re: 苹果手表4碎屏了值不值得修

    所以注意保护好你们的手表,没手机耐操,一摔就碎

    【 在 winsen () 的大作中提到: 】

    : 换个屏幕这么黑

    2019-08-12
  • 苹果手表4碎屏了值不值得修

    换个屏幕2000多,新的3000多

    2019-08-12
  • 手机黑屏数据怎么导出

    iphone 6s前几天突然黑屏了,怎么都打不开了,充电,重启,连电脑都没反应。里面好多照片没有备份,想要导出来,有啥办法吗,或者哪里能修?

    另外在iphone 6s黑屏的前一天,苹果手表掉地上外面的屏幕碎了,但是触屏还是能用。没买保险。有非官方渠道换屏幕的吗?谢谢。

    苹果的产品还是太脆,不耐操啊

    2019-05-29
  • 儿童医院

    大家觉得儿童医院的医生怎么样

    2019-03-18
  • Re: 女子将鲜榨果汁静脉输注险丧命:以为新鲜水果营养丰富 (转

    鸡血没打过,喝过。不知道有啥影响

    【 在 bthere4u 的大作中提到: 】

    : 学术版问一下,之前有打鸡血,看过一个纪录片的,当年打鸡血非常流行。了解一下,是如何做到不感染的?

    2019-03-18
  • Re: 政协委员建议改进人才使用评价机制

    真TMD黑啊!!

    【 在 kickmao 的大作中提到: 】

    : 我关注的是为什么舒红兵这样“故事”多多的人可以作副校长、政协委员。

    : 说好的立德树人呢。

    2019-03-08
  • Re: 北京市2019年税前1w、5w、10w按月扣税明细

    那税不算高呀,比美国1/3的低的多了

    【 在 phdoctor 的大作中提到: 】

    : 不算

    2019-01-23
  • Re: 北京市2019年税前1w、5w、10w按月扣税明细

    公积金和到手工资是什么关系呀,公积金是算在到手工资里吗

    2019-01-23
  • Re: [求助] 买的房子有户口怎么办

    可以超过2户吗,可以一房3户吗

    【 在 Neltharion 的大作中提到: 】

    : 北京允许一房多户的啊

    2019-01-22
  • [求助] 买的房子有户口怎么办

    第一次买房没经验,买了个带户口的房子,现在应该怎么办呀。

    前房主是位女士A,离异后再婚。房子产权全部在A的名下,但是A的前夫的户口还在房子里。当时约定,到今年如果A的前夫还不把户口挪走的话,就没收10万块钱押金。现在看来A并不差这10万块钱,户口的事情还没有任何影子。

    现在发现如果想要卖房或者换房的话,有这个户口好麻烦。我是唯一住房,如果卖房,那我的户口挪不出去,下任房主的户口就不可能挪进来。如果换房,我只能先买二套,把户口挪过去,再卖这一套。如此一来,二套的首付70%根本凑不齐。

    现在应该怎么办,还没有和A联系。如果和A联系,有什么办法能让A把她前夫的户口给挪走呢?先谢谢大家的建议了。

    2019-01-21
  • Re: [求助]亲姐性格倔强(贴微信),求分析是不是自尊心过强

    看这个对话,我觉得你姐姐可能有双相情感障碍,有时间带你姐姐去医院看下

    【 在 abuthu 的大作中提到: 】

    家庭背景:山东农村家庭,父母在村里特别老实,从小爸爸不顾家,不会打算,日子过得穷。妈妈一直埋怨爸爸,嫌他不顾家,此为背景。

    : 姐姐从小受妈妈影响,不喜欢爸爸,矛盾一直很严重,基本没法说话,一打电话就吵。另外,姐姐一直工作不顺利,13年本科毕业上班后不会跟同事相处,后来辞职回烟台老家,换了好几次工作,每次工作都会嫌弃同事(学历低、层次低、单位差之类的。。),直到去年在济南新东方教语文,才干了一年多。个人感情也不顺利,有一次她特别喜欢一个警察,但是人家不愿意,最后就消失了,姐姐很生气,就一直想找人家问个说法,要听着人亲口说拒绝才行,那一段时间情绪经常崩溃。持续一年的样子,我让他换了工作去济南,到了新单位有个男同事平时喜欢跟她说话,她又以为人家喜欢她,掏心掏肺的说一堆家里的鸡毛事给人家,后来也没成,姐姐又是一段时间的抱怨自己遇到了渣男。

    : 我感觉她性格不好,想问题过于简单,仗着自己的学历看不上周围人,其实是个中部211本科。我老是想给她讲怎么为人处事的道理,但是她总是会反驳我。。

    : ...................

    2019-01-15
  • Re: 国航的金卡和银卡权益差别不大?

    休息室我办了一个国外的世界卡,2000人民币的年费,似乎有loungekey,可以去很多休息室。买机票和订酒店能便宜一些。

    【 在 Aaron 的大作中提到: 】

    : 国航银卡没有休息室

    2018-12-17
  • Re: 国航的金卡和银卡权益差别不大?

    有什么差别呀?休息室都是公务舱的休息室。对了,可以优先登机?除了这个还有别的吗

    【 在 smallyoung 的大作中提到: 】

    : 开玩笑呢??

    2018-12-16
  • 国航的金卡和银卡权益差别不大?

    rt

    2018-12-16
  • 国航银卡差700公里能保级吗

    2018-12-16