Research position / PostDoc (f/m/d)
Jetzt Account erstellen und wir matchen dich automatisch mit den relevantesten Jobmöglichkeiten.
Einführung
The Zuse Institute Berlin (ZIB) is offering a research position for a Research position / PostDoc (f/m/d) in the research group 'AI in Society, Science, and Technology'. The position is available from June 1st, 2024, until May 31st, 2025. The goal of the position is to conduct research supporting the efforts of the MATH+ projects EF1-21 on 'Scaling Up Flag Algebras in Combinatorics' and AA5-9 on 'Transforming Mathematics Through Formal Verification'. The position requires a strong background in Extremal Combinatorics and experience with Flag Algebras or other techniques used to establish computational proofs. The candidate should also have an interest in contributing new topics from Extremal Combinatorics to the research profile of the group and be willing to work with formal proof verification. Good programming skills, preferably in Python or related languages, are required. The candidate should have a university degree (M.Sc. or diploma) and an excellent PhD degree in mathematics, computer science, or related disciplines, as well as a strong history of research collaborations. Fluency in English is also required.
Aufgaben
- Conduct research in the field of Extremal Combinatorics
- Improve computational aspects for existing problems
- Develop the theory of flag algebras
- Contribute to the formal verification of mathematical results
- Work with formal proof verification
- Utilize programming skills, preferably in Python
- Collaborate with a research group
Voraussetzungen
- University degree in mathematics, computer science, or related disciplines
- Excellent PhD degree in mathematics, computer science, or related disciplines
- Strong background in Extremal Combinatorics
- Experience with Flag Algebras or other techniques used in computational proofs
- Interest in probabilistic combinatorics
- Good programming skills, preferably in Python
- Fluency in written and spoken English
- Creativity and problem-solving skills
Benefits
- Friendly working atmosphere
- Flexible work and meeting times
- Excellent equipment
- Challenging professional environment
- Comprehensive training
- Additional pension scheme
- 30 days annual leave
- Salary in accordance with TV-L
- End-of-year bonus
- Use of canteens and sports programs at reduced rates
- Part-time agreement possible
- Encouragement of female applicants
- Preference given to applicants with disabilities
Verweise auf baito
Du findest gut, was wir machen? Du kannst uns dabei unterstützen. Gib bei deiner Bewerbung an, dass du die Stelle bei baito gefunden hast.