neu
Vollzeit
Junior
Mid-Level
#computerwissenschaften#forschung#stateoftheart
IWA 35/24 - Research Position (m/f/d) in the research group “AI in Society, Science, and Technology”
Entdecke 34 weitere Jobs wie diesen
Jetzt Account erstellen und wir matchen dich automatisch mit den relevantesten Jobmöglichkeiten.
Der folgende Stellentext wurde von uns automatisch zusammengefasst.
Einführung
The Zuse Institute Berlin (ZIB) is offering a Research Position in the research group 'AI in Society, Science, and Technology' to conduct research in Extremal Combinatorics and formal verification.
Aufgaben
- Conduct research in the field of Flag Algebras in Combinatorics and Mathematics through formal verification
- Obtain new bounds in Extremal Combinatorics
- Improve computational aspects for existing problems
- Develop the theory of flag algebras for new applications
- Contribute to formally verifying published mathematical results in Extremal Combinatorics
Voraussetzungen
- Excellent M.Sc. degree in mathematics, computer science, or related disciplines
- Background in Combinatorics and Discrete Optimization
- Knowledge of algorithmic exhaustive generation of combinatorial structures
- Interest in contributing new topics to the research profile
- Willingness to work with formal proof verification
- Excellent programming skills, ideally in Python, C++ or related languages
- Good command of written and spoken English
- Creativity and commitment to problem solving
Benefits
- Friendly working atmosphere with flexible work and meeting times
- Comprehensive training in a competent and cooperative team
- Additional pension scheme (VBL)
- 30 days annual leave plus free days on December 24th and 31st
- Flexible working hours for work-family compatibility
- Salary in accordance with TV-L, considering relevant professional experience
- Capital allowance of up to €150 per month or discounted BVG ticket
- End-of-year bonus
- Access to canteens and sports programs of the Freie Universität Berlin at reduced rates
vor 1 Tag
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.