new
Full-time
Junior
Mid Level
#computerwissenschaften#forschung#stateoftheart
IWA 35/24 - Research Position (m/f/d) in the research group “AI in Society, Science, and Technology”
Discover 34 Jobs like this
Create an account and we will automatically match you with the most relevant job opportunities.
This text was automatically summarized
Intro
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.
Tasks
- 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
Requirements
- 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
about 19 hours ago
Mention baito
You like what we are doing? You can support us by mentioning that you found this job on baito.