Postdoctoral research position in Combinatorial Sampling in First-Order Logic

27 Feb 2024
Job Information

Organisation/Company

Czech Technical University in Prague

Research Field

Mathematics » Mathematical logic

Researcher Profile

Recognised Researcher (R2)
Established Researcher (R3)
Leading Researcher (R4)

Country

Czech Republic

Application Deadline

30 Mar 2024 – 23:59 (Europe/Prague)

Type of Contract

Temporary

Job Status

Full-time

Hours Per Week

40

Offer Starting Date

1 Jun 2024

Is the job funded through the EU Research Framework Programme?

Not funded by an EU programme

Reference Number

#3-16

Is the Job related to staff position within a Research Infrastructure?

No

Offer Description

Czech Technical University in Prague (CTU) now offers a new fellowship program, the CTU Global Postdoc Fellowship. This new and attractive two-year fellowship-program offers excellent researchers who have recently completed their PhD the chance to continue their research career at CTU. Fellows receive a two year fellowship and become members of a team led by a mentor. The fellowship aims at external international scientists who are currently conducting research abroad. Applicants must have completed their PhD within the last seven years. The fellowship aims at authors (co-authors) of three or more publications in a journal with IF. 

The postdoc is expected to work on problems related to sampling of combinatorial objects with applications in (probabilistic) programming languages and neuro-symbolic deep learning. The work will be at the boundary of computational logic and combinatorics. The postdoc can focus either on the theoretical side (characterizing classes of structures that can be sampled in polynomial time) or the practical side of the problem (making the algorithms “practically” efficient).

The lab fosters a welcoming and stimulating environment, comprising approximately 15 people, mostly consisting of PhD students and postdocs of mixed nationalities and genders. English serves as the primary working language. A substantial portion of total salaries is comprised of performance-related bonuses, which augment the quoted base pay.

Requirements

Research Field

Engineering

Education Level

PhD or equivalent

Skills/Qualifications

The ideal candidate will have been the main author of papers published in some of the top-tier conferences such as IJCAI, ICML, NeurIPS and/or reputable journals such as AI, JAIR, MLJ, JMLR, and will continue to contribute to such venues after joining the lab. (S)he will actively seek external funding opportunities. Involvement in teaching is possible but not mandatory. Proficiency in the Czech language is not required, even in the long run.

Languages

ENGLISH

Level

Excellent

Internal Application form(s) needed
CVUT.VAV-GPFP.APPLICATION-2023.1-EN_5.pdf
English
(41.61 KB – PDF)
Download
Additional Information
Benefits

Salary: 70 000 CZK

Selection process

Applications will be assessed by a committee, based on documents sent by applicants. The mentor has a strong vote in the selection process.

To apply for the CTU Global Postdoc Fellowship you need the following documents in English:

• CV, including list of publications (max. 4 pages). At least three IF (Impact Factor. We follow the Web of Science Journal Citation Reports )  journal publications are expected. Papers accepted for publication yet waiting to be printed do count if a proof of acceptance is provided.
• Motivation letter (max. 2 pages).
• PhD certificate (copy).
• A cover letter (See Application for CTU Global Postdoc Fellowship form)
• You may attach other documents supporting your application such as recommendation letters etc.

Additional comments

Mentor: Ondřej Kuželka, [email protected] , https://orcid.org/0000-0002-6523-9114 , H-index (WOS) 6

https://ida.fel.cvut.cz/~kuzelka/

https://scholar.google.com/citations?user=QWmpgVgAAAAJ&hl=en

Yuanhong Wang, Juhua Pu, Yuyi Wang and Ondřej Kuželka. On Exact Sampling in the Two-Variable Fragment of First-Order Logic. LICS 2023: Thirty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, 2023.

https://ieeexplore.ieee.org/document/10175742

Work Location(s)

Number of offers available

1

Company/Institute

Czech Technical University in Prague / Faculty of Electrical Engineering

Country

Czech Republic

City

Prague

Postal Code

166 27

Street

Technická 2

Where to apply

E-mail

[email protected]

Contact

State/Province

Czech Republic

City

Prague

Website

https://www.cvut.cz/en
https://ida.fel.cvut.cz/

Street

Jugoslavskych partyzanu 1580/3

Postal Code

16000

E-Mail

[email protected]

STATUS: EXPIRED