Postdoc Positions in Formal Methods / AI for Controller Synthesis at UMONS, Belgium
UMONS Dear colleagues,
Several postdoctoral positions are available at UMONS, Belgium. The candidates will join the F.R.S.-FNRS project ControlleRS - Controll... ers in Many-sided Reactive Synthesis: a Strategic Perspective, led by Mickael Randour. Information about the project is available here : https://math.umons.ac.be/staff/Randour.Mickael/controllers.html
Candidates should hold a PhD thesis (or expect to defend it soon) and have a strong background in at least one of the following fields: formal methods, game theory, theoretical computer science, AI/machine learning, control theory. Experience with practical applications and interaction with industry is also welcome (but not mandatory).
UMONS is an excellent research university situated in the city of Mons, a lively (and historic) student town in the south of Brussels. Living in Brussels and working in UMONS is also possible (45 minutes train ride). The research group in UMONS maintains a large number of national and international collaborations.
Monthly salary will be around 3,000 € after taxes, depending on the candidate experience and seniority. Candidates will also be covered by the Belgian health insurance system. Starting dates and postdoc durations are flexible. Ideally, postdocs should start between September 2023 and December 2024.
Interested candidates should contact Mickael Randour (mickael.randour@umons.ac.be) and include their CV and track record. Up to two reference letters may be added. The selection process has started, so contact me ASAP if you are interested.
Please do not hesitate to contact me for any inquiry,
University of Glasgow A 3 year postdoctoral research associate position at the University of Glasgow, working with Dr Ciaran McCreesh on the EPSRC funded "the science of solving hard subgraph problems"... project. Experience in constraint programming, SAT, algorithm engineering or similar preferred.
Link:https://www.jobs.ac.uk/job/DBO798/research-associateSee More >>
Tenure Track Research Position - Artificial Intelligence
Czech Academy of Sciences The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for a tenure‐track position in Artificial Intelligence ... in its broadest sense.
[ Other job opprtunities ]
We offer a full-time position, which includes the following benefits:
Freedom and support to develop an independent research program.
Flexible working conditions, including the option to work part-time.
Initial salary matching the local price level (monthly gross salary 48-66 thousand CZK based on qualifications and experience - approximately 38-52 thousand CZK net salary), see the Cost Of Living in Prague.
Additional bonuses based on research performance.
Additional bonuses based on successful grant applications up to 25%.
Career progression based on regular evaluations.
Five weeks of paid vacation on top of public holidays.
Child care facilities in the institute’s building.
Highly attractive and safe location (Prague).
Travel package for the total duration: up to 50 000 CZK for conferences and research stays.
Relocation package for fellow coming from abroad: 10 000 CZK plus 10 000 CZK for family (spouse and/or children).
We encourage you to apply, if you:
hold a Ph.D. degree in a related field,
have an excellent research record relative to your career stage, and
PhD position in theoretical computer science and/or combinatorial optimization (deadline September 25, 2023)
Lund University If you are looking for a PhD position that combines sophisticated mathematics with cutting-edge programming, this opportunity might be for you. The MIAO research group at Lund Uni... versity is looking for a PhD student who will help us go even further beyond the state of the art in combinatorial solving and/or provably correct computation. We have a unique profile in that we are doing world-leading research both on the mathematical foundations of efficient computation and on state-of-the-art practical algorithms. This creates a very special environment, where we not only study theoretical and applied problems in depth, but where different lines of research cross-fertilise each other and unexpected and exciting synergies often arise. The application deadline is September 25, 2023. See http://www.jakobnordstrom.se/openings/PhD-Lund-230925.html for more information and instructions how to apply.
Link:http://www.jakobnordstrom.seSee More >>
AI Researchers for foundation models
Intellifusion Inc 1. pretain large language models 2. implement sft and RLHF of foundation models 3. develop algorothms or network structure for multi-modality foundation models 4. build u... p AI infra for foundation models
Link:www.intellif.comSee More >>
Sony AI Privacy and Security Scientist/Engineer/Manager/Interns
Sony AI and Sony Research Our AI Privacy and Security team in Sony AI and Sony Research still has some openings for both FTE and interns. Our team has 10+ FTEs now from Harvard，MIT，CMU，Princeton，etc，all me... mbers have great backgrounds in federated learning， privacy，security，and responsible AI. Our team had won a long list of awards at top venues，including but not limited to ACL，ICML，CIKM，IEEE，IJCAI，etc. Locations will be in US（flexible），Tokyo & Zurich.
微信支付 AI 团队 研究方向：LLM For 软件工程（自动化测试，代码生成）；其他通用NLP任务；Agent模式在研发中的探索与落地；多模态大模型SFT；图机器学习的研究和在金融风控场景的应用。 要求：扎实的机器学习理论功底及动手能力，良好的编程能力，NLP、图机器学习、数学、人工智能方向的博士优先。 国民级应用，极好的团队氛围，诚邀优秀学生加入。
... Link:
None
See More >>
Roche R&D Center (China) Ltd. We are seeking a talented artificial intelligent researcher to join AI, Data and Digital (AIDD) team at China Innovation Center of Roche (CICoR). In this role, you will collaborat... e with computational biologists and chemists, as well as informatics and digital experts to develop AI algorithms, build fit-for-purpose models and implement solutions for drug discovery and development.
Responsibilities: • You will identify, prototype, develop, and implement appropriate AI solutions to generate scientific insights, automate processes, and complement traditional computational approaches by close collaboration within the AIDD team. • You will explore and apply generative AI approaches including large language models (LLMs, e.g. ChatGPT, LLaMA, etc.) and their applications (e.g. BioGPT, ChemCrow, AutoGTP, etc.) to aid drug R&D. • You will communicate with data scientists, AI researchers and informatics experts across Roche organization (e.g. pRED, Genentech, Roche Informatics, etc.) to exchange learnings and collaborate on projects.
Requirements: • Ph.D. or M.S. degree in machine learning, computer science, mathematics, physics, biology, chemistry or a relevant discipline. • 3+ years of industry experience, preferred in pharmaceutical (MNC/biotech), internet, or AI startup companies. • A proven track record of successfully developing ML/DL models to solve the scientific problems (preferred in pharma industry) and leading the projects with the teams to implement impactful AI solutions. • Strong expertise and hands-on experience in applying state-of-the-art deep learning model development, including graph neural networks (GNNs), transformers, generative networks (e.g. LLMs, diffusion models), and convolutional neural networks (CNNs), etc. • Excellent in programing language especially python, as well as other commonly used machine learning and deep learning frameworks, such as Scikit-learn, PyTorch, TensorFlow. • Good communication skills in both English and Mandarin.
Link:
None
See More >>
Senior/Principal Applied Scientist, Generative AI (LLM)
Oracle Our AI research and development team at Oracle is looking for experienced applied scientists and machine learning engineers to pioneer Generative AI technologies in healthcare and... enterprise domains. We are targeting to hire at middle and senior levels. An ideal candidate would have great understanding of Machine Learning foundations, knowledge of state-of-the-art Deep Learning architectures such as Transformers, and demonstrated experience in designing and implementing AI models and services at scale.
School of Artificial Intelligence, Nanjing University Nanjing University (China) School of Artificial Intelligence Recruit all levels of faculties/ staffs in all areas of Artificial Intelligence:
Full/ Associate/ Assistant ... Professors Research Fellows, Postdocs
We are available to talk with you here at IJCAI 2023
PhD Research Fellow in Causality and Reinforcement Learning
University of Bergen Causality is a fast-developing area of machine learning, holding the promise to improve artificial reasoning and intelligence. This is particularly true in the context of reinforc... ement learning, where causal reasoning and inference would allow agents to discriminate causes and correlations and learn more robust and effective policies to act in their environment. This project is interested in considering the scenario in which one or more learning agents have the possibility of relying on multiple causal models describing their environment. Research will explore the space of reinforcement learning, causality and abstraction and can follow multiple directions, ranging from more theoretical studies on how these models may be related and what guarantees they could provide, to more methodological research on the design of novel algorithms making effective use of these models.
Link:https://www.jobbnorge.no/en/available-jobs/job/248856/phd-research-fellow-in-causality-and-reinforcement-learningSee More >>
WeChat，Tencent Inc Topics：Image/Video Generation，Music Generation
Link:... None
See More >>
PhD on human-centric, collaborative AI
Eindhoven University of Technology Are you inspired by building human-centric, explainable, and collaborative AI? Join us in developing approaches for AI planning and sequential decision-making that allow for incre... ased trust, acceptance, and performance in human-AI teamwork!
Faculty and postdoc positions about Big data and Big model, in Shenzhen University
Shenzhen University Shenzhen university (https://en.szu.edu.cn/info/1017/1030.htm) is in the central zone of Shenzhen city, which is next to Hongkong. It was ranked #271 in best global universities b... y US News. Collegue of computer science and software is the best collegue of Shenzhen university (https://csse.szu.edu.cn/#).
We are seeking guys who are working in the field of big data and big model. We offer many faculty and postdoc positions, with competitive payment, in Shenzhen University. Please send me cv and desired positions if interested. Contact me to learn more.
Postdoc in Computer Vision, Reinforcement Learning, Generative Modeling, AI for security and others
IDEAS NCBR IDEAS NCBR Sp. z o.o. is a research and development centre operating in the field of artificial intelligence and digital economy, whose mission is to support the development of th... ese technologies in Poland by creating a platform that connects the academic and business environments.
IDEAS NCBR Sp. z o.o. is a part of the National Center for Research and Development (NCBR Group). Our goal is to build in Poland the largest, friendly to conduct innovative research platform, to educate a new generation of scientists focused on the practical application of the developed algorithms and their subsequent commercialization in the industry, finance, medicine and other branches of the economy.
At IDEAS NCBR, we are constantly on the lookout for new talent. If you are a student or graduate of Applied Mathematics, Computer Science, or a related discipline and would like to pursue a career in research, then share your plans with us by applying for this position.
PhD student researcher/research intern in Computer Vision, Reinforcement Learning, Generative Modeling, AI for security and others
IDEAS NCBR IDEAS NCBR Sp. z o.o. is a research and development centre operating in the field of artificial intelligence and digital economy, whose mission is to support the development of th... ese technologies in Poland by creating a platform that connects the academic and business environments.
IDEAS NCBR Sp. z o.o. is a part of the National Center for Research and Development (NCBR Group). Our goal is to build in Poland the largest, friendly to conduct innovative research platform, to educate a new generation of scientists focused on the practical application of the developed algorithms and their subsequent commercialization in the industry, finance, medicine and other branches of the economy.
At IDEAS NCBR, we are constantly on the lookout for new talent. If you are a student or graduate of Applied Mathematics, Computer Science, or a related discipline and would like to pursue a career in research, then share your plans with us by applying for this position.
Singapore Management University Our research centres on improving conversation models via two questions: What are the underlying principles of humans understanding conversation context as well as making proper r... esponses, and how we can realize them on Large Language models? In our lab, we are specifically interested in task-oriented dialogues, proactive conversational agents, and multimodal conversational search and recommendation as the application target.
Link:https://liziliao.github.io/See More >>
Research Professor in Programming and Modelling Languages do AI
KU Leuven At the Department of Computer Science and the Section for Declarative Languages and AI; apply by Sept 14
... Link:tinyurl.com/4tsxdfnpSee More >>
Assistant/Associate Professor Position in AI at Tufts University
Tufts University In this year's faculty search, we are looking to hire a tenure-track or tenured professor in AI:
The Computer Science department at Tufts seeks candidates who conduct resea... rch in artificial intelligence, especially those with interests in neuro-symbolic AI, language processing with large language models (LLM), formal methods for safe learning, cognitive systems, and multi-agent planning and reasoning. Candidates in areas of artificial intelligence that connect to and build on the department’s and/or university’s strengths are particularly encouraged to apply. While candidates at the Associate Professor level are preferred, candidates at all levels will also be considered.
University of Stuttgart Developing core ontologies and knowledge engineering technologies for use in large collaborative basic research project with mechanical engineering research
... Link:
None
See More >>
PhD/Postdoc/Research Assistant Professor in AI in Biomedicine
Hong Kong Baptist University (HKBU) AI in Biomedicine research group at HKBU aims to develop deep learning models to interpret genomic sequences and spatial trans-omics data.
A) Requirement for PhD students:<... br>- Master or bachelor degree with high GPA in computer science, biostatistics, mathematics, bioinformatics, or related fields from well-known institutions, both domestically and internationally. - Master's applicants must have relevant publications. - IELTS score of 6.5 or TOEFL score of 80 or above. - Strong algorithmic and programming skills, or solid foundations in machine learning and deep learning is a plus. The knowledge of biology and genomics is not mandatory, relevant background and experience would be advantageous.
We offer four-year PhD positions to join the Department of Computer Science, HKBU with tax-free studentship (regular: 17,800HKD/month; HKPFS: 40,000 HKD/month).
B) Requirements for Postdoctoral Fellows (Postdoc): - Ph.D. in computer science, biostatistics, mathematics, bioinformatics, or related fields from reputable institutions, both domestically and internationally. - Strong algorithmic and programming skills, or solid foundations in machine learning and deep learning. - First-author publications in leading academic journals in the fields of bioinformatics or machine learning.
C) Requirement for Research Assistant Professor (RAP) - Ph.D. or postdoctoral experience in computer science, biostatistics, mathematics, bioinformatics, or related fields from reputable institutions, both domestically and internationally. - In-depth understanding of a specific area in bioinformatics or machine learning, with multiple high-quality publications in mainstream journals. - Experience in writing grant proposals is preferred. - Good English proficiency. - Ability to work independently, write manuscript, assist in guiding doctoral students and postdoctoral fellows in their research endeavors.
Salary of Postdoc and RAP will be commensurate with qualifications and experience.
See More >>
