Category Archives: Computer Science

Poland’s fastest ever supercomputer computer unveiled The First News – The First News

Named Athena after the Greek goddess of wisdom, the computer has a mind-boggling computing power of over 7.7 petaflops and according to Krakws elite AGH University of Science and Technology, is set to give a boost to Polish science and innovation. ukasz Ggulski/PAP

Poland's fastest ever supercomputer has been unveiled in Krakw at the city's elite AGH University of Science and Technology.

Named Athena after the Greek goddess of wisdom, the supercomputer has a mind-boggling computing power of over 7.7 petaflops and according to the university it is set to give a boost to Polish science and innovation.

"The launch of the supercomputer offers completely new opportunities for computationally-intensive science," said Marek Magry, deputy director for High-Power Computers at the AGH University of Science and Technology Cyfronet.

Athena now takes its place as not only the fastest supercomputer in Poland, but also 105th in the world, and 9th on the Green500 list of the world's greenest supercomputers.ukasz Ggulski/PAP

Athena now takes its place as not only the fastest supercomputer in Poland, but also 105th in the world, and 9th on the Green500 list of the world's greenest supercomputers.

The supercomputer makes it possible to significantly shorten the time needed to perform calculations, which with the use of single computers would often take many years - sometimes over 150, 700 or even 1,000 years.

With Athena, these tasks can be performed within a few hours, and for large tasks a few days.

Athena consists of 48 servers with AMD EPYC processors, each with 1TB of RAM, having a total of 6144 CPU computing cores. In addition, the machine is equipped with 384 NVIDIA A100 GPU cards.

Athena consists of 48 servers with AMD EPYC processors, each with 1TB of RAM, having a total of 6144 CPU computing cores. In addition, the machine is equipped with 384 NVIDIA A100 GPU cards.ukasz Ggulski/PAP

Thanks to this, the supercomputer is able to perform 7.7 trillion operations per second.ukasz Ggulski/PAP

Thanks to this, the supercomputer is able to perform 7.7 trillion operations per second.

The immense measurements of the computers performance are matched by its size. Based on footprint, it is similar in size to a small apartment. Like an apartment, it has an entrance, in this case, neat double sliding doors.

A corridor runs the length of Athena, leading off which are doors, presumably offering access to cavities stuffed with the computers high-tech innards.

A permanent part of Academic Computer Centre CYFRONET AGH in Krakw, the supercomputer will also be available for researchers from all over Poland thanks to PLGrid infrastructure.

Similar in size to a small apartment, like an apartment it has an entrance, in this case, neat double sliding doors.AGH

A corridor runs the length of Athena, leading off which are doors, presumably offering access to cavities stuffed with the computers high-tech innards.AGH

Athena has been installed in Krakw as part of the European High-Performance Computing Joint Undertaking (EuroHPC JU), which aims to create a pan-European computing infrastructure.

EuroHPC JU selected five sites where new supercomputers will be installed to build Europe's data processing infrastructure - Greece, Ireland, Germany, Hungary and Poland.

"The selection of Poland as the place of installation of one of the EuroHPC JU systems is an important distinction, confirming the countrys competence in the maintenance and operational use of supercomputers at the world level, the Academic Computer Centre Cyfronet AGH said in a statement.

Athena will make it possible to carry out scientific research on a much larger scale than before, in particular for the design of medicines and new materials.

Athena will make it possible to carry out scientific research on a much larger scale than before, in particular for the design of medicines and new materials.ukasz Ggulski/PAP

Until recently, the fastest supercomputer in Poland was Altair, launched in 2021 and located in the Poznan Supercomputing and Networking Center, having nearly 6 petaflops of computing power.

Currently, Altair is the second fastest supercomputer in Poland, while ranking 145th in the world.

It is used primarily for research on artificial intelligence and data analytics in the sciences such as quantum physics, quantum chemistry and biology.

The third fastest computer in Poland is Ares, which, like Athena, is located at the AGH University of Science and Technology in Krakow. The supercomputer is ranked as the 290th fastest supercomputer in the world.

Until recently, the fastest supercomputer in Poland was Altair, launched in 2021 and located in the Poznan Supercomputing and Networking Center, having nearly 6 petaflops of computing power.PCSS

The fourth and fifth fastest computers in Poland are respectively Tryton Plus located in Gdansk (2.82 petaflops, 462nd place in the world) and Prometheus (2.35 petaflops, 475th place in the world).

Polish supercomputers are still quite a bit behind the fastest machines in the world. Currently, the leader, from the United State, is Frontier, which is capable of reaching the computing power of 1685 petaflops.

Second place is occupied by the Japanese Fugaku with a computing power of 537 petaflops, while the third fastest supercomputer in the world is the Finnish computer LUMI with a computing power of 214 petaflops.

More:

Poland's fastest ever supercomputer computer unveiled The First News - The First News

Op-ed: ‘Is college even worth it?’ It’s certainly not the only path to a successful career – CNBC

At an individual level, sometimes a trade school makes the most sense for your or your children's financial future.

Tom Werner | Digitalvision | Getty Images

While my parents never had the opportunity to attend college, they were indeed very successful.

Their success afforded me the opportunity to pursue higher education, but ironically, I doubt I'll ever be nearly as successful as them.

My mom is one of the founders of the Wealth Enhancement Group to which I would mention her as "my inspiration to be in the financial services industry."

As for my dad, he wrote computer programs that sorted data and he turned it into a direct mail marketing business.

But what I think makes them so special is on top of all that, they also did real estate development. My dad got his general contractor license so he could oversee the projects. Then they went on to design their own homes. They were never scared of losing it all because they never had it all.

I doubt I'm not the only one who feels this way about higher education. As a financial advisor, I see this narrative play out every day in my office with clients.

Many people still believe attending a four-year college is the only way to financial stability and success, but that isn't always the case.

Over the past few decades, the middle class has expanded, along with the desire for white-collar jobs. Therefore, college became the default path, contributing to the cost of higher education increasing 169% from 1980 to 2020, according to a Georgetown study.

The pool of candidates with a college degree became so saturated that it enables employers to keep entry-level wages low. To make matters worse, roughly 34% of college graduates are underemployed.

Here's a look at other stories impacting the financial advisor business.

A return on investment from a college education has been in steady decline for a while. And that gap between cost and payoff has become so large that it recently required government intervention.

And while President Joe Biden's student debt forgiveness plan has undoubtedly provided some relief for many Americans, it's just a Band-Aid on a major laceration.

As tuition continues to rise and wages don't seem to match, many Americans need to ask the question: "Is college even worth it?"

As a parent, I know that we're often so fearful of our children missing out on opportunities that we sometimes steer them away from paths that deserve a longer look. As an advisor, I find it frightening that we've normalized advice to take on mountains of debt without even weighing alternatives.

And with the way things are heading, the value of a college education in both perception and reality will be drastically different in 10 or 20 years, when students (and their parents, many of whom are currently feeling anxious about how to save for college) need to make a decision about what to do after high school.

Consider all the options. Hand in hand with the premium placed on a college education is a terrible stigma about trade schools and blue-collar jobs. But the pandemic showed us that we need those jobs to function as a society. And at an individual level, sometimes a trade school makes the most sense for your (or your children's) financial future.

For others, direct entry into the workforce makes the most sense.

We continue to see more job growth in construction, health care, computer science and tech. In those sectors, there's an abundance of opportunity outside of traditional schooling. Coding boot camps, the growth of opportunities for entrepreneurship and the gig economy have all transformed how we should be thinking about the future. It's a future that doesn't necessarily lead through a four-year college.

What are the implications for financial planning?

Emotionally and psychologically, reassessing college plans might help you reorient your current priorities.

Maybe you're sacrificing an emergency fund or saving for retirement because of the pressure of rising tuition. For you, knowing that there are good and for many individuals, better options outside of college might help you feel at ease putting money where it should be going.

And 529 college savings plans the most popular vehicle for college savings are much more flexible than you might realize. Assets in a 529 plan can be used at two-year associate degree programs, trade schools and vocational schools.

The most common fear stopping people from starting a 529 early is the prospect of paying a 10% penalty and taxes on the earnings should the child not use the funds for qualified education expenses, but don't let the fear of the penalty stop you from good planning. Those penalties are offset by tax-deferred gains and recapturing state income tax deductions.

I'm about investing in people, not blindly investing in a path that everyone says is the only way to success. There are many doorways to a financially stable, prosperous life. I hope you'll take the time to consider all of them.

Nicole Webb, Senior vice president/financial advisor at Wealth Enhancement Group

View post:

Op-ed: 'Is college even worth it?' It's certainly not the only path to a successful career - CNBC

Walsh named UMaine Machias dean and campus director – UMaine News – University of Maine – University of Maine

Megan Walsh

Megan Walsh, a professor of English and administrative leader at St. Bonaventure University, has been named dean and campus director of the University of Maine at Machias, effective Dec. 19, and will join the University of Maine Presidents Cabinet.

The University of Maine welcomes Dr. Walsh as the dean and director of our regional campus, says UMaine President Joan Ferrini-Mundy. She is joining us at a particularly exciting time for UMaine Machias, with the excellent work of faculty, staff and students, and ongoing advances in unified accreditation. I look forward to working with her.

Walsh has been a member of the St. Bonaventure community for more than a decade. In addition to being a professor, she has served in several administrative roles, most recently as director of St. Bonaventures Honors Program.

In 202122, Walsh was acting dean of the School of Arts and Sciences. She helped secure external funding to support computer science and cybersecurity technology upgrades, and to build a technological literacy learning module into the first-year general education curriculum.

As chair of the Department of English, Walsh led multiple curricular revisions, including the development of a new Literary Publishing and Editing B.A. Program.

Walshs research focuses on early U.S. literary culture. She earned a Ph.D. from Temple University.

UMaine Machias will benefit from her administrative leadership and depth of experience in the liberal arts and the humanities, says John Volin, UMaine executive vice president for academic affairs and provost. Dr. Walsh will build on the excellent work of Heather Ball and Dan Qualls to advance UMaine Machias as a critical partner and resource in the Down East region.

I believe deeply that universities have an opportunity and a responsibility to be active members in their communities, Walsh says. I am absolutely thrilled to be moving to the Down East region to serve UMaine Machias and look forward to building many new relationships there.

Contact: Margaret Nagle, nagle@maine.edu

Read the original:

Walsh named UMaine Machias dean and campus director - UMaine News - University of Maine - University of Maine

Brown welcomes talented group of 62 new faculty members – Brown University

PROVIDENCE, R.I. [Brown University] As the 2022-23 academic year begins at Brown and more than 3,203 new undergraduate, graduate and medical students arrive on College Hill, the University also welcomes a group of 62 dynamic new scholars and educators to the Brown faculty.

With research and teaching expertise on topics ranging from global health security to climate change, brain science to diaspora studies, and architecture to algorithms, Browns newest faculty members represent a wide range of fields, backgrounds and viewpoints. Welcoming faculty with such diversity of experience comes at a time when Brown is developing an operational plan for significantly growing its research enterprise.

Our faculty are accomplished researchers, creative artists and educators whose work expands knowledge at the leading edge of their disciplines and, in partnership with Brown students and staff, makes a positive impact in communities both locally and across the globe, said Provost Richard M. Locke. Im delighted to welcome this cohort of talented scholars to Brown to build on and amplify efforts across campus to develop solutions to many of the most vexing questions faced by society today.

The arrival of 62 new faculty members reflects Brown's strategic efforts to recruit top scholars from research areas articulated in the Building on Distinction strategic plan and related operational plans in which the University is uniquely poised to have a meaningful impact. And with nearly 30% of this years new faculty members coming from groups historically underrepresented in higher education, strategic investments in actions outlined in Brown's Diversity and Inclusion Action Plan are helping to ensure that faculty represent the varied backgrounds, perspectives and experiences critical to advancing knowledge, learning and discovery.

In addition, multiple new deans (including those with interim appointments) will lead schools and academic units in their first full academic years in 2022-23: Ronald Aubert, interim dean of the School of Public Health; Tejal Desai, dean of the School of Engineering; Dr. Mukesh K. Jain, dean of the Warren Alpert Medical School; Thomas Lewis, interim dean of the Graduate School; Shankar Prasad, dean of the School of Professional Studies; and Leah VanWey, dean of the faculty.

Desai, who began her tenure at Brown on Sept. 1, will deliver the keynote address at this years Opening Convocation ceremony on Saturday, Sept. 10.

The new professors, associate professors, assistant professors and lecturers will serve across the Universitys academic departments, divisions and schools. The full listing of new faculty, with links for more information about each of them, follows below.

Jayna BrownProfessor of Theatre Arts and Performance Studies

John EasonWatson Family University Associate Professor of Sociology and International and Public Affairs

Kent KleinmanFaculty Director of the Brown Arts Institute, Professor of the Practice of History of Art and Architecture

Karin WulfBeatrice and Julio Mario Santo Domingo Director and Librarian of the John Carter Brown Library, Professor of History

See the original post here:

Brown welcomes talented group of 62 new faculty members - Brown University

UM-Flint computer science professor awarded NSF grant – University of Michigan-Flint

After several years of submitting proposals, Mark Allison, an associate professor of computer science at the University of Michigan-Flint's College of Innovation & Technology, has secured a research grant through the National Science Foundation. The grant will aid his work in the design of AI strategies and structures to support a leadership framework for dissimilar robots cooperating in very large teams.

"Leadership roles and hierarchies are not uniquely human. They emerge in nature when animals coordinate in groups toward a common goal," said Allison. This project draws inspiration from these systems to provide resilient real-time learning and optimization within multi-robot missions.

Allison says that the intention is to extend funding for this research and continue support for student research into additional robotic infrastructure. The grant awarded for Allison's proposal was approximately $600,000 split between six partner institutions.

Each year, tens of thousands of proposals are submitted to the NSF, but less than 25% receive funding. The NSF is the only federal agency supporting all fields of fundamental science and engineering outside of the medical sciences.

The institutions receiving this grant worked in collaboration with Allison, each bringing different areas of expertise, including cybersecurity, edge computing, and robotics and autonomous systems, the latter of which is Allison's area of expertise. The funds will go toward student research and projects, new software and hardware, and robotics equipment, and will be dispersed during a three-year span.

Allison also worked in partnership with the American Society for Engineering Education to receive initial funding for the preliminary work that needed to be done to procure the NSF grant. Some of this work included a three-part virtual research series to help acclimate students to the type of research work that Allison plans to complete utilizing NSF funding.

These virtual presentations included:

"Computer science is a huge field and you can't be an expert in everything," said Allison. "It's important to bring other perspectives and expertise into this research."

Allison added that the connections and collaboration that occur between institutions as part of this research are important for CIT students because it opens a window into other areas of expertise and builds partnerships for future research. He is confident that opportunities like this will draw high-quality students in the areas of computer science and engineering, making CIT a sought-after learning destination for technology students.

"What I'm trying to do is build and encourage a culture of research, and hopefully this funding will help move that initiative forward," he said.

See the original post here:

UM-Flint computer science professor awarded NSF grant - University of Michigan-Flint

Swedish-Speaking Professor or Assistant / Associate Professor in Computer Science job with UNIVERSITY OF HELSINKI | 307838 – Times Higher Education

The University of Helsinki (https://www.helsinki.fi/en) is an international scientific community of 40,000 students and researchers. It is one of the leading multidisciplinary research universities in Europe and ranks among the top 100 international universities in the world. We are an equal opportunity employer and offer an attractive and diverse workplace in an inspiring environment with a variety of development opportunities and benefits.

As a part of the Faculty of Science, the Department of Computer Science (https://www.helsinki.fi/en/computer-science) is a leading unit in Finland in its area and responsible for the teaching and research in computer science at the University of Helsinki. The number of professors at the department has grown in recent years and there are now 32 professorships. The main research fields at the department are artificial intelligence, big data frameworks, bioinformatics, data analysis, data science, discrete and machine learning algorithms, distributed, intelligent, and interactive systems, networks, security, and software and database systems.The department has extensive international collaboration with companies and universities. Within teaching, the departments professors and staff are in charge of the Bachelors, Masters, and Doctoral Programmes in Computer Science, as well as the separate Masters Programme in Data Science, in which other departments also participate.

The Department of Computer Science at the Faculty of Science of the University of Helsinki invites applications for a

SWEDISH-SPEAKING PROFESSOR OR ASSISTANT/ASSOCIATE PROFESSOR IN COMPUTER SCIENCE

aiming to strengthen research areas in computer science at the university. We are looking for a new professor or assistant/associate professor to carry out research into the field of computer science in the departments current focus areas. Specifically, we invite candidates in artificial intelligence (especially societal aspects of AI), networking (especially cyber security), software engineering, or algorithms to apply, but highly qualified applicants in other areas of computer science will also be considered.

The person to be chosen must have a strong scientific track record in their specific field of computer science evidenced by publications in top tier forums of the field. The selected candidate must possess excellent skills in Swedish language as the teaching duties of this position are to be carried out in Swedish.

For more information on the position, qualifications and applying, please check the Swedish version of the job announcement.

The deadline for applications is October 25, 2022.

Continue reading here:

Swedish-Speaking Professor or Assistant / Associate Professor in Computer Science job with UNIVERSITY OF HELSINKI | 307838 - Times Higher Education

Academy in DC Developing Next Generation of Digital Innovators – NBC4 Washington

A D.C. school preparing students for high-paying jobs in the computer science field started classes in a new building Tuesday.

Sixth and seventh graders at the computer science focused Digital Pioneers Academy started their schoolyear in a new space in Southeast D.C.

Our mission is to develop the next generation of innovators, founder and CEO Mashea Ashton said. We really want our scholars to be a part of creating in the digital economy, not just consuming.

The academy is a free public charter school. Students are selected through a random lottery system primarily serving students who live east of the Anacostia River in Wards 7 and 8.

Which are some of the most under-resourced parts of the city, however, we believe our scholars have so much potential and if given the right opportunity, they can accelerate at incredibly high levels, Ashton said.

Kiyah Holloman of D.C. is in her fourth year teaching sixth grade English language arts and believes in the mission.

We really focus on 21st century jobs and 21st careers so that we look at the path to where theyre going to go after they leave here, making sure that they have the high-paying, high-demand job, and I want to be a part to make sure they get that, she said.

Washington, D.C., Maryland and Virginia local news, events and information

The school has a second campus on Capitol Hill serving students in grades 8 through 10. Eventually, they want to expand to 12th grade.

The school provides computer science classes every day, coding and robotics.

The academy still has space for sixth graders.

To get more information about the academy, go to its website.

Read the original:

Academy in DC Developing Next Generation of Digital Innovators - NBC4 Washington

Analyzing the potential of AlphaFold in drug discovery – MIT News

Over the past few decades, very few new antibiotics have been developed, largely because current methods for screening potential drugs are prohibitively expensive and time-consuming. One promising new strategy is to use computational models, which offer a potentially faster and cheaper way to identify new drugs.

A new study from MIT reveals the potential and limitations of one such computational approach. Using protein structures generated by an artificial intelligence program called AlphaFold, the researchers explored whether existing models could accurately predict the interactions between bacterial proteins and antibacterial compounds. If so, then researchers could begin to use this type of modeling to do large-scale screens for new compounds that target previously untargeted proteins. This would enable the development of antibiotics with unprecedented mechanisms of action, a task essential to addressing the antibiotic resistance crisis.

However, the researchers, led by James Collins, the Termeer Professor of Medical Engineering and Science in MITs Institute for Medical Engineering and Science (IMES) and Department of Biological Engineering, found that these existing models did not perform well for this purpose. In fact, their predictions performed little better than chance.

Breakthroughs such as AlphaFold are expanding the possibilities for in silico drug discovery efforts, but these developments need to be coupled with additional advances in other aspects of modeling that are part of drug discovery efforts, Collins says. Our study speaks to both the current abilities and the current limitations of computational platforms for drug discovery.

In their new study, the researchers were able to improve the performance of these types of models, known as molecular docking simulations, by applying machine-learning techniques to refine the results. However, more improvement will be necessary to fully take advantage of the protein structures provided by AlphaFold, the researchers say.

Collins is the senior author of the study, which appears today in the journal Molecular Systems Biology. MIT postdocs Felix Wong and Aarti Krishnan are the lead authors of the paper.

Molecular interactions

The new study is part of an effort recently launched by Collins lab called the Antibiotics-AI Project, which has the goal of using artificial intelligence to discover and design new antibiotics.

AlphaFold, an AI software developed by DeepMind and Google, has accurately predicted protein structures from their amino acid sequences. This technology has generated excitement among researchers looking for new antibiotics, who hope that they could use the AlphaFold structures to find drugs that bind to specific bacterial proteins.

To test the feasibility of this strategy, Collins and his students decided to study the interactions of 296 essential proteins from E. coli with 218 antibacterial compounds, including antibiotics such as tetracyclines.

The researchers analyzed how these compounds interact with E. coli proteins using molecular docking simulations, which predict how strongly two molecules will bind together based on their shapes and physical properties.

This kind of simulation has been successfully used in studies that screen large numbers of compounds against a single protein target, to identify compounds that bind the best. But in this case, where the researchers were trying to screen many compounds against many potential targets, the predictions turned out to be much less accurate.

By comparing the predictions produced by the model with actual interactions for 12 essential proteins, obtained from lab experiments, the researchers found that the model had false positive rates similar to true positive rates. That suggests that the model was unable to consistently identify true interactions between existing drugs and their targets.

Using a measurement often used to evaluate computational models, known as auROC, the researchers also found poor performance. Utilizing these standard molecular docking simulations, we obtained an auROC value of roughly 0.5, which basically says youre doing no better than if you were randomly guessing, Collins says.

The researchers found similar results when they used this modeling approach with protein structures that have been experimentally determined, instead of the structures predicted by AlphaFold.

AlphaFold appears to do roughly as well as experimentally determined structures, but we need to do a better job with molecular docking models if were going to utilize AlphaFold effectively and extensively in drug discovery, Collins says.

Better predictions

One possible reason for the models poor performance is that the protein structures fed into the model are static, while in biological systems, proteins are flexible and often shift their configurations.

To try to improve the success rate of their modeling approach, the researchers ran the predictions through four additional machine-learning models. These models are trained on data that describe how proteins and other molecules interact with each other, allowing them to incorporate more information into the predictions.

The machine-learning models learn not just the shapes, but also chemical and physical properties of the known interactions, and then use that information to reassess the docking predictions, Wong says. We found that if you were to filter the interactions using those additional models, you can get a higher ratio of true positives to false positives.

However, additional improvement is still needed before this type of modeling could be used to successfully identify new drugs, the researchers say. One way to do this would be to train the models on more data, including the biophysical and biochemical properties of proteins and their different conformations, and how those features influence their binding with potential drug compounds.

This study both lets us understand just how far we are from realizing full machine-learning-based paradigms for drug development, and provides fantastic experimental and computational benchmarks to stimulate and direct and guide progress towards this future vision, says Roy Kishony, a professor of biology and computer science at Technion (the Israel Institute of Technology), who was not involved in the study.

With further advances, scientists may be able to harness the power of AI-generated protein structures to discover not only new antibiotics but also drugs to treat a variety of diseases, including cancer, Collins says. Were optimistic that with improvements to the modeling approaches and expansion of computing power, these techniques will become increasingly important in drug discovery, he says. However, we have a long way to go to achieve the full potential of in silico drug discovery.

The research was funded by the James S. McDonnell Foundation, the Swiss National Science Foundation, the National Institute of Allergy and Infectious Diseases, the National Institutes of Health, and the Broad Institute of MIT and Harvard. The Antibiotics-AI Project is supported by the Audacious Project, the Flu Lab, the Sea Grape Foundation, and the Wyss Foundation.

The rest is here:

Analyzing the potential of AlphaFold in drug discovery - MIT News

Lecturer / Senior Lecturer in Computer Science, Formal Methods and Logic job with UNSW Sydney | 307657 – Times Higher Education

Summary: Join an organisation that is shaping the future direction of computing in Australia in a role that conducts independent research and delivers excellent teaching in Formal Methods and Logic in Computer Science.

Job Details

The Opportunity

Join the School of Computer Science and Engineering (CSE) as a Lecturer/Senior Lecturer. You will be conducting independent research and delivering excellent teaching.

This position is in the area of Formal Methods and Logic in Computer Science, with preference for algorithmic verification and applications towards areas including security foundations, distributed computing, hybrid systems and autonomous systems.

Formal Methods and Logic are well represented at the School. The Formal Methods Group works on developing the theoretical foundations for reasoning about computational systems, and enabling computers themselves to perform such reasoning, to support the development of computational systems to the highest levels of assurance concerning their correctness, security and reliability. Specific areas of current focus are foundational models and logics for reasoning about fault-tolerant distributed computing, information flow, privacy, machine learning and smart contracts in blockchain systems. In teaching, we are developing a pedagogy in which students are first motivated to reason informally but rigorously (e.g., using assertions and invariants) about program correctness and program derivation, and then introduced to program verifiers such as Dafny. Advanced teaching areas covered by the group include theory of computing, concurrency theory, and algorithmic verification. The School's Trustworthy Systems Group concentrates on provable correctness for an actual operating-system kernel (seL4) and the Knowledge Representation Group applies logic in AI.

The ideal candidate will have a track record and an ongoing research program of use-inspired basic research in Formal Methods in which new methods and theories are developed that help to write programs that are provably correct, with applications to the programming challenges of today and the future (e.g., privacy, security, reliability and autonomy). It is desirable that the candidate has made contributions to the theoretical foundations of model checkers, program verifiers (e.g., Dafny) or automatic theorem provers, and has experience in having used them on actual program-development projects. The candidate will have enthusiasm for conveying both theory and practice to students.

Evidence of publications in these venues (or similar) would be desirable:

This is an opportunity to join an organisation that is helping to shape the future direction of computing in Australia. The students and research produced in CSE can impact the world!

The role of Lecturer/Senior Lecturer reports to the Head of School and has no direct reports.

The School

Computer Science and Engineering (CSE) in the Faculty of Engineering at UNSW is one of the largest Schools of its kind in Australia with the greatest impact on society through our academic excellence in teaching, research, commercial and social engagement. The School is the largest with the Faculty of Engineering with over 3,400 students and 60 academic staff which is growing to 70 over the coming year with an operating budget of over $20 million. CSE is undergoing a period of expansion, advertising and recruiting for over 10 new academic staff in 2022.

Our academic staff have research focus in areas including Artificial Intelligence, Biomedical Image Computing, Data and Knowledge, Embedded Systems, Networked Systems and Security, Human Centred Computing, Programming Languages and Compilers, Service Oriented Computing, Theoretical Computer Science and Trustworthy Systems.

CSE offers undergraduate programs in Software Engineering, Computer Engineering, Computer Science and Bioinformatics, as well as a number of combined degrees with other disciplines. CSE attracts excellent students who have an outstanding record in international competitions. People join CSE for the opportunity to work with top-tier students and to join a community of scholars who support them to achieve their full potential. CSE attracts the brightest students as we offer the most technically challenging computing degrees in Australia. The challenges we present, ensure our students reach their greatest potential and are ready to have a lasting impact on society.

Our school is located in the heart of Sydney, and is Australias largest centre for computationally driven business, design and culture. This vibrant nexus brings together a diversity of creative engineering and design forces: where world-leading education allows our thousands of students and researchers to become world-leading and world-building innovators. CSE students take an active role in the creation of a vibrant student experience, with many student societies and are actively involved in teaching and learning opportunities within the school. For further information about the School, please visit http://www.cse.unsw.edu.au

UNSW

UNSW is currently implementing a ten-year strategy to 2025 and our ambition for the next decade is nothing less than to establish UNSW as Australias global university. Following extensive consultation in 2015, UNSW identified three strategic priority areas. Firstly, a drive for academic excellence in research and education. Universities are often classified as research intensive or teaching intensive. UNSW is proud to be an exemplar of both. We are amongst a limited group of universities worldwide capable of delivering research excellence alongside the highest quality education on a large scale. Secondly, a passion for social engagement, which improves lives through advancing equality, diversity, open debate and economic progress. Thirdly, a commitment to achieving global impact through sharing our capability in research and education in the highest quality partnerships with institutions in both developed and emerging societies. We regard the interplay of academic excellence, social engagement and global impact as the hallmarks of a great forward-looking 21st century university.

Skills & Experience

Lecturer (Level B)

Senior Lecturer (Level C)

Additional details about the specific responsibilities for this position can be found in the position description.

To Apply: If you are interested in an academic career in a role that conducts independent research and delivers excellent teaching, please click the apply now button and submit your CV, Cover Letter and systematic responses to the Skills and Experience.

Applicants are actively encouraged not to include conference/journal/CORE rankings but should instead focus on the impact of their research outputs in describing the excellence of their research. Clarity concerning individual contributions to group outputs is essential.

Please note applications will not be accepted if sent to the contact listed below.

Contact:

Eugene Aves Talent Acquisition Consultant

E: eugene.aves@unsw.edu.au

Applications close: 11:50 pm (Sydney time), on Wednesday 10th October 2022

UNSW is committed to equity diversity and inclusion. Applications from women, people of culturally and linguistically diverse backgrounds, those living with disabilities, members of the LGBTIQ+ community; and people of Aboriginal and Torres Strait Islander descent, are encouraged. UNSW provides workplace adjustments for people with disability, and access to flexible work options for eligible staff. The University reserves the right not to proceed with any appointment.

Read more:

Lecturer / Senior Lecturer in Computer Science, Formal Methods and Logic job with UNSW Sydney | 307657 - Times Higher Education

Research Fellow, Computer Science job with NATIONAL UNIVERSITY OF SINGAPORE | 307509 – Times Higher Education

Job Description

The Computer Science Department at National University of Singapore is seeking a motivated postdoctoral researcher with expertise in artificial intelligence, specifically multi-agent reinforcement learning, starting immediately.

Qualifications

Job requirements:

How to apply:

To apply for this position, please send your CV to Harold Soh at harold@comp.nus.edu.sg with a cover letter and a brief statement of previous work and research interests. The initial term of appointment will be 1 year.The selected candidate will be offered competitive salaries and benefits.

NUS is a world-class university that provides an outstanding and supportive research environment. Its School of Computing is highly ranked within the top 10) among the computer science departments in the world. Singapore is a vibrant, well-connected city with low taxes and research hub in Asia

Covid-19 Message

At NUS, the health and safety of our staff and students are one of our utmost priorities, and COVID-vaccination supports our commitment to ensure the safety of our community and to make NUS as safe and welcoming as possible. Many of our roles require a significant amount of physical interactions with students/staff/public members. Even for job roles that may be performed remotely, there will be instances where on-campus presence is required.

Taking into consideration the health and well-being of our staff and students and to better protect everyone in the campus, applicants are strongly encouraged to have themselves fully COVID-19 vaccinated to secure successful employment with NUS.

More Information

Location: Kent Ridge CampusOrganization: School of ComputingDepartment : Department of Computer ScienceEmployee Referral Eligible: NoJob requisition ID : 17128

See the original post:

Research Fellow, Computer Science job with NATIONAL UNIVERSITY OF SINGAPORE | 307509 - Times Higher Education