Assistant Professor in Automated Reasoning (0.8-1.0 FTE)
Offer DescriptionAssistant Professor in Automated Reasoning (0.8-1.0 FTE)The Faculty of Science, Leiden Institute of Advanced Computer Science (LIACS), is seeking candidates for an Assistant Professor (0.8-1.0 FTE) position in Automated Reasoning. We seek to appoint an expert in the research area of Combinatorial Optimization, Constraint Solving and Knowledge Representation with applications to Formal Verification, Automatic Synthesis or Automated Reasoning. The focus of the position is on the construction and implementation of algorithms for combinatorial problems and the analysis of their practical performance by investigating relations between empirical observations and theoretical results in computational complexity theory. In addition, the certification of the correctness of the results computed by algorithms, as well as the explainability of those results, is of interest.Expectations:
Selection Criteria:
Additional Information:
We are looking for a candidate working on automated reasoning techniques with applications in AI, verification, probabilistic reasoning and synthesis and who has a strong research track record that connects areas such as logic, satisfiability, model counting, approximation and parameterized complexity. You will be embedded in the Theory group and are expected to thrive in our culture of cross-group collaboration. As an assistant professor, you will teach courses related to your research, supervise students, and foster connections between LIACS and other Universities. The level of the position will correspond to the candidate experience.Research at LIACS
The Leiden Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. Our people are driven by curiosity to expand fundamental knowledge and to look beyond the borders of their own discipline.The research carried out at the Faculty of Science is diverse, ranging from artificial intelligence, computer science, mathematics, astronomy, physics, chemistry, and bio-pharmaceutical sciences to biology and environmental sciences. The faculty has grown strongly in recent years and now has more than 1,300 staff and almost 4,000 students. We are located at the heart of one of Europe’s biggest bio-science parks, where university and business life come together.The Leiden Institute of Advanced Computer Science (LIACS) is the Artificial Intelligence and Computer Science Institute of the Faculty of Science of Leiden University. We offer courses at the Bachelor and Master of Science level in the core areas of Artificial Intelligence, Computer Science, and Data Science, and in the interdisciplinary areas of Business, Creative Intelligence, and Bioinformatics. We are a highly international place to do research, committed to excellence in a supportive and inclusive environment. We value fun, inclusivity, openness, and teamwork, ensuring that excellence and enjoyment go hand in hand. At LIACS, we balance teaching and research, offering a clear and inviting career path for young and talented scientists with the ambition to grow.
Where to apply WebsiteRequirementsAdditional InformationWebsite for additional job detailsWork Location(s)Number of offers available 1 Company/Institute Universiteit Leiden Country Netherlands City Leiden Postal Code 2312AR Street LeidenContact CityLeiden WebsiteStreetRapenburg 70 Postal Code2311 EZSTATUS: EXPIREDShare this page
€4332 per month
Leiden, Zuid-Holland
Thu, 18 Jul 2024 04:36:14 GMT
To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesineu.com) you saw this job posting.
Job title: AI /NLP/ ML Expert Company: European Dynamics Job description We currently have a…
Location: Buggenhout (9255) - Flanders, Belgium Salary: Competitive Type: Permanent Main Industry: Search Construction Jobs…
Job title: Catering Assistant Company: The Bedford College Group Job description Role: Catering AssistantLocation: The…
Job title: Postdoctoral position on Biomaterials for cardiovascular applications Company: Universiteit Twente Job description Hours40…
Location: Clacton-on-Sea (CO16) - Essex, South East, United Kingdom Salary: Up to £150000 per annum…
Location: (44-100) Gliwice, Silesian, Poland Salary: Competitive Type: Permanent Main Industry: Search Information Technology Jobs…