Join a community of scholars dedicated to the formal sciences. We welcome applications from students worldwide who share our commitment to rigour and discovery.
ANF offers three levels of study, each designed to deepen your command of formal reasoning and prepare you for a career in academia or industry.
3-year programme (6 semesters, 180 ECTS). A rigorous foundation in mathematical logic, discrete mathematics, and theoretical computer science. Graduates are prepared for MSc study or junior roles in formal verification and software analysis.
2-year programme (4 semesters, 120 ECTS). Advanced specialisation in program verification, type theory, or blockchain security. Includes a research thesis supervised by an active faculty member and a mandatory industry or lab placement.
4-year research programme at the ANF Doctoral School. Candidates pursue original research at the frontier of formal sciences under the supervision of internationally recognised scholars. All doctoral candidates receive a stipend.
Secondary school diploma (matura or equivalent) with strong results in mathematics. Candidates should demonstrate familiarity with proof-based reasoning. No prior programming experience is required, though it is welcomed.
Bachelor's degree in mathematics, computer science, or a closely related field. Applicants must have completed courses in mathematical logic and at least one of: type theory, formal verification, or abstract algebra.
Master's degree with distinction in a relevant discipline. Applicants must submit a preliminary research proposal (3 000 – 5 000 words) and identify at least one potential supervisor from the ANF faculty.
The admissions process is designed to identify candidates with exceptional aptitude for formal reasoning. Most applicants complete the process within six weeks of submission.
Complete the online application form and upload your academic transcripts, personal statement, and CV. You will receive a confirmation email within 48 hours.
Shortlisted candidates are invited to sit a written examination in mathematical logic and formal reasoning. The exam may be taken on campus or remotely under proctored conditions.
Candidates who pass the examination attend a 30-minute academic interview with faculty members from their chosen programme, conducted in person or via video call.
Successful applicants receive a conditional or unconditional offer within two weeks. Accepted students proceed to enrolment, orientation, and housing allocation.
We operate two main admission cycles per year. Early applications are encouraged — places are limited and competitive.
Application opens: 1 February 2026. Application deadline: 15 June 2026. Entrance examination: 28 June 2026. Offers issued by: 15 July 2026. Classes begin: 1 October 2026.
Application opens: 1 August 2026. Application deadline: 15 November 2026. Entrance examination: 30 November 2026. Offers issued by: 15 December 2026. Classes begin: 1 March 2027.
Rolling admissions year-round. Applications are reviewed monthly by the Doctoral School committee. Candidates are advised to apply at least three months before their intended start date.
ANF is committed to making world-class education accessible. Multiple funding pathways are available for both domestic and international students.
Polish and EU citizens enrolled in Polish-language programmes pay no tuition. English-language programmes: BSc — EUR 3 200/year, MSc — EUR 3 800/year. Doctoral candidates are exempt from tuition and receive a monthly stipend of PLN 3 500.
Up to 30 merit scholarships are awarded each year, covering 50–100% of tuition based on entrance examination results and prior academic achievement. Recipients are announced together with admission offers.
Our most prestigious award, granted to five exceptional students per year. Covers full tuition, provides a monthly living stipend of PLN 2 500, and funds conference travel up to EUR 1 500 annually. Open to all nationalities.
Wrocław is one of Europe's most affordable university cities. Average monthly costs — including accommodation, food, and transport — range from PLN 2 500 to PLN 3 500. On-campus housing is available from PLN 800/month.
Over 20% of our student body comes from outside Poland. ANF provides comprehensive support to help international students thrive in Wrocław.
Our International Office issues invitation letters for visa applications and guides you through the Polish residence permit process. Most student visas are processed within 4–6 weeks.
International students receive priority access to on-campus dormitories during their first year. The International Office also maintains a database of vetted private rentals near campus.
Free Polish language courses (A1–B2) are offered each semester. All administrative services are available in English, and a dedicated student buddy programme pairs newcomers with senior students.
ANF participates in the Erasmus+ network with over 40 partner universities across Europe. Students may spend one semester abroad with full credit transfer through the ECTS framework.
As a founding member of the FormalEU alliance, ANF offers joint degree tracks and research mobility with ETH Zürich, INRIA, and TU Wien, among others.
International graduates benefit from Poland's post-study work visa and ANF's industry partnerships with companies including Trail of Bits, Certora, and Runtime Verification.
Yes. You may submit applications to up to two programmes simultaneously. If admitted to both, you will be asked to choose one before enrolment.
The exam consists of 4–6 proof-based problems in elementary logic, set theory, and discrete mathematics. BSc applicants are tested at a level comparable to olympiad mathematics; MSc applicants face problems at advanced undergraduate level. Sample papers are available on the admissions portal.
A non-refundable application fee of PLN 85 (approximately EUR 20) is required for each programme application. Fee waivers are available for candidates demonstrating financial need.
Not for English-language programmes. All lectures, seminars, and examinations are conducted in English. However, we strongly recommend taking advantage of the free Polish language courses offered each semester — they make daily life in Wrocław much easier.
Deferrals of up to one academic year are permitted for BSc and MSc offers, subject to approval by the Admissions Office. Doctoral offers cannot be deferred; candidates must reapply for a future intake.
Within six months of graduation, 94% of ANF alumni are employed or pursuing further study. Graduates work at leading institutions and companies including INRIA, Max Planck Institute, Trail of Bits, Certora, Microsoft Research, and major European universities.