党的十九大报告指出“深化供给侧结构性改革,推动互联网、大数据、人工智能和实体经济深度融合”,作为新旧动能转换的重要载体,互联网行业承担着积极引导产业发展的重任。而互联网行业本身具有工作强度高、知识更新快等特质,程序员们在承受着较大的工作压力的同时,也面临着较大的婚恋压力,在社会负面认知之下趋向于自我否定。因此对于高薪程序员婚恋压力的调节显得尤为迫切和重要。学界对于高薪程序员婚恋压力的研究主要集中在两个层面:一是企业层面,试图通过联谊方式缓解员工的婚恋压力;二是集中于政策和社会宏观层面,但普适性的活动往往难以满足员工的个性化需求。针对个人信念对程序员婚恋压力的研究较少,本研究以杭州市某公司高薪程序员S为服务对象,进行社会工作个案介入研究。从案主所遭遇的恐婚、自己不配恋爱等婚恋压力问题切入,在ABC理论视角之下,运用理性情绪疗法,就案主问题进行系统分析,发现产生婚恋压力的问题的原因并不是案主所遭遇的被分手事件,而是案主自身的非理性婚恋信念所致。因此,在科学评估需求的基础上,围绕案主的非理性信念开展实务工作,为其设计了七次活动,分别对应介入的三个阶段。通过检查和辩论的方式对其进行修正,来疏解案主的婚恋压力。在实务过程中,社会工作者通过运用产婆式提问技术、角色扮演技术、合理情绪想象技术分别对案主过分概括化、绝对化、糟糕至极化的非理性信念进行介入,并通过引导案主自主填写REBT量表和链接资源,帮助案主进行自我总结和归纳,以摒除非理性信念,达到树立合理婚恋观念的目标。最后,在总结和探讨服务效果的基础上,笔者得出结论:第一,非理性信念的特征划分能够有效嵌入婚恋压力社会工作介入之中;第二,ABC理论强调个体,但外部支持体系也很重要;第三,理性情绪治疗模式强调案主的配合和社会工作者的能力。它通过协助高薪程序员建立良性互动、充分信任关系,从而激发高薪程序员解决问题的潜能,有效促进了服务目标的实现。但在取得积极效果的同时,仍存在着一定的不足,理性情绪疗法对社会工作者的专业性要求较高,且更适应于自我改变动力较强的案主。