Postdoctoral research position in Combinatorial Sampling in First-Order Logic - Tenders Global

Postdoctoral research position in Combinatorial Sampling in First-Order Logic

Czech Technical University in Prague

tendersglobal.net


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

View or Apply
To help us track our recruitment effort, please indicate in your cover/motivation letter where (tendersglobal.net) you saw this job posting.

Job Location