Theory and applications have to be developed, under the lead of the PI (principal investigator) Dr Oliver Kullmann. A high-level overview of the project is given by its five aspects; Theory: theoretical foundations of C; Implementation: implementations of automated systems of C; Applications: solving mathematical and industrial problems; Reflection: feeding back data from applications; Popularisation: make the public aware and understanding; The post holder shall take part in all these five aspects, with special emphasis on Theory, Applications, and Reflection.The post holder will work closely with the PI, with the second RA, and with the visiting researchers (in direct or virtual collaboration). The post holder will carry out research and experimentation, and possibly some implementations

Requirements:

BSc in the areas of Computer Science or Mathematics; Physics in the area of statistical mechanics is also a possibility (best discussed with the PI); Some combinatorial background (for example Ramsey theory, design theory, finite geometries). The connections of computer science and mathematics here have more of an abstract and/or logical flavour, more related to say algebra and general topology, than say to analysis. Thus knowledge in the more abstract parts of mathematics is helpful; A strong interest in pioneering work, connecting computer science (especially SAT solving) and mathematics; A desire to solve by computational means hard open problems in the area of mathematics (combinatorics), as in the Pythagorean Triples Problem; Ability to engage in research visits (abroad and in the UK).Funding for travel to conferences, workshop, and for research visits is available. Funding for travel to conferences, workshop, and for research visits is available

Text:

uk: Research Assistant [Duties: Theory and applications have to be developed, under the lead of the PI (principal investigator) Dr Oliver Kullmann. A high-level overview of the project is given by its five aspects; Theory: theoretical foundations of C; Implementation: implementations of automated systems of C; Applications: solving mathematical and industrial problems; Reflection: feeding back data from applications; Popularisation: make the public aware and understanding; The post holder shall take part in all these five aspects, with special emphasis on Theory, Applications, and Reflection.The post holder will work closely with the PI, with the second RA, and with the visiting researchers (in direct or virtual collaboration). The post holder will carry out research and ... | Minimum Requirements: BSc in the areas of Computer Science or Mathematics; Physics in the area of statistical mechanics is also a possibility (best discussed with the PI); Some combinatorial background (for example Ramsey theory, design theory, finite geometries). The connections of computer science and mathematics here have more of an abstract and/or logical flavour, more related to say algebra and general topology, than say to analysis. Thus knowledge in the more abstract parts of mathematics is helpful; A strong interest in pioneering work, connecting computer science (especially SAT solving) and mathematics; A desire to solve by computational means hard open problems in the area of mathematics (combinatorics), as in the Pythagorean Triples Problem; Ability t...] / Swansea University; Swansea, Wales / deadline July 27

Please click here, if the Job didn't load correctly.

Please wait. You are being redirected to the Job in 3 seconds.