逻辑与人工智能方向博士研究员(科研助理,年薪 593,700 克朗)
Stipendiat - Logikk og kunstig intelligens (LAI)
原帖优先:申请材料、截止时间与资格以原帖和学校官方说明为准。
AI 中文速览
- 研究内容
- 博士研究项目与多智能体系统逻辑相关,具体探讨其在形式验证、综合、规范推理、机制设计、社会现象分析等方面的应用。研究所涉逻辑包括但不限于关于智能体策略、动作、知识、信念、能力等推理的逻辑,项目将在逻辑与人工智能(LAI)研究组内开展,且具体范围和重点可根据候选人的兴趣进行调整。
- 申请条件
- 申请人必须拥有信息科学、计算机科学、认知科学、逻辑学、人工智能或同等学科的硕士学位,且学位须在申请截止日期前获得。硕士论文及硕士整体成绩通常须达到 B 级或更高,申请人需具备独立且结构化的工作能力、良好的团队合作能力,以及良好的英语书面和口头沟通能力。此外,要求具有多智能体系统逻辑、形式验证、模态逻辑等一个或多个领域的证明背景。
- 待遇
- 提供代码 1017 的博士研究员(Stipendiat)职位,税前年薪为 593,700 克朗,享有长达 4 年且每年递增 3% 的自动薪资增长。同时提供优质的学术与社交环境、挪威国家养老金基金(Statens pensjonskasse)会员资格以及良好的福利待遇。
- 申请方式
- 申请人须通过 Jobbnorge 平台上的链接提交申请及相关附件。申请及附件必须附有英文或斯堪的纳维亚语的认证翻译件。申请截止日期为 2026 年 10 月 15 日。
- 材料清单
- 关于申请人研究兴趣和申请动机的简短阐述
- 两名证明人的姓名及联系方式(其中一人必须是硕士论文或同等论文的主导师)
- 5-8 页的简短项目描述
- 简历(CV)
- 学士和硕士学位的成绩单与文凭
- 相关证书
- 科学著作列表
- 用于评审的科学著作(包括硕士论文)
- 若持有外国高等教育机构的硕士学位,或非拟加入学科领域的两年制学科型硕士学位(或同等学历),可能被要求提交硕士课程大纲
由 gemini-2.5-flash-lite 生成,博士岗判定置信度 100%。
岗位信息
- 截止
- (Europe/Oslo) 剩 3 天
- 学科
- 计算机科学
- 合同类型
- 雇佣合同
- 原文薪资
- NOK 593,700 / 年(税前)
- 税后月薪(估)
- ¥23,900;房租后 ¥17,300
- 估算假设
- 单身、无子女、雇佣合同的粗略估算,以学校 offer 为准;扣除率 30%;汇率日期 2026-10-01
- 原帖发布
- 本站收录
- 内容更新
- 来源
- University of Bergen 官方招聘 · 最近核对 2026-10-12
- 详情核验
判定依据(原文摘录)
- 这是一项博士培养职位
Stipendiat - Logikk og kunstig intelligens (LAI)
- 申请需要硕士学位,因此学士学位不符合单独申请条件
Søkaren må ha mastergrad i informasjonsvitskap, informatikk, kognitiv vitskap, logikk, kunstig intelligens eller tilsvarande.
- 工作语言/教学语言通常为挪威语,要求英语能力但非仅限英语
Undervisningsspråket er til vanleg norsk, men noko av undervisninga blir og gjeven på engelsk.
原文
Stipendiat - Logikk og kunstig intelligens (LAI)
UiB - Kunnskap som formar samfunnet UiB skal vere blant Europas fremste universitet, internasjonalt kjent for høg kvalitet i forsking og utdanning. Som samfunnsinstitusjon skal vi bidra til ei berekraftig og demokratisk utvikling og vere ein attraktiv og inkluderande studie- og arbeidsplass.
Stipendiat Vi ønskjer deg velkommen som søkjar til ei stilling som stipendiat i informasjonsvitskap ved Institutt for informasjons- og medievitskap. Stillinga er for ein åremålsperiode på 4 år, kor 25 % av samla tilsetjingstid er karrierefremjande arbeid som skal utførast ved instituttet. Forskingsprosjektet i PhD-graden vil vere knytt til logikkar for multi-agentsystem, og korleis dei vert brukt innan formell verifisering, syntese, normativ resonnering, design av mekanismar, analyse av sosiale fenomen og lignande. Logikkane det gjeld inkluderer, men er ikkje avgrensa til logikkar for resonnering om agentars strategiar, handlingar, kunnskap, oppfatningar, evner osv. Prosjektet vil bli gjennomført innafor forskingsgruppa Logikk og kunstig intelligens (LAI) ( https://www4.uib.no/en/research/research-groups/research-group-for-logics-and-ai ). Det eksakte omfanget og fokuset for prosjektet kan tilpassast kandidatens interesser.
Prosjektet Ei kortfatta prosjektskildring (5-8 sider) skal ligge føre saman med søknaden. Prosjektskildringa skal gjere greie for tema, problemstilling(ar) og val av teori og metode. Skildringa skal innehalde framdriftsplan for dei ulike delane av forskingsarbeidet. Ved tilsetjing vil prosjektskildringa vere grunnlaget for opptak til ph.d.-utdanninga. Fakultetet har utarbeida ei rettleiing for skriving av prosjektskildringa .
Kvalifikasjonar og eigenskapar: • Søkaren må ha mastergrad i informasjonsvitskap, informatikk, kognitiv vitskap, logikk, kunstig intelligens eller tilsvarande. Graden må vere avlagt innan fristen for søknaden. • Minstekravet for søkjarane skal normalt vere B, eller betre, både på masteroppgåva og for mastergraden som heilskap. • Søkjarar må kunne arbeide sjølvstendig og strukturert og ha gode samarbeidsevner. • Søkjarar må ha gode skriftlege og munnlege engelskkunnskapar • Personlege og mellommenneskelege eigenskapar vil bli vektlagd. Ambisjonar og potensial vil også telje ved vurdering av kandidatane. • Arbeidsstad for denne stillinga er Bergen, og arbeidet krev at du normalt er fysisk til stades ved instituttet. • Det krevst dokumentert bakgrunn innan eitt eller helst fleire av områda: • Logikkar for mulitagentsystem • Formell verifikasjon • Modal logikk • Berekningslogikk • Temporal logikk • Dynamisk epistemisk logikk • Kunnskapsrepresentasjon og resonnering • Automatateori • Berekningskompleksitet • Bevisteori • Formell argumentasjon • Deontisk/normativ resonnering • Beslutnings- og/eller spelteori • Forsterkningslæring
Eit kurs kandidaten har tatt eller eit prosjekt kandidaten har fullført tel som dokumentert bakgrunn. Erfaring frå vitskapleg arbeid, inkludert dokumenterte publikasjoner, er ein fordel. • Ein ideell kandidat har stor motivasjon for forsking, interesse for prosjektets tema, og innsikt i relevante teoriar og metodar. Kandidaten kan jobbe sjølvstendig og har gode samarbeidsevner.
Aktuelle kandidatar vil bli innkalla til intervju.
Undervisningsspråket er til vanleg norsk, men noko av undervisninga blir og gjeven på engelsk.
For stillinga gjeldt følgande: Samla stipendiatperiode er 4 år, der 25 % av tida er karrierefremjande arbeid, knytt til forsking, undervisning og formidling. Om du tidlegare har vore tilsett i rekrutteringsstilling, kan det bli gjort frådrag i tilsetjingsperioden. Om ph.d.-utdanninga: Som stipendiat skal du delta i ph.d.-utdanninga ved Det samfunnsvitskaplege fakultet, UiB. Utdanninga har ei normert tidsramme på 3 år, og leiar fram til ein ph.d.-grad. For opptak må du ha fullført mastergrad. Omfanget av mastergraden må normalt vere på 120 studiepoeng og bygge på ein bachelorgrad på 180 studiepoeng (normalt 2+3 år), eller ein integrert mastergrad av 300 studiepoeng (5 år). I mastergraden skal det normalt inngå eit sjølvstendig arbeid av eit omfang på minimum 30 studiepoeng. Mastergraden skal normalt vere innan det fagområdet det vert søkt om opptak til.
Vi tilbyr: • Stilling som stipendiat (kode 1017) med årsløn kr. 593 700, - brutto. Automatisk lønsutvikling for opptil 4 år med 3% årleg stiging. • Godt fagleg og sosialt miljø med høg kvalitet på forsking og undervising. • Medlemsskap i Statens pensjonskasse • Gode velferdsordningar
Søknaden skal innehalde: • Ei kort utgreiing om søkjaren sine forskingsinteresser og motivasjon for å søkje stillinga • Namn og kontaktopplysningar til to referansepersonar, ein av desse må vere hovudrettleiaren frå masteroppgåva eller tilsvarande oppgåve • Prosjektskildring • CV • Karakterutskrifter og vitnemål for bachelor- og mastergrad • Relevante attestar • Ei liste over vitskaplege arbeid • Vitskaplege arbeid som du legg ved for vurdering - inkludert masteroppgåva • Dersom du har mastergrad frå utanlandsk lærestad, eller 2-årig disiplinbasert mastergrad (eller tilsvarande) innan eit anna fagområde enn du vil bli knytt til, kan du verte bede om å sende inn ei oversikt over pensum til den mastergraden du har oppnådd
Søknad og vedlegg med attesterte omsetjingar til engelsk eller eit skandinavisk språk må lastas opp i Jobbnorge via link på denne sida. Søknadsfrist: 15. oktober 2026.
Søknader utan prosjektskildring eller søknader som vert sende på e-post vil ikkje verte vurderte. Berre vedlagte dokument vil bli lagt til grunn for vurdering
Generell informasjon:
Livet som ph.d.-kandidat ved UiB Astrid Nybø forteller om livet og arbeidshverdagen som ph.d.-kandidat ved UiB.
Kunnskap som formar samfunnet