XiaoMi-AI文件搜索系统
World File Search Systemstd
对软件和硬件安全性正式方法感兴趣的博士后研究人员
软件Main Developper我在博士学位期间开发的工具及其实验评估都是在GitHub上开源的。binsec/rel：密码恒定时和秘密射击的二进制级符号分析仪。对308个Cryprograper二进制的实验评估。可在以下网址提供：https：//github.com/binsec/rel和https://github.com/binsec/rel_bench binsec/haunted：二进制分析仪：检测Spectre-Pht和Spectre-Spectre-Stl漏洞。对小测试用例和5个加密原始物的实验评估。可用：https：//github.com/binsec/haunted和https://github.com/binsec/binsec/haunted_bench properties vs.编译器：可扩展的框架，以检查多个编译器设置中恒定时间和秘密的保存。应用：分析恒定时间的总计4148个二进制文件和1156个二进制文件用于秘密呼吸。可在以下网址提供：https：//github.com/binsec/rel_bench/tree/main/main/properties_vs_compilers spectre-stl litmus测试：一组由社区重复使用的Spectre-Spectre-stl的小测试用例。可在以下网址提供：https：//github.com/binsec/haunted_bench/blob/master/src/src/litmus-stl/programs/spectrev4.c贡献者proteus：可扩展的RISC-V CPU用于硬件安全功能开发。特别是，我为潜在安全性扩展提供了贡献，该扩展为恒定时间程序提供了安全的推测。proteus可从https://github.com/proteus-core and Prospect提供，请访问https://github.com/proteus-core/prospect pandora：符号执行工具，用于验证Intel SGX Enclave Shielt runtimes。可在以下网址提供：https：//github.com/pandora-tee加密基准：统一基准测试以比较
财政权力下放的博士后奖学金和...
比勒陀利亚大学的公共政策枢纽（PPH）正在寻求一个具有强大技能技能的积极进取的博士后研究员，尤其是适用于财政权力下放，市政财务和财产税的问题，以加入其团队。该职位是两年的时间，尽快开始，在可满足的绩效和资金上，有可能再续签一年。同胞的年度津贴在R250,000至R300,000之间，不纳税。候选人必须在开始研究金之前的三到五年内毕业。
202502_postdoc_alev g_en
（应将相关的文档作为电子邮件附件发送）将无法评估具有严重缺陷和/或虚假信息的应用程序。1。基本信息（CV）（1）名称（2）家庭地址和联系信息（电话，电子邮件等）(3) Recent Photograph (4) Date of Birth, Age, and Gender (5) Academic Degree (including date of acquisition) (6) Nationality (7) Current Appointment (your current affiliation, department, and position) (8) Education (begin with high school and list education) (9) Professional Experience (10) Awards (11) Position Sought (host research group name, job title) (12) Contact details of two (2) references (name, affiliation, position, address,电子邮件地址）2。研究建议（在5页之内）简洁地描述了您在Ashbi期间要实现的研究目标，重点介绍了您将使用的独特想法和方法。请还包括文献参考，结构化且易于理解的图形摘要和数字。3。申请ASHBI的原因（在1页之内）
请致电博士后奖学金申请2025
•要成为埃及国籍的持有人•拥有不到10年前申请截止日期获得的博士学位。•在申请截止日期少于45岁。•会说和写法语或英语，并满足研究项目的要求。•以前不从埃及政府向法国的另一项旅行赠款中受益。•不要参与法国政府资助的另一个正在进行的项目。•该项目必须包含在合格字段列表中。
STDR-2025-（FEB） - 格兰特 - launch-launch-and-attributes of-strong- ...
资格标准首席首席研究员（PI）应：a）在新加坡公共资助的研究/第三级机构中至少保持0.7 FTE初级任命b）具有相关的科学/技术背景和必要的经验，以指导该项目得到赠款的支持。
宾夕法尼亚大学系统免疫学和细胞工程博士后职位
宾夕法尼亚大学综合免疫学和细胞设计实验室正在招募博士后研究员加入我们不断壮大且充满活力的团队。我们的研究整合了高通量 T 细胞抗原发现（ TScan-I 、 TScan-II 、 TCR-MAP ）、单细胞基因组学和合成生物学，以揭示 T 细胞如何识别和响应自身免疫、癌症和传染病中的自身和外来抗原。我们开创了基因组规模的抗原发现平台（ Cell 2019 、 Cell 2023 、 Nature Biotechnology 2024 ），阐明了免疫反应的关键抗原驱动因素。在此基础上，我们寻求扩展这些平台并将它们与先进的免疫基因组学和蛋白质组学工具相结合，以全面绘制 B 细胞和 T 细胞的抗原图谱。我们的最终目标是确定免疫识别和耐受的分子决定因素，从而确定自身免疫、癌症和传染病的新治疗靶点。
博士后研究奖学金电力系统计划...
要求：•PHD（必须在过去五年内毕业）•英语（书面和口头的出色沟通技巧）•在以下一个或多个领域中的经验：网格整合研究，托管能力分析，能源建模和负载建模。地理空间能量建模将是有益的。•MATLAB和PYTHON中的良好编程命令•熟悉诸如Digsilent PowerFactory，Plexos，Opendss或Pandapower，基于GIS的软件（QGIS或ARCGIS）等电力系统软件将是有益的。主持人：Stellenbosch University的电气和选举工程学院高级讲师Chantelle Yvonne Van Staden博士与Stellenbosch University
全球环境治理的博士后奖学金
POSTDOCTORAL FELLOWSHIPS IN GOVERNANCE OF GLOBAL ENVIRONMENTAL CHANGES: CITIES AND GLOBAL CHANGES (6-I) FAPESP Fellowship linked to the CEPID - Governance of Global Environmental Changes Title: Postdoctoral Fellowship in Cities and Global Changes (up to 3 years) Host: Fundação Getulio Vargas (FGV EAESP), São Paulo Location: Fundação Getulio Vargas （FGV），圣保罗管理学院（FGV/EAESP），Avenida 9 de Julho 2029，Bela Vista，Bela Vista，圣保罗S-SP，巴西。Supervisor Name: José A. Puppim de Oliveira (FGV EAESP) Application Deadline: 15 March 2025 or until the position is filled Starting Date: 01 May 2025 or thereafter Period: 1 year and can be renewed for up to 36 months in total FAPESP postdoctoral position is available at FGV/EAESP in the city of São Paulo (Brazil) to integrate the research team that will be working in Center for全球环境变化的创新，研究和扩散（CEPID），由FAPESP资助。奖学金总共最多36个月，将遵循FAPESP（www.fapesp.br/en/postdoc）的规范。候选人应具有以下资格： - 博士学位。在管理，公共管理，经济学，公共政策或应用社会科学的相关领域中 - 自博士学位完成以来不到7年。到合同开始之日 - - 能够舒适地使用社会科学的定性和定量方法 - 流利的书面和口语，流利的，流利或愿意快速学习葡萄牙语。这种CEPID旨在了解如何改善全球环境变化的治理，重点是发展中国家。Please send the following documents in English by email to CEPID_GEC@fgv.br with the subject as (“CEPID Postdoc Cities”) by 15 March 2025 or until the position is filled: 1- CV (maximum 4 pages) 2- Motivation Letter in English (1-2 page) 3- Sample of two publications in English, preferibly single authored or as first author ONLY SHORTLISTED CANDIDATES WILL BE CONTACTED CEPID - Governance of Global Environmental CEPID（Centros de Pesquisa，InovaçãoeDivusão）是由圣保罗州立研究基金会（FAPESP）资助的计划，其目标是解决变革性问题。关于制度方式的知识是为解决全球环境问题（例如气候变化和生物多样性）创建有效的治理系统的基础。这种CEPID将促进有关与不同层面的全球环境变化相关的治理和管理的知识，以开发新的概念和方法，以了解如何为这些问题建立国家和地方解决方案。
认证状态弗吉尼亚州中部 VA 医疗保健系统的康复心理学博士后奖学金已获得 C
认证状态中央弗吉尼亚 VA 医疗保健系统的康复心理学博士后奖学金已获得美国心理学会认证委员会的完全认证。下一次现场访问原定于 2023 年进行；由于 Covid-19，APA 将此日期修改为 2025 年，并延长了完全认证状态。与该计划的认证状态相关的问题应直接向认证委员会提出：项目咨询和认证办公室美国心理学会 750 1 st Street, NE Washington, DC 20002-4242 （202）336-5979 联系 APA 认证办公室中央弗吉尼亚 VA 医疗中心中央弗吉尼亚退伍军人事务医疗中心 (VAMC) 是位于弗吉尼亚州里士满的 VISN-6 三级护理转诊中心。该医疗中心提供全方位的医疗保健服务，包括全面的门诊护理到复杂的住院服务。该医疗中心拥有 399 张手术床位，包括内科、外科、神经内科、物理和康复医学、中级护理、急性和持续性脊髓损伤、专业疗养院护理、姑息治疗以及初级和二级心理学和精神病护理计划。该医疗中心为来自 52 个城市和县的 20 多万退伍军人提供服务，覆盖弗吉尼亚州中部和南部 22,515 英里的区域以及北卡罗来纳州北部的部分地区。该医疗中心是帕金森病研究、教育和临床中心 (PADRECC)、一级多发性创伤项目和癫痫症卓越中心的所在地。
