运筹Offer是运筹OR帷幄社区旗下的求职资讯平台，聚焦运筹学、大数据、AI等领域，内容涵盖企业招聘、实习、内推和职场经历分享。
岗位1：学界招聘|挪威卑尔根大学招募信息学研究员（SAT Solving方向）
About the position
There is a vacancy for a temporary position as Researcher in Informatics - SAT Solving - at the Department of Informatics.
The position is for a period 2 years and is connected to the projects «AUTOPROVING» and «SYMBOALGO», both financed by the Research Council of Norway.
Your main task will be the application of SAT solving techniques in the development of algorithms and in the investigation of mathematical conjectures arising in combinatorics, graph theory, and related areas. You should have strong documented expertise in topics related to SAT solving, either from a theoretical point of view, or from a practical point of view. For instance, if you are a theoretician, then proven experience in proving unconditional lower bounds for proof systems or models of computation is an advantage. If you are a practitioner, then proven experience in developing SAT solving tools is an advantage.
Qualifications and personal qualities
Applicants must hold a PhD degree or an equivalent degree in some topic strongly related to SAT-solving Applicants that do not have a PhD must have submitted the thesis for evaluation before the application deadline. It is a condition of employment that the PhD has been awarded.
Documented expertise in topics related to SAT solving or constraint programming is a requirement.
Documented expertise in proving unconditional lower bounds is an advantage.
Documented expertise in the implementation of SAT-solving techniques is an advantage.
Applicants must be able to work independently and in a structured manner and have strong ability to cooperate with others.
Applicants must have excellent skills in oral and written English.
Personal and relational qualities will be emphasized. Research experience, ambitions and potential will also count when evaluating the candidates.
Special requirements for the position
UiB is subjected to the regulation for export control system. The regulation will be applied in the processing of the applications.
Application date
Deadline 30 June 2023
How to apply
https://www.jobbnorge.no/en/available-jobs/job/242720/researcher-in-informatics-sat-solving
岗位链接
学界招聘|挪威卑尔根大学招募信息学研究员（SAT Solving方向）
岗位2：学界招聘|比利时蒙斯大学招募博士后（Formal Methods / AI for Controller Synthesis）
About the position
We live in the days of ubiquitous computing: we are surrounded by reactive (computer) systems that continuously interact with their environment through user input, sensors, etc. Their correctness is often critical, either for safety reasons (e.g., ABS for cars) or due to constraints of mass production (e.g., smartphones). Unfortunately, their development is difficult and prone to errors. Formal verification and synthesis have proved to be success stories of computer science, aiming at the automated construction of provably-safe system controllers. Many techniques take roots in the game-theoretic framework, modeling the interaction between the system and its environment as a competitive game.
One crucial change over the last decade is the evolution from Boolean to quantitative specifications, giving birth to models describing performance of systems. Recent research focuses on taking into account the interplay between different quantitative (or qualitative) aspects and the resulting trade-offs. Such trade-offs may occur between different resources (e.g., decreasing response time requires additional computing power and energy consumption) but also between different behavioral models (e.g., average-case vs. worst-case performance). Those interactions are at the core of practical scenarios and require developers to decide how to balance the different aspects. My research group is at the forefront of research on many-sided synthesis, which supports such multi-objective reasoning.
The goal of ControlleRS is to challenge the key concept of strategy, currently based on automata-like finite-state machines acting as blueprints for implementable controllers. I aim to broaden the theoretical understanding and the practical usefulness of this abstract concept through the systematic study of alternative strategy models over the complete span from theoretical power to proper applicability. This endeavor promises fundamental advances toward truly implementable many-sided synthesis.
Postdoctoral positions are available. Here is a non-exhaustive list of possible topics:
multi-criteria approaches in formal methods,
machine learning and AI,
synthesis in stochastic systems,
tool development,
industrial applications.
How to apply
http://math.umons.ac.be/staff/Randour.Mickael/controllers.html
职位链接
学界招聘|比利时蒙斯大学招募博士后（Formal Methods / AI for Controller Synthesis）
岗位3：学界招聘|德国波鸿鲁尔大学招募计算前沿对称和优化博士后 (ERC Project)
About the position
We are inviting applications for postdoc positions as part of the ERC project Symmetry and Optimization at the Frontiers of Computation (SYMOPTIC).
Are you fascinated by what can be computed efficiently and what not?
Are you interested in finding hidden symmetries behind computational problems?
Would you like to explore the common mathematical structure behind computational complexity and quantum entanglement?
Or discover connections between difficult problems arising in algebra, geometry and quantum information?
Would you like to design new optimization algorithms that exploit symmetries, to solve problems from ML to combinatorial optimization?
Or understand if quantum computers can solve such problems faster?
If your answer to any of these questions is yes, then we hope that you will apply!
As members of this ERC project, you will work on questions such as the above as part of a diverse international team, creatively combining ideas from different areas to make progress on central questions in the theory of computing.
At Bochum, you can expect an excellent research environment that spans across many areas of computer science and mathematics, including the Cluster of Excellence CASA and the Max Planck Institute for Security and Privacy. In addition to exciting research projects and a friendly and stimulating work environment, we can offer a generous travel budget that allows for attending relevant conferences and summer schools to present your work to the international community, visiting collaborators, etc. You will be employed on a fully-funded position (100%, E13 salary) with an initial appointment of by default two years. The starting date is negotiable, but ideally in fall 2023.
Your profile
You have an excellent academic track record in ideally at least one of the following areas: theoretical computer science, quantum computing, algebraic geometry, invariant theory, representation theory, mathematical optimization, or similar.
You are curiosity driven, enjoy combining creativity with mathematical precision, and are open to interdisciplinary collaborations.
You are fluent in written and spoken English (no German required).
How to apply
https://qi.ruhr-uni-bochum.de/hiring_erc_pd
职位链接
学界招聘|德国波鸿鲁尔大学招募计算前沿对称和优化博士后 (ERC Project)
岗位4：学界招聘|比利时鲁汶大学招募博士后
About the position
Multiple doctoral and postdoctoral positions in Operations Research are currently available at the Center for Operations Research and Econometrics (CORE) of the Université Catholique de Louvain, Belgium.
The positions cover the areas of
- Integer Programming and Combinatorial Optimization
- Stochastic Optimization
- Supply Chain Management
- Logistics
- Routing
- Network Design
- Transportations
- Computational and models and methods for power systems and electricity markets analysis
The postdoctoral positions are funded up to 2 years upon mutual agreement.
Application date
The positions will remain open until filled
How to apply
Applications (or inquires) should be send to Prof. Daniele Catanzaro (daniele.catanzaro@uclouvain.be) or Prof. Jean-Sébastien Tancrez (jean-sebastien.tancrez@uclouvain.be) and should include
- a curriculum vitae
- a cover letter of maximum 1 page
- one reference for the doctoral position; three references for the postdoctoral positions
- a publication record for the postdoctoral positions
职位链接
岗位5：学界招聘|德国汉堡工业大学招募博士后
About the position
Research on the theoretical foundations of quantum and quantum inspired optimization
Publication of research results in peer-reviewed international journals and their presentation at relevant international conferences (physics / computer science / mathematics)
Contributing to the teaching activities of the institute and student supervision
Your profile
Completed scientific university studies, in particular in the subject area/s physics, mathematics, computer science, or comparable; excellent grades are expected; prior rigorous mathematical training is required
Advanced knowledge in at least one of the topics: quantum computing, simulated annealing, combinatorial optimization (QUBO problems)
Additional knowledge within one or more of the following areas is desirable: special mathematical knowledge and skills, theory of Markov chain Monte Carlo methods, computational complexity theory, programming skills
Application date
The application deadline is July 19, 2023.
How to apply
https://stellenportal.tuhh.de/jobposting/b0c9bba026a4650841c61b0559dc9dcd245ba5100
职位链接
如何发布招聘？
如果你也想发布公司招聘岗位，请扫描以下二维码或者添加微信号：or_offer 联系我们的工作人员，添加请修改备注为：公司+姓名+招聘！
微信公众号后台回复
实习：获取实习岗位投递方式
校招：获取校招岗位投递方式
社招：获取社招岗位投递方式
学界招聘：获取学界岗位投递方式
职场会客厅：获取直播链接和往期直播视频完整版
加群：获取加入【IT算法求职内推群】方式