1、重点承担星载 FPGA 代码的高可信验证技术研究工作； 2、研发星载FPGA验证工具； 3、推动 FPGA 验证过程的自动化、标准化升级，提升 FPGA 验证的效率、覆盖率与精准度，支撑航天型号 FPGA 设计的高质量交付与快速迭代。 任职资格： 1、硕士及以上学历，电子科学与技术、微电子、集成电路、FPGA开发、电路与系统等相关专业； 2、熟练掌握Verilog/VHDL语言，熟悉FPGA设计流程、静态验证、动态仿真、形式化验证技； 3、具备扎实的科研功底和前沿技术研究思维，在FPGA、EDA、软件工程等领域发表过高水平论文者优先； 4、逻辑严谨、责任心强，具备良好的科研创新能力、问题研判能力和抗压能力，对航天事业有强烈的认同感与使命感，愿意为航天核心硬件技术发展贡献力量。