1946年，王浩前往美国哈佛大学，在那里见到了当代美国著名哲学家、逻辑学家奎因(W.V.Quine，1908--)，并随即开始学习他创立的形式公理系统，不久就对该系统作出改进，其部分结果写成博士论文.根据奎因的建议，论文的题目取为《经典分析的经济实体论》(AnEconomicOnto1ogyforC1assicalAnalysis).1947年开始担任奎因的高等逻辑与语言哲学等课程的助教；1948年获理学博士，并继续留在哈佛大学；1948一1951年任初级研究员，195l--1956年任助理哲学教授.1949年奎因暂离哈佛期间，王浩接替他开设高等逻辑课，用一种相当完备的方法介绍哥德尔的不完备定理.

1950--1951年期间，王浩赴瑞士苏黎世联邦工学院数学研究所，从事博士后研究.1954年以洛克菲勒基金会研究员的身份去英国.1954--1955年在英国牛津大学主持第二届约翰·洛克哲学讲座.1956年获牛津大学巴利奥尔学院硕士.1956--1961年任牛津大学数学哲学高级讲师.期间曾主持一讨论班，讨论维持根斯坦的《对数学基础的看法》.牛津大学哲学家中的领头人物大多数参加了这个讨论班.1961--1967年回到哈佛任数理逻辑与应用数学教授.l967年以后在洛克菲勒大学任数学教授，并主持该校的逻辑研究室.l975--1976年曾到普林斯顿高级研究所访问和工作.

l953年起，王浩开始计算机理论与机器证明的研究.因为一方面他敏锐地感觉到被认为过分讲究形式的精确，十分繁琐而无任何实际用处的数理逻辑可以在计算机领域发挥极好的作用；另一方面由于新中国的成立，他想多学点有用的东西以便将来回来报效祖国.为此他曾兼任巴勒斯公司的研究工程师(1953--l954年)、贝尔电话实验室技术专家(1959--1960年)、IBM研究中心客座科学家(1973--l974年)等一系列职务.

1972年以后，王浩数次回国.1973年他写了《访问中国的沉思》，被报纸与杂志广泛刊载.1985年兼任北京大学教授；1986年兼任清华大学教授.

王浩曾发表100多篇论文.主要著作有：《数理逻辑概论》(ASurveyofMathematicalLogic，l962)，其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章.《从数学到哲学》(FromMathematicstoPhlcosophy，1974)，作者试图用"实事求是论"(Substantialfactualism)的观点阐述对一系列哲学问题，特别是数学哲学问题的看法，并对当今在西方世界影响甚大的分析哲学进行批判，书中还包括大逻辑学家哥德尔一些未发表的哲学观点，极有研究价值.《数理逻辑通俗讲话》，有中英文两种版本，这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的.《超越分析哲学--公平对待我们具有的知识》(BeyondAnalyticPhilosophy--DoingJusticetoWhatweKnow，l986)，作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍，并给予镇密的分析和有力的批判，主要论据是他们的哲学无法为人类现有的知识，特别是数学知识，提供基础.由于作者非常熟悉这四人的工作，甚至与其中一些人有直接交往，所以他的批判十分深刻.牛津大学的彼特·斯特苏森爵士(SirP.Strawson)评论到："哲学家们对于王浩此书的主要的、深厚的兴趣在于，它记录了一位极富才智、卓越和敏锐的哲学家对所谓’’分析’’或’’英一美’’哲学在本世纪经历的发展过程的看法.""王的书是对现代哲学史和元哲学的丰富、迷人的贡献."